default constructor仅在编译器需要它时,才会被合成出来。
通常来说,由编译器合成出来的default constructor是没啥用的(trivial),但有以下几种例外:
(1)带有“Default Constructor”的Member Class Object
如果一个class没有任何 constructor,但它内含一个member object,而后者有default constructor,那么编译器会在 constructor真正需要被调用时未此class合成一个“nontrivial”的default constructor. 为了避免合成出多个default constructor,解决方法是把合成的default constructor、copy constructor、destructor、assignment copy operator都以inline方式完成。一个inline函数有静态链 接(static linkage),不会被档案以外者看到。如果函数太复杂,不适合做成inline,就会合成出一 个explicit non-inline static实体。
根据准则“如果class A内含一个或一个以上的 member class objects,那么class A的每一个constructor必须调用每一个member classes的default constructor”,即便对于用户明确定义的default constructor,编译器也会对其进行扩张,在 explicit user code之前按“member objects在class中的声明次序”安插各个member所关联 的default constructor.
class Dcpey { public:Dopey(); ... };
class Sneezy { public:Sneezy(int); Sneezy(); ... };
class Bashful { public:Bashful(); ... };
class Snow_White {
public:
Dopey dopey;
Sneezy sneezy;
Bashful bashful;
// ...
private:
int mumble;
};
Snow_White::Snow_White() : sneezy(1024)
{
mumble = 2048;
}
// 编译器 扩张后的default constructor
Snow_White::Snow_White() : sneezy(1024)
{
// 插 入member class object
// 调用其constructor
dopey.Dopey::Dopey();
sneezy.Sneezy::Sneezy();
bashful.Bashful::Bashful();
// explicit user code
mumble = 2048;
}
(2)“带有Default Constructor”的 Base Class
如果一个没有任何constructors的class派生自一个“带有default constructor”的base class,那么这个derived class的default constructor会被视为 nontrivial,并因此需要被合成出来。
需要注意的是,编译器会将这些base class constructor 安插在member object之前。