C++对象模型解析二

编译器对于对象构造过程的干涉，以及对于程序形式和程序效率的冲击

对于一个class X，如果没有任何user-declared constructor，那么会有一个默认的constructor被隐式的声明出来....一个被隐式声明出来的构造函数是一个trivial constructor（无用的constructor）。

编译器会合成non-trivival constructor 的4中情况：

1.带有"default constructor"的member class Object

由于类中带有自带默认构造函数的成员变量，所以初始化这些对象是编译器的责任，所以这时候编译器会合成non-trivial constructor完成对成员变量的初始化，但是需要注意的是，如果成员变量还带了int 或者指针，编译器是没有责任对他进行初始化的，所以这些变量时为被初始化的。

如果这个类已经有了构造函数，但是并没有显示的调用成员变量的默认构造函数，那么编译器也需要会为这些函数安插构造这些成员变量的函数。

2.带有“default constructor”的Base Class

这个跟带有defalut constructor 的member class object的情况一致的 调用这些基类的函数是编译器的责任 所以编译器会合成non-trivial构造函数，同样如果派生类定义了构造函数，那么编译器也会为这些构造函数安插相应基类初始化代码。

3.带有虚函数的class

编译器有责任为每一个带有虚函数的对象设定vptr初始值，放置适当的虚表的地址。如果类已经定义了构造函数也要安插相应的虚指针的初始化代码。

4.带有一个虚基类的类

编译器有责任初始化相应的虚基类指针。安插相应代码

以上四种情况，会造成"编译器必须未声明constructor的class合成一个默认构造函数"。c++标准把那些合成物称为implicit nontrivial default contructor。