C++虚析构函数的使用分析_C语言教程-查字典教程网
C++虚析构函数的使用分析
C++虚析构函数的使用分析
发布时间:2016-12-28 来源:查字典编辑
摘要:在C++中,不能声明虚构造函数,但可以声明虚析构函数。多态性是指不同的对象对同一消息有不同的行为特性。虚函数作为运行时多态性的基础,主要是针...

在C++中,不能声明虚构造函数,但可以声明虚析构函数。多态性是指不同的对象对同一消息有不同的行为特性。虚函数作为运行时多态性的基础,主要是针对对象的,而构造函数是在对象产生之前运行的,因此虚构造函数是没有意义的。

析构函数的功能是在该类对象消亡之前进行一些必要的清理工作,析构函数最好都是virtual的。

首先解释一下虚构函数和指针之间是如何交互的,以及虚析构函数的具体含义。例如以下代码,其中SomeClass是含有非virtual析构函数的一个类:

SomeClass *p= new SomeClass;

. . . . . .

delect p;

为p调用delect时,会自动调用SomeClass类的析构函数。现在,再来看看将析构函数标记为virtual之后,会发生什么事情。

描述析构函数与虚函数机制的交互时,最简单的表述是:将所有析构函数都视为具有相同的名字(即使它们并非真的同名)。例如,假定Derived类是Base类的一个派生类,并假定Base类中的析构函数标记为virtual。现在来分析以下代码:

Base *pBase= new Derived;

. . . . . .

delect pBase;

为Base调用delect时,会调用一个析构函数。由于Base类中的析构函数标记为virtual,而且指向的对象属于Derived类型,所以会调用Derived类中的析构函数。

应注意的一点是,将析构函数标记为virtual后,派生类所有的析构函数都自动成为virtual的(不管时候用virtual来标记它们)。同样地,这种行为就好象所有析构函数都具有相同的名字(即使事实上不同名)。

下面说的是将所有析构函数都标记为virtual的好处。假定Base类有一个指针类型的成员变量pB,Base类的构造函数会创建由pB指向的一个动态变量,而Base类的析构函数会删除pB指向的动态变量。另外,假定Base类没有标记为virtual,并假定Derived类(它从Base派生)有一个指针类型的成员变量pD,Derived类的构造函数会创建有pD指向的一个动态变量,而Derived类的析构函数会删除pD指向的动态变量。分析一下以下代码:

Base *pBase= new Derived;

. . . . . .

delect pBase;

由于基类中的析构函数没有标记为virtual,所以只会调用Base类的析构函数。它会将pB指向的动态变量占用的内存返还给自由存储。但是,对于pD指向的动态变量来说,它占用的内存永远不会返还给自由存储(除非程序终止)。

另一方面,如果基类Base的析构函数标记为virtual,那么为pBase调用delect时,就会调用Derived类的析构函数(因为指向的对象属于Derived类型)。Derived类的析构函数会删除pD指向的动态变量,再自动调用基类Base的析构函数。后者会删除pB指向的动态变量。因此,将基类析构函数标记为virtual之后,所有内存都能成功地由自由存储回收。为了准备好迎接这种情况,最好总是将析构函数标记为virtual。

举个例子说明一下:

复制代码 代码如下:

#include "stdafx.h"

#include <iostream>

using namespace std;

class Base

{

public:

Base(){cout << " Constructor in Base. " << endl;}

virtual ~Base(){ cout << " Destructor in Base. " << endl;}

};

class Derived:public Base

{

public:

Derived(){cout << " Constructor in Derived. " << endl;}

~Derived(){cout << "Destructor in Derived. " << endl;}

};

int _tmain(int argc, _TCHAR* argv[])

{

Base *p = new Derived;

delete p;

return 0;

}

输出:

Constructor in Base.

Constructor in Derived.

Destroctor in Derived.

Destroctor in Base.

如果Base中的析构函数,没有virtual修饰,输出为:

Constructor in Base.

Constructor in Derived.

Destroctor in Base.

这样子类Derived中的析构函数没有执行,会造成内存泄露,因此,如果一个类是其他类的基类,应该将其析构函数声明为虚析构函数。另外从本例中也可以看出,构造函数、析构函数的执行顺序。构造函数,先基类后子类,析构函数,先子类,后基类。

相关阅读
推荐文章
猜你喜欢
附近的人在看
推荐阅读
拓展阅读
  • 大家都在看
  • 小编推荐
  • 猜你喜欢
  • 最新C语言学习
    热门C语言学习
    编程开发子分类