文档章节

继承中构造函数和析构函数的调用顺序

Start-up
 Start-up
发布于 2012/05/17 00:18
字数 1896
阅读 483
收藏 0

由架构中基类的设计想到的......

现在,有三个类,类的定义如下

#include <iostream>

using namespace std;

class CA
{
public:
    CA(){ cout << "CA constructor" << endl; }
    ~CA(){ cout << "CA destructor" << endl; }
};

class CB:public CA
{
public:
    CB(){ cout << "CB constructor" << endl; }
    ~CB(){ cout << "CB destructor" << endl; }
};
class CC:public CB
{
public:
    CC(){ cout << "CC constructor" << endl; }
    ~CC(){ cout << "CC destructor" << endl; }
};

int main(int argc, char* argv[])
{
    CC c;
    return 0;
}

CA是爷爷,CB是爸爸,CC是儿子。

那么任何一本C++的书都会讲,构造函数的调用顺序是CA CB CC,析构函数的调用顺序是CC,CB,CA,什么???你的书没讲,靠,扔了吧。

于是,这个程序运行结果是

CA constructor
CB constructor
CC constructor
CC destructor
CB destructor
CA destructor

靠,太简单了,一个鸡蛋飞过来了,:(

继续……………………

(2) 再做第二个试验之前,先做一点小小修改

//~CA(){ cout << "CA destructor" << endl; }
virtual ~CA(){ cout << "CA destructor" << endl; }

修改main 代码如下

int main(int argc, char* argv[])
{
    CA* pt = new CC;
    delete pt;

    return 0;
}

yeah
结果一模一样哦

CA constructor
CB constructor
CC constructor
CC destructor
CB destructor
CA destructor

但是如果把virtual  ~CA(){cout<<"CA destructor"<<endl;}virtual 去掉,

那么(2)中的运行结果为

CA constructor
CB constructor
CC constructor
CA destructor

只调了CA的析构函数哦,出问题了
这样的话,就会出现基类的构造函数调用了,但是派生类的构造函数没调用,对象的派生部分不会被销毁,这将导致资源泄漏!!

所以我们在设计一个类的时候,如果类至少拥有一个虚函数,或者说基类被设计用于多态,在这种情况下,一个派生类的对象可能通过一个基类指针来进行操作,然后进行销毁,如果这样的话,那么这个基类的析构函数要设置成虚拟的,有些类虽然是基类,但是不是用于多态的,没有虚函数,没有被设计成允许经由基类接口对派生类对象进行操作,那么也无需设成虚析构函数,毕竟增加了开销。

好了,解释清楚了,我们也知道怎么做了,继续试验。


(3)
保留CA中的虚析构函数

修改main 代码如下

int main(int argc, char* argv[])
{
    CB * pt = new CC;
    delete pt;

    return 0;
}

运行结果

CA constructor
CB constructor
CC constructor
CC destructor
CB destructor
CA destructor

取消CA中的虚析构函数,那么,CA,CB,CC中没有虚析构函数

class CA
{
public:
    CA(){ cout << "CA constructor" << endl; }
     ~CA(){ cout << "CA destructor" << endl; }
};

class CB:public CA
{
public:
    CB(){ cout << "CB constructor" << endl; }
    ~CB(){ cout << "CB destructor" << endl; }
};

那么 3 中代码运行结果如下

CA constructor
CB constructor
CC constructor
CB destructor
CA destructor

可以看到,只调到CB的析构哦(还有他的父类CA的析构)

继续试验,CACBCC中,只有CB是虚析构函数

class CA
{
public:
    CA(){ cout << "CA constructor" << endl; }
     ~CA(){ cout << "CA destructor" << endl; }
};

class CB:public CA
{
public:
    CB(){ cout << "CB constructor" << endl; }
    virtual ~CB(){ cout << "CB destructor" << endl; }
};

class CC:public CB
{
public:
    CC(){ cout << "CC constructor" << endl; }
    ~CC(){ cout << "CC destructor" << endl; }
};

int main(int argc, char* argv[])
{
    CB * pt = new CC;
    delete pt;

    return 0;
}

3 中代码运行如下

CA constructor
CB constructor
CC constructor
CC destructor
CB destructor
CA destructor


所以,如果是CB指向派生类,只要CB或者CB的基类中存在虚析构函数,那么也是所有的析构函数都调用的了

继续………………

(4)
修改main 代码如下

int main(int argc, char* argv[])
{
    CA * pt = new CC;
    delete pt;

    return 0;
}

如果A的析构函数是虚的,那么情况如2,不多说了

如果是CA的析构函数不是虚的,而CB或者CC的析构函数是虚拟的,即类似:

class CA
{
public:
    CA(){ cout << "CA constructor" << endl; }
     ~CA(){ cout << "CA destructor" << endl; }
};

class CB:public CA
{
public:
    CB(){ cout << "CB constructor" << endl; }
    virtual ~CB(){ cout << "CB destructor" << endl; }
};

class CC:public CB
{
public:
    CC(){ cout << "CC constructor" << endl; }
    ~CC(){ cout << "CC destructor" << endl; }
};

int main(int argc, char* argv[])
{
    CA * pt = new CC;
    delete pt;

    return 0;
}


那么在调用delete p;情况分为两种情况:

(一) VC2010会出现提示内存错误


Expression:_BLOCK_TYPE_IS_VALID(pHead->nBlockUse)   
是在释放内存的时候出现这样的错误
上网查了一下,_BLOCK_TYPE_IS_VALID是用来检测内存有效性宏中的一个,这个错误说明指针使用出现了问题

后来想了一想,应该是因为继承类中出现了虚函数,所以多了一个指向虚函数表的指针,而基类中一个虚函数都没有,所以也没有这个指针啦
所以在delete的时候就出现了内存错,事实证明,这个猜想应该是站得住脚的,在CA中添加一个虚函数,即使的空的虚函数,也不会出现内存  。关于这个问题,我想在下次继续讨论吧,这里不深入进去了。

回到正题,在CA中添加一个空的,任意的虚拟函数以后,运行正确了,
运行结果是
CA constructor
CB constructor
CC constructor

CA desstructor

这与(2)中的情况是一样的,只要CA的析构函数不是虚拟的,就只能调用CA的析构了

(二)GCC 只会调用CA的析构函数


最后来看一种非常 Bt 的做法
(5)
CA CB CC
中的析构函数,谁是虚拟的,无所谓,随便

修改main 代码如下

int main(int argc, char* argv[])
{
    void * pt = new CC;
    delete pt;

    return 0;
}

运行结果
CA constructor
CB constructor
CC constructor

下面呢???下面没有了,……………………

这种情况,构造了一个cc的对象,然后呢,居然没有调析构函数,直接把申请的内存释放了最好不要这样用咯


好了,最后,上面,基本上把所有的,我能想到的情况都整理了一下,

 

构造函数顺序:

class A
{
public:
 A()
 {
  cout<<"A()"<<endl;
 }
};

class B:public A
{
public:
 B()
 {
  cout<<"B()"<<endl;
 }
};

class C
{
public:
 C()
 {
  cout<<"C()"<<endl;
 }
 B  a;

};
int main(void) 
{

 C c;
 return 0; 
}

如上代码输出:

A()
B()
C()

表明:成员对象最先构造,接着是基类构造,再是自身构造.析构时正好相反。


总结一下:


C1 * p = new C2();
delete p;

这样的代码

这里,C1C2的基类,C1可能是C2的爸爸,可能是爷爷,可能是爸爸的爷爷,可能是爷爷的爷爷…………………………

那么首先,调用的构造函数是 C2的第一个祖先一直到C2………………。和C1是什么没关系

delete p的时候,那么有以下几种情况:
1) C1
或者C1的祖先(基类)中,含有虚析构函数,那么调用的析构函数的顺序是从C2一直到C2的第一个祖先(#add最开始的祖先)
2
)如果C1或者C1的祖先中,没有一个是类是含有虚析构函数的,那么调用的是从C1一直到C1的(也是C2)第一个祖先的(#add表述有待细思)
3
)如果C1void,那就什么析构都不调用了。

如果一个类,作为多态的基类,那么尽量把析构函数声明成虚拟的,不然………………

好了,就此打住吧,关于4中的内存错误,下次再谈论吧

另外,可见虚函数是用来实现多态的,但是虚析构函数是一种特殊的虚函数,它的目的主要是为了在多态中防止资源泄露。只要C1或者C1的祖先中有一个含有虚析构函数,那么该调到的析构函数都会调用到。如果C1C1的祖先中没有一个含有虚析构函数,那么只会按照C1类型处理,不关心具体指到的类型。

 

参考书籍      Effective C++ 

 

© 著作权归作者所有

共有 人打赏支持
Start-up
粉丝 46
博文 292
码字总数 579103
作品 0
海淀
高级程序员
私信 提问
复合&继承关系下的构造和析构

继承关系下的构造和析构 看一下测试代码: 代码描述了这样一种关系,如下: 继承表现为 is-a 的关系,举个例子人是哺乳动物,那么人具有哺乳动物的特征,所以将 Base 放在里面。 运行结果如下...

Tanswer_
01/31
0
0
C++基本知识

1.C和C++的主要区别是什么? 答:1.C++语言包括过程性语言部分和类部分,过程性语言部分与C并无本质的差别,类部分是C语言中所没有的,它是面向对象程序设计的主体。 2.程序设计方法上已从结...

最新更新消息
2015/12/05
71
0
构造函数与虚构函数

1、构造函数和析构函数为什么没有返回值? 构造函数和析构函数是两个非常特殊的函数:它们没有返回值。这与返回值为void的函数显然不同,后者虽然也不返回任何值,但还可以让它做点别的事情,...

野渡书生
2016/05/05
11
0
类的二三事

类 类的基本思想就是数据抽象和封装。数据抽象依赖于接口和实现。接口指类外成员对象可使用的函数接口。实现指类的成员函数和成员变量。封装实现了接口和实现的分离。 类本身就是一个作用域。...

sdoyuxuan
2017/04/07
0
0
嵌入式开发之C++基础学习笔记4--面向对象封装继承多态

1.封装和继承 1)单继承 class 派生类名:访问方式 基类名   {    派生类中的新成员   }; 例子: #include <iostream> using namespace std; class A{ public : int a; A(){ a = 5; ...

吴锦涛
2012/12/18
0
0

没有更多内容

加载失败,请刷新页面

加载更多

Apache日志不记录访问静态文件,访问日志切割,静态元素过期时间设置

Apache配置不记录访问静态文件的日志 网站大多元素为静态文件,如图片、css、js等,这些元素可以不用记录 vhost原始配置 <VirtualHost *:80> ServerAdmin test@163.com DocumentRoo...

野雪球
47分钟前
1
0
聊聊storm的ICommitterTridentSpout

序 本文主要研究一下storm的ICommitterTridentSpout ICommitterTridentSpout storm-core-1.2.2-sources.jar!/org/apache/storm/trident/spout/ICommitterTridentSpout.java public interface......

go4it
51分钟前
2
0
Ubuntu常用操作

查看端口号 netstat -anp |grep 端口号 查看已使用端口情况 netstat -nultp(此处不用加端口号) netstat -anp |grep 82查看82端口的使用情况 查找被占用的端口: netstat -tln netstat -tl...

hc321
昨天
1
0
网站cdn的静态资源突然访问变的缓慢,问题排查流程

1.首先我查看了一下是否自己的网络问题,通过对比其他资源的访问速度和下载速度,确认不是 2.通过ping 和 tracert 判断cdn域名能否正常访问,(最后回想感觉这一步可以省略,因为每次最终能访...

小海bug
昨天
3
0
Mybatis 学习笔记四 MyBatis-Plus插件

Mybatis 学习笔记四 MyBatis-Plus插件 maven依赖 <dependency> <groupId>com.baomidou</groupId> <artifactId>mybatis-plus</artifactId> <ve......

晨猫
昨天
6
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部