析构函数的功能是在该类对象消亡之前进行一些必要的清理工作，析构函数最好都是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
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中的析构函数没有执行，会造成内存泄露，因此，如果一个类是其他类的基类，应该将其析构函数声明为虚析构函数。另外从本例中也可以看出，构造函数、析构函数的执行顺序。构造函数，先基类后子类，析构函数，先子类，后基类。
