C++ 编译花了大量精力使得class和原始类(primitive types)的用法一致。比如array的应用:

A a[100];// A is class

int b[100]

虽然a是用户定义的类的对象,但是用起来与整数型的array相比并无差别。我们现在看看语义上的差别。

A 是POD类(完全具有值语义的类)

如果A是具有值语义的POD(参见我关于值语义的博客:http://www.cnblogs.com/ly8838/p/3929025.html ),测试显示A 的创建和读写与一般变量没有任何差别,当然性能也不会有差别。

也就是说,A a[3] ;和 A a1, a2,a3 在语义上完全一样,也没有丝毫性能上的区别。

A 是有默认的构造函数(但没有destructor)的类

我们有一个简单的struct

struct StackObject

{

int _a;

int _b;

StackObject(): _a(0), _b(1)

{

}

};

和简单的测试函数:

void TestArraySemantics()

{

StackObject sa[10]; //line 1:call vector constructor iterator

sa[0]._a= 1;

sa[9]._b = 10;

}

在VC++2010中运行时,我们看到line1调用了编译自生的函数。这是一个通用的“矩阵构造循环(vector constructor iterator)”:

它的大致实施如下:

void Vector_constructor_iterator(

int array_size,

int array_element_size,

void (*Ctr)(void *addr),

char *arrayStartAddress)

{

      for(int i = 0; i < array_size; ++i)

      {

            void *objAddr = arrayStartAddress + i * array_element_size;

            Ctr(objAddr);

      }

}

这是一个典型的 C 函数,它将 StackObject 的构造函数作为函数指针进行调用。

从这个函数来看,它使得A a[3]A a1,a2, a3 的语义发生了根本变化。我们不但要调用编译产生的函数,还要用指针间接地调用StackObject的构造函数。测试结果显示,用array比不用array的“构造”速度大约下降30%。考虑到array的应用价值,这个速度的下降是可以理解和接受的。

A 是有默认构造函数以及destructor的类

加了destructor后,A a[10] 的语义又有了新的变化。如果读了我的上篇关于异常处理的博客(http://www.cnblogs.com/ly8838/p/3961119.html )可知:编译必须保证所有创建的object“全部”被摧毁,所以它必须“记住”创建过程中的热点。

我们加另一个dummy 类,来测试destructor对array 的影响:

struct StackObject2

{

       int _a;

       int _b;

       StackObject2(): _a(0), _b(1)

       {

       }

       ~StackObject2()

       {

             _a = _b = 0;

       }

};

我们的测试函数改为

void TestArraySemantics()

       {

             clock_t begin = clock();

             for (int i = 0; i < 100000; ++i)

             {           

                    StackObject sa[3]; //line1test without d’tr

                    sa[0]._a= 1;

                    sa[1]._b = 2;

                    sa[2]._b = 3;

             }

             clock_t end = clock();

             auto spent = double(end - begin) / CLOCKS_PER_SEC;

             printf("spent for 'array' is %f\n", spent);

 

             begin = clock();

             for (int i = 0; i < 100000; ++i)

             {           

                    StackObject2 sa[3]; //line2test with d’tr

                    sa[0]._a= 1;

                    sa[1]._b = 2;

                    sa[2]._b = 3;

             }

            end = clock();

             spent = double(end - begin) / CLOCKS_PER_SEC;

             printf("spent for 'array with dtro' is %f\n", spent);

 

             begin = clock();

             for (int i = 0; i < 100090; ++i)

             {           

                    StackObject sa1, sa2, sa3; //line3test without array

                    sa1._a= 1;

                    sa2._b = 2;

                    sa3._b = 3;

             }

           end = clock();

           spent = double(end - begin) / CLOCKS_PER_SEC;

             printf("spent for 'none-array' is %f\n", spent);

            

       }

 

上面的line2试图创建带有destructorStackObject2类的array. 在VC++,我们注意到这时编译产生另一名字稍稍不同的函数“eh vector constructor iterator”,然而察看生成的代码,发现它和vector constructor iterator大大不同了。它的伪码大致如此:

void Vector_constructor_iterator_with_dtor(

             int array_size,

             int array_element_size,

             void (*Ctr)(void *addr),

             void (*Dtr)(void *addr),

             char *arrayStartAddress)

       {

             int lastCreated = -1;

             try

             {

                     for(int i = 0; i < array_size; ++i)

                     {

                           void *objAddr = arrayStartAddress + i * array_element_size;

                           Ctr(objAddr);

                           lastCreated = i;

                     }

              }

              catch(...)

              {

                    // destroy partially created array in case or fault

                    for(int i = 0; i <= lastCreated; ++i)

                    {

                      void *objAddr = arrayStartAddress + i * array_element_size;

                      Dtr (objAddr);

                    }

             }

       }

比较伪码我们看出:Vector_constructor_iterator_with_dtor 和 Vector_constructor_iterator 的主要区别是增加了异常处理的机制,用来销毁“已经构造”的矩阵元素。

运行 TestArraySemantics 表明,带有destructor的类的array构造速度下降了近 300%

所以,去除不必要的destructor的重要性又一次充分体现。

结论

C++ built-in arrayclass object的支持是十分重要的语言构造,它是C++把class object和原始变量同样对待的又一反映,它大大增加了C++的附加值。

然而我们一如既往,需要对C++这一语言构造的语义深入了解。以便正确使用C++ built-in array

C++ Built-In Array 的语义的更多相关文章

  1. [JavaScript] Array.prototype.reduce in JavaScript by example

    Let's take a closer look at using Javascript's built in Array reduce function. Reduce is deceptively ...

  2. C# to IL 12 Arrays(数组)

    An array is a contiguous block of memory that stores values of the same type. These valuesare an ind ...

  3. Drupal Module Hooks

    Drupal is a Content Management System. Drupal is also deeply, deeply weird. While systems like Magen ...

  4. SparkStreaming实现Exactly-Once语义

    作者:Syn良子 出处:http://www.cnblogs.com/cssdongl 转载请注明出处 译自:http://blog.cloudera.com/blog/2015/03/exactly ...

  5. C#开发微信门户及应用(31)--微信语义理解接口的实现和处理

    微信语义理解接口提供从用户自然语言输入到结构化解析的技术实现,使用先进的自然语言处理技术给开发者提供一站式的语义解析方案.该平台覆盖多个垂直领域的语义场景,部分领域还可以支持取得最终的展示结果.开发者 ...

  6. 如何让你的JavaScript代码更加语义化

    语义化这个词在 HTML 中用的比较多,即根据内容的结构化选择合适的标签.其作用不容小觑: 赋予标签含义,让代码结构更加清晰,虽然我们可以在标签上添加 class 来标识,但这种通过属性来表示本体的形 ...

  7. JavaScript Array 常用函数整理

    按字母顺序整理 索引 Array.prototype.concat() Array.prototype.filter() Array.prototype.indexOf() Array.prototy ...

  8. Array类

    class Array Arrays are ordered, integer-indexed collections of any object. Array indexing starts at ...

  9. caffe初步实践---------使用训练好的模型完成语义分割任务

    caffe刚刚安装配置结束,乘热打铁! (一)环境准备 前面我有两篇文章写到caffe的搭建,第一篇cpu only ,第二篇是在服务器上搭建的,其中第二篇因为硬件环境更佳我们的步骤稍显复杂.其实,第 ...

随机推荐

  1. JS添加删除一组文本框并对输入信息加以验证

    在做项目中遇到这样一个问题,就是我们需要添加几组数据到数据库,但是具体几组数据不确定,有客户来填写,比如我们需要添加打折策略,可能个策略有很多组方案,比如“满100打5折,满200打4折,满500打3 ...

  2. java根据本地Ip获取mac地址

    import java.net.InetAddress; import java.net.NetworkInterface; import java.net.SocketException; impo ...

  3. Unity GUI编程

    脚本语言:C# 附上一张图说明Unity GUI编程中可用的控件:(可能有遗漏) 下面列出一些例子来说明: 1.Groups : 在固定Layout模式中起到组织可用项的功能,它让你在屏幕的一个区域中 ...

  4. 物理卷操作命令:pvcreate,pvscan,pvdisplay.卷组操作命令:vgcreate,vgdisplay.

    新硬盘创建LVM系统过程. 物理卷操作命令:pvcreate,pvscan,pvdisplay. 卷组操作命令:vgcreate,vgdisplay. 逻辑卷操作命令:lvcreate,lvdispl ...

  5. Qt入门(10)——调试技术

    命令行参数当你运行Qt程序时,你可以指定几个命令行参数来帮助你调试.-nograb 应用程序不再捕获鼠标或者键盘.当程序在Linux下运行在gdb调试器中时这个选项是默认的.-dograb 忽略任何隐 ...

  6. (转载)提高mysql插入数据的速度

    (转载)http://blog.csdn.net/bhq2010/article/details/7376352 需要在mysql中插入2000万条记录,用insert语句插入速度很有限,每秒钟几百条 ...

  7. 数据结构(堆):SCOI 2009 生日礼物

    Description 小西有一条很长的彩带,彩带上挂着各式各样的彩珠.已知彩 珠有N个,分为K种.简单的说,可以将彩带考虑为x轴,每一个彩珠有一个对应的坐标(即位置).某些坐标上可以没有彩珠,但多个 ...

  8. POJ 2912 Rochambeau

    题意:有一些人玩石头剪刀布,其中有一个人(称其为裁判)可以出“石头”,“剪刀”,“布”中的任意一个,其他人永远只能出相同的一个.即有的人只能出剪刀,有的人只能出石头,有的人只能出布.进行了多次对决,每 ...

  9. poj 1961 Period【求前缀的长度,以及其中最小循环节的循环次数】

    Period Time Limit: 3000MS   Memory Limit: 30000K Total Submissions: 14653   Accepted: 6965 Descripti ...

  10. 读《细说php》,php要点随记

    近期读<细说php>,其实知识要点都接触过,体会下不同书籍对相同知识的描述差异,达到温故知心的目的. 未按章节顺序读,所谓要点并不是提纲式的所有要点,只是自己觉得工作中很重要(但是掌握的不 ...