C++ 编译器生成默认构造函数的四种情况

编译器什么时候 会生成默认构造函数

C++ 编译器生成默认构造函数的四种情况

c++新手的两个误解：
1）任何类如果没有定义默认构造函数，就会被合成出来一个。
2）编译器合成出来的默认构造函数会显式设定“类内每一个数据成员的默认值”。
上述两种说法都是错误的！

C++ 编译器生成默认构造函数的四种情况：
1）类成员中有成员是类对象，并且该成员的类含有默认构造函数。那么C++编译器会给这个类也生成一个默认构造函数，用来调用其成员对象的构造函数，完成该成员的初始化构造。如果这个成员的类没有给出默认构造函数，那么C++编译器也不会生成该类的默认构造函数。
2）这个类的基类有默认构造函数。那么C++编译器也会帮你生成该派生类的默认构造函数，以调用基类的默认构造函数，完成基类的初始化。如果基类没有提供这个默认构造的函数，那么编译器也不会为派生类生成默认的构造函数（这里包括两层意思，第一，基类没有任何形式构造函数；第二，基类存在其他形式的非默认构造函数，这种类型就是编译不过的，道理很明显）。
3）类中存在虚函数（新定义或继承而得到）。那么C++编译器会为你生成默认构造函数，在编译期生成虚表和虚表指针。
4）存在虚基类（有直接虚拟基类或继承链上有虚基类）。那么C++编译器会为你生成默认构造函数，以初始化虚基类表(vbtable)。

这四种情况之外，且没有声明任何constructor的类，可以说它有无用的构造函数，但实际上它根本就不会被构建出来。