码迷,mamicode.com
首页 > 编程语言 > 详细

C++对象模型之默认构造函数

时间:2018-05-04 23:50:06      阅读:394      评论:0      收藏:0      [点我收藏+]

标签:tab   例子   处理   初始化   自己   font   user   next   声明   

在不声明自定义构造函数时,编译器会自动生成一个默认构造函数。但是这个默认构造函数有可能是一个trivial(无用的) constructor,也可能是nontrivial constructor。

 举个例子

class Foo {
    public:
        int val;
        Foo* pnext;  
}  

void foo_bar()
{
     Foo bar;
     if(bar.val || bar.pnext)
          //...do something  
} 

之前的想法是Foo有一个默认构造函数,可以将var和pnext初始化为0。

其实不然。

原因是将两个members初始化为0,并不是编译器所需要的。也就是说,编译器合成了一个默认构造函数是trivial constructor,不会对两个members做初始化。

那么什么情况下,编译器会合成nontrivial constructor?四种情况。

 

1、带有Default Constructor的Member Class Object

类中的一个member object有default constructor。

class Foo {
public: 
     Foo();
     Foo(int);
}  

class Bar 
{
public:
     Foo foo;
     char* str;
}

当创建Bar对象时,需要调用Bar的默认构造函数。被合称的默认构造函数需要能够调用Class Foo的 的默认构造,处理Bar::foo。

但是它并不产生任何代码初始化Bar::str。正如前面所说,初始化foo是编译器的责任,初始化str是程序员的责任。

如果为了初始化str,我们定义自己的构造函数:

Bar::Bar() {str = 0;}

此时编译器不会为我们合成默认构造函数,那么是如何实现上面的初始化foo的工作呢?

原来编译器会扩张已存在的constructors,在其中安插代码,在user code之前,根据member objectsd的声明次序,依次调用必要的default constructors。

类似这样:

Bar::Bar()
{
     foo.Foo::Foo();
     str = 0;
}

 

2、带有Default Constructor的Base Class

一个没有任何构造函数的类派生自一个带有default constructor的父类,那么这个派生类的默认构造函数是nontrivial的。 它将调用base class的default constructor。

和上一条类似,当设计者提供多个构造函数时,编译器会扩张现有构造函数,在最开始调用base class constructor。

 

3、带有一个Virtual Function的Class

a) class声明或继承一个virtual function。

b)class派生自一个继承链,其中有一个或多个virtual base function。

 

下面两个扩张操作会在编译期间发生:

1、一个virtual function table。里面保存class的virtual functions地址

2、每个class object中的vptr,保存的是class vtbl的地址。

 

 

4、带有一个 Virtual Base Class的Class

 

C++对象模型之默认构造函数

标签:tab   例子   处理   初始化   自己   font   user   next   声明   

原文地址:https://www.cnblogs.com/jimobuwu/p/8991613.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!