编译器对于对象构造过程的干涉,以及对于程序形式和程序效率的冲击
对于一个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。