构造函数语义学之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中,一个额外的 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如整数、整数指针、证书数组得等做初始化。那不是他的工作范围,那是程序员应该做的!

上一篇:读书笔记:提高C++性能的编程技术


下一篇:Ubuntu下配置Scheme开发环境