一、Default Constructor的构建操作
首先大家要走出两个误区:
1).任何class如果没有定义default constructor,就会被合成一个来。
2).便以其合成出来的default constructor 会明确设定“class”内每一个data member的默认值。
那么在什么情况下,编译器才会合成一个 default constructor呢?当编译器想要的时候,那么在什么情况下编译器会合成一个nontrival default constructor呢?有以下四种情况:
1)."带有Default Constructor"的Member Class object。
2)."带有Default Constructor"的 Base Class。
3)."带有一个 Virtual Fuction"的class。
如果说,以上两个比较容易理解的话,那这个恐怕不太好理解了。主要是因为带有virtual function 的类在编译期间会有隐含的发生两件事:
a).一个 virtual function table即vtbl会被编译器产生出来,内放 class 的 virtual functions 地址。
b).在每一个class object中,一个额外的 pointer member 会被编译器合成出来的,内含 class vtbl 的地址。
而以上两个扩张都需要通过合成的构造函数完成,所以……
4)."带有一个 Virtual Base Class"的class
这个不知道大家容不容易理解,我举个例子,先看这几个类:
class X { public: int i;};
class A: public virtual X{ public: int i;};
class B: public virtual X { public: int i;};
class C: public A, public B { public: int i;};
由于多重继承的原因,A和B都要虚继承 class X,这样就导致X成了virtual base class。那么为什么这种情况下会合成default constructor呢?原来在编译器处理A,B,C的时候都会给他们所包含的virtual base class(继承了嘛,所以他们都包含一份virtual base class)安插一个指针---用来指向virtual base class pointer table,这个表用来描述从继承类元素到虚基类元素的偏移量。这样经由reference 或 pointer访问(这里为什么强调经由reference或pointer访问?因为如果是通过值访问,那么这个类是直接知道virtual base class 元素所在位置的)virtual base class 的操作都可以通过相关指针来完成。
总之,以上四种情况会合成default constructor,那是因为这四种情况编译器有额外的、隐藏的工作要做!但仅此而已,编译器只会做他们该做的,他不会给你的nonstatic data member如整数、整数指针、证书数组得等做初始化。那不是他的工作范围,那是程序员应该做的!