class Foo {
public:
int val;
Foo *pnext;
};
void f00_bar()
{
Foo bar; //程序要求bar's members都被清为零，不是编译器需要
if(bar.val || bar.pnext)
//...do something
}
编译器并不会为上述代码生成一个默认的构造函数，只有在下面四种情况下，编译器才会生成默认构造函数(nontrivial default constructor):
(1) 如果一个类里面某个成员对象有nontrivial default constructor,编译器就会为我们的类产生nontrivial default constructor
class Foo {
public:
Foo();
Foo(int);
...
};
class Bar {
public:
Foo foo;
char *str;
};
void foo_bar()
{
Bar bar;
if(str) {}
...
}
被合成的Bar default constructor 内含必要的代码，能够调用class Foo的default constructor 来处理member object Bar::foo,但它并不产生任何代码来初始化Bar::str。被合成的default constructor看起来可能像这样：
inline Bar::Bar()
{
//C++伪代码
foo.Foo::Foo();
}
如果程序员定义了default constrcutor
Bar::Bar()
{
str = 0;
}
现在程序员的需求满足了，但是编译器还需要初始化member object foo。编译器会扩张现存的constructor，在其中安插一些代码，使得user code在被执行前，先调用必要的default constructors。
Bar::Bar()
{
foo.Foo::Foo(); //附加上的compiler code
str = 0;
}
如果有多个class member objects都要求constructor初始化操作，C++语言要求以 “member objects在clsss中的声明次序”来调用各个constructor。
class Dopey {public: Dopey(); ...};
class Sneezy {public: Sneezy(int); Sneezy(); ...};
class Bashful {public: Bashful(); ...};
class Snow_White{
public:
Dopey dopey;
Sneezy Sneezy;
Bashful bashful;
....
private:
int mumbae;
};
如果Snow_White没有定义default constructor，就会有一个nontrivial constructor被合成出来，一次调用Dopey、Sneezy、Bashful的default constructor。如果定义了下面这样的default constructor:
Snow_White::Snow_White() : sneezy(1024)
{
mumble = 2048;
}
他会被扩展为：
Snow_White::Snow_White()
{
//按照声明的顺序调用其constructor
dopey.Dopey::Dopey();
sneezy.Sneezy::Sneezy();
bashful.Bashful::Bashful();
mumble = 2048;
}
(2) 如果一个派生类的基类有nontrivial default constructor,那么编译器会为派生类合成一个nontrivial default constructor
编译器这样的理由是:因为派生类被合成时需要显式调用基类的默认构造函数。
如果设计者提供多个constructor，但其中都没有调用default constructor，编译器不会合成一个新的default constructor，它会扩张现有的每一个constructor，将“用以调用所有必要之default constructor”的程序代码加进去。
(3) 如果一个类带有一个Virtual Function,那么编译器会为派生类合成一个nontrivial default constructor
编译器这样做的理由和(3)类似:因为虚继承需要维护一个类似指针一样,可以动态的决定内存地址的东西(不同编译器对虚继承的实现不全相同)。
class X {public: int i; };
class A : public virtual X {public: int j; };
class B : public virtual X {public: double d; };
class C : public A, public B {public: int k; };
//无法在编译时期决定出pa->X::i 的位置
void foo(const A* pa) { pa->i = 1024; }
mian()
{
foo(new A);
foo(new C);
...
}
编译器无法固定住foo()之中“经由pa而存取的X::i”的实际偏移量，以为pa的真正类型可以改变。foo()可以被改写如下：
void foo(const A* pa) { pa->_vbcX->i = 1024; }
其中，_vbcX表示编译器所产生的指针，指向virtual base class X。
总结