第二章 构造函数语意学 编译器何时生成默认构造函数？

从c++语义的角度上来说，如果类没有定义默认的构造函数，编译器会自动生成默认的构造函数。但是类的构造函数的目的是初始化类成员变量，而编译器合成的默认构造函数其实并不会初始化内置类型的数据成员，所以就算编译器提供了默认的构造函数也没有用，满足不了编译器和程序的要求，所以编译器会优化这一过程，不自动生成默认的构造函数。其实默认构造函数也是分为两类的:有用的、无用的。所谓有用的标准也是就默认构造函数会为我们的类做一些初始化操作。那么无用的就不会做任何工作,从而对我们的类也就没有任何意义。所以,我们通常所说的默认构造函数是指有用的默认构造函数,其英文名字叫nontrivial default constructor。
但是，对于以下四种情况，编译器会自动生成默认构造函数：

1）如果一个类没有任何构造函数，但是含有一个类类型的成员变量，该成员对象有nontrivial default constructor，此时编译器会为该类合成一个默认的构造函数；

答案是因为类成员对象有nontrivial default constructor,那么编译器就需要显式的来调用这个类成员对象的nontrivial default constructor。而编译器想显式的调用类成员对象的nontrivial default constructor,就需要自己来合成一些代码来调用。但是记住,编译器合成的nontrivial default constructor仅仅调用类成员对象的默认构造函数,而不对我们类里面的其它变量做任何初始化操作。

2）如果一个类没有任何构造函数，但是该类继承自含有默认构造函数的基类，该基类有nontrivial default constructor，此时编译器会为该类合成一个默认的构造函数；

编译器这样的理由是:因为派生类被合成时需要显式调用基类的默认构造函数。

3）如果一个类没有任何构造函数，但是该类声明或继承了虚函数，含有任何virtual function table(或vtbl)、pointer member(或vptr)，此时编译器会为该类合成一个默认的构造函数；

编译器这样做的理由很简单:因为这些vtbl或vptr需要编译器隐式(implicit)的合成出来,那么编译器就把合成动作放到了默认构造函数里面。所以编译器必须自己产生一个默认构造函数来完成这些操作。

4）如果一个类没有任何构造函数，但是该类含有虚基类，此时编译器会为该类合成一个默认的构造函数；

编译器这样做的理由和③类似:因为虚继承需要维护一个类似指针一样,可以动态的决定内存地址的东西(不同编译器对虚继承的实现不仅相同)。

那么除了以上四种情况,编译器并不会为我们的类产生默认构造函数。

参考：点击打开链接