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中
进行初始化,最后执行构造函数主体部分。