析构函数的功能是在该类对象消亡之前进行一些必要的清理工作，析构函数最好都是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