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

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值