关于虚析构函数

 

   

 

　　在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类型，所以会调用Base类中的析构函数。

　　应注意的一点是，将析构函数标记为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。

 

　　

虚析构函数的工作方式 是从最深的派生类的析构函 数依次调用其基类的析构函 数，直至初始基类的析构函数得到调用为止。