1)explict主要用于修饰构造函数,能够制止“单一参数的constructor”被当做一个conversion运算符。
class myclass
{
public:
myclass(int num);
}
myclass obj=10;//ok,convert int to myclass
2)默认拷贝构造函数
默认构造函数(default constructor)就是在没有显式提供初始化式时调用的构造函数。它由不带参数的构造函数,或者为所有的形参提供默认实参的构造函数定义。如果定义某个类的变量时没有提供初始化式就会使用默认构造函数。如 Base b;
默认构造函数的构造操作
“默认构造函数在需要的时候被编译器产生出来”这里进行区分:如果是程序需要,那么这是程序员的责任。如果是编译器需要,那么就会合成默认构造函数。
class Foo
{
public :
int val;
Foo* pnext;
};
在这个例子中,正确的程序语意是要求Foo有一个defaul constructor,可以将它的两个members初始化为0。这是程序员需要而非编译器需要。
可以这么说,一个被隐式声明出来的default constructor将是一个trivial constructor(无用的构造函数)
3)
Global objects全局对象的内存保证会在程序启动的时候被清零。
Local objects配置于程序堆栈中,heap objects配置与*空间中,都不一定会清零,它们的内容将是内存上次使用后的遗迹。
4)一个有用的默认构造函数就是编译器所需要的那种。下面讨论有用默认构造函数。
①带有default constructor的member class object(**内含对象***)
如果一个类没有构造函数,但它内含一个member object(类成员对象),而后者有默认构造函数,那么这个类的implicit default constructor(隐式定义的缺省构造函数, 隐式定义的缺省构造函数的函数体为空。)就是无用的。编译器需要为该类合成出一个默认的构造函数。不过这个合成操作只有在构造函数真正需要被调用的时候才会发生。
//编译器对构造函数的扩张
//程序员定义的默认构造函数
Bar::Bar(){str=0;}
//扩张后的构造函数
Bar::Bar()
{
foo.Foo::Foo();
str=0;
}
②带有Default Constructor的 Base class
如果一个没有任何构造函数的类派生自一个带有“默认构造函数”的基类,那么这个派生类的默认构造函数会被视为有效的,并因此合成出来。
③带有一个Virutal Function的 class
下面良好总情况也需要合成default constructor
1、class声明(或继承)一个virtual function
2、class派生自一个继承串链,其中有一个或更多的virtual base class
下面两个扩张行动会在编译器期间发生:
1、一个virtual function table 会被编译器产生出来,内放置class 的virtual functions地址
2、在每一个class object中,一个额外的vptr会被编译器合成出来,内含相关的vtbl的地址。
④带有一个virtual base class 的class
5)c++ standard 把那些合成的默认构造函数称为implicit nontrivial default constructor。被合成的编译器只能满足编译器的需要,它之所以能完成任务是借着“member object或base class的default constructor”或是“为每一个object初始化其virtual function机制或是virtual base class机制”而完成。
以下两个认识都是错误的:
1、任何class如果没有定义default constructor,就会被合成出一个来。
2、编译器合成出来的default constructor会显示设定class内每一个data member的默认值。
6)有三种情况,会以一个object的内容作为另一个class object的初值。
1、对一个object做显示初始化操作 X xx=x;
2、当object作为参数交给某个函数时 foo(xx);
3、当函数传回一个class object时, return xx;
7)memberwise initialization和 bitwise copy仅仅是拷贝的两种方式:
memberwise initialization:当以一个对象初始化另一个对象的时候,会按对象的数据成员,逐个初始化。
bitwise copy:字节到字节的拷贝(一般调用memcpy函数,其效率比memberwise copy要高。)
以下4种情况,不展现bitwise copy sematics
①class内含一个member object,而后者的class声明一个copy constructor
②class继承自一个基类而后者存在一个copy constructor.
③当class声明一个或多个virtual functions时
④当class派生自一个继承串链,其中有一个或多个virtual base classes
8)拷贝构建:把实际参数直接构建在其应该的位置上,此位置视函数活动范围的不同,记录与程序堆栈中。
9)在编译器层面的优化,所有的return指令传回相同的“具名数值”(named value),因此编译器机子做优化,方法是以result参数取代named return value.NRV优化如今被视为标准C++编译器的一个义不容辞的操作。NRV优化的条件是优化函数的返回类型(一个类),该类需要具有拷贝构造函数,才能激活C++编译器的NRV优化。
关于NRV优化的一篇文章:http://www.cnblogs.com/autosar/archive/2011/10/09/2204181.html
10)对于 A class ob1=ob2;//该操作是初始化还是赋值,取决于ob1是否具有初值。
11)下面三个初始化操作在语意上是相等的:
①X xx0(1024);//xx0.X::X(1024);
②X xx1=X(1024);//1、将一个临时对象的object设置初值1024 2、调用拷贝构造函数赋值给xx1
③X xx2=(X)1024;
xx1 xx2 调用两次构造函数,一次是构造函数,另一次是拷贝构造函数
12) C++standard把copy constructor区分为trivial何nontrivial两种,只有nontrivial的实体才会被合成于程序之中。决定一个copy constructor是否为trivial的标准在于class是否展现出所谓的”bitwise copy semantics“
13)下列这些情况需要使用初始化列表:
①初始化一个 reference member
②处是一个const member
③当调用一个base class的constructor,而它拥有一组参数时(继承类)
④当调用一个member class 的constructor,而它拥有一组参数时(内含类对象)
例如
word::word: _name(0)
{
_cnt=0;
}
会被扩张成这样:
word::word{
_name.String::String(0);
_cnt=0;
}
14)初始化列表的初始化顺序由class中members声明顺序决定的,而不是initialization list中的排列顺序决定的。
简单的说,编译器会对initialization list一一处理并可能重新排序,以反映出members的声明顺序。它会安插一些代码到constructor体内,并置于任何explicit user code 之前