1. 合成的默认构造函数会在编译器需要的时候被编译器产生出来。如类中包含其他类对象,即使构造函数已经被明确定义出来,编译器也会扩充已存在的构造函数,在其中安插一些代码。

2. 还有两种情况合成默认构造函数:类中声明或继承一个virtual function;类派生自一个继承链,其中有一个或更多的虚基类。编译器要在其中安插设置vptr和vtbl的代码。

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

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

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

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

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

如你所见,没有一个是真的!