深度探索C++对象模型 之 构造函数语意学

explicit被引入C++是为了使程序员能够制止“单一参数的constructor函数”被当做一个conversion 运算符。

有四种情况：

1．带有default constructor 的member classobject

2．带有default constructor 的base class

3．带有一个virtual function 的class

4．带有一个virtual base class 的class

会导致“编译器必须为未声明constructor 之classes 合成一个default constructor（或copy constructor） ”。C++ Stardand 把那些合成物称为implicit nontrivial default constructors（或copy constructor）。被合成出来的constructor 只能满足编译器（而非程序）的需要。它之所以能够完成任务，是借着“调用member object 或 base class 的default constructor（或copy constructor）”或是“为每一个object初始化其virtual function 机制或virtual base class 机制”而完成。至于没有存在那四种情况而又没有声明任何constructor的classes，我们说它们拥有的是implicit trivial default constructors（或copy constructor），它们实际上并不会被合成出来。

 

在合成的default constructor（或copy constructor）中，只有 base class subobjects 和member class objects 会被初始化。所有其它的nonstatic data member，如整数，整数指针，整数数组等等都不会被初始化。这些初始化操作对程序而言或许有需要，但对编译器则非必要。如果程序需要一个“把某指针设为0”的default constructor，那么提供它的人应该是程序员。

 

 

C++新手一般有两个常见的误解：

1.任何class如果没有定义default constructor，就会被合成出一个来。

2.编译器合成出来的default constructor 会明确设定“class内每一个data member 的默认值”。

但如你所见，没有一个是真的！

 

对于copy constructor，后两种情况有些不同：

它们发生在当一个base class object以其derived class的object内容
做初始化操作时，

其vptr和virtual base class pointer/offset复制操作也必须保证安

全,所以会合成出一个

copy constructor 来做这件事。

 

Member initialization list被使用于下面四种情况：

1．当初始化一个reference member 时

2．当初始化一个const member 时

3．当调用一个 base class 的constructor，而它拥有一组参数时

4．当调用一个member class 的constructor，而它拥有一组参数时

 

执行顺序是先调用基类的构造函数，然后按照成员的声明顺序执行在
member initialization list中

进行初始化，最后执行构造函数主体
部分。