构造函数语义学之Default Constructor构建操作

一、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中，一个额外的pointermember会被编译器合成出来的，内涵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如整数、整数指针、证书数组得等做初始化。那不是他的工作范围，那是程序员应该做的！