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。
举个例子说明一下：

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

最新评论