C++虚析构函数的使用分析

时间:2021-10-02 04:34:08

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