一,“带有Default Constructor”的Member Class Object。如果一个class没有任何的constructor,但它内含一个member object,而后者有default constructor,那么这个class的implicit default constructor就是“nontrivial”,编译器需要为该class合成一个defaul constructor。
class Foo{ public: Foo, Foo(int) ...};class Bar { public: Foo foo, char *str;}; //译注:不是继承,是内含!void foo_bar(){ Bar bar; //Bar::foo必须在此处初始化 //译注:Bar:;foo是一个member object,而其class Foo拥有default constructor. if(str) { } ...}
程序员也可以自己定义:
Bar::Bar(){ foo.Foo::Foo(); //附加的compiler code(编译器代码) str = 0; //explicit user code(显示代码)}
二,“带有Default Constructor”的Base Class。如果一个没有任何constructor的class派生自一个“带有default constructor”的base class,那么这个derived class的default class的default constructor会被视为nontrivial,并因此需要被合成出来。
class A1{public: A1(){cout<<"A1 construction"<<endl;}};class A2{public: A2(){cout<<"A2 construction"<<endl;}};class A3: public A1, public A2//注意,这里为声明的顺序{public: A3(){ A3::A2(); A3::A1(); cout<<"A3 construction"<<endl; }};int main(int argc, char* argv[]) { A3 a; return 0}
运行该程序,发现结果如下:
A1 construction
A2 construction
A2 construction
A1 construction
A3 construction
Process returned 0 (0x0) execution time : 0.187 s
Press any key to continue.
// 前两行为编译器调用的,后两行为显示调用的 基类的构造函数
三,“带有一个Virtual Function”的Class。
class Widget{public: virtual void flip() = 0; // ...};void flip( const Widget& widget ) { widget.flip(); }//假设Bell和Whistle都派生自Widgetvoid foo(){ Bell b; Whistle w; flip(b); flip(w);}
下面两个扩张行动会在编译期间发生:
1,一个virual function table(在cfront中被称为vtbl)会被编译器产生出来,内放class的virtual function地址。
2,在每一个class object中,一个额外的pointer member(也就是vptr)会被编译器合成出来,内含相关之class vtbl的地址。
四,“带有一个Virtual Base Class”的Class。对于一个没有任何constructor的class,编译器会为它合成一个default constructor,在这个default constructor中会安插那些“允许每一个virtual base class的执行期存取操作”的代码。
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;}main(){ foo(new A); foo(new B);}
该程序中,编译器无法固定住foo()之中“经由pa而存取的X::i”的实际偏移位置,因为pa的真正类型可以改变。编译器必须改变“执行存取操作”的那些代码,使X::i可以延迟至执行期才决定下来。