关于虚析构函数

因为 C++ 指出：当一个派生类对象通过使用一个基类指针删除，而这个基类有一个非虚的析构函数，则结果是未定义的。运行时比较有代表性的后果是对象的派生部分不会被 销毁。然而，基类部分（也就是 TimeKeeper 部分）很可能已被销毁，这就导致了一个古怪的“部分析构”对象。这是一个泄漏资源，破坏数据结构以及消耗大量调试时间的绝妙方法。 排除这个问题非常简单：给基类一个虚析构函数。于是，删除一个派生类对象的时候就有了你所期望的正确行为。将销毁整个对象，包括全部的派生类部分。
可以先看一下下面的例子:
#include <iostream>
using namespace std;
class Mother
{
  public:
   //最主要的区别就是在析构函数前加没加 virtual;分别观察结果(A和B两种情况)
      ~Mother(){ cout << "~Mother" << endl;}
      //virtual ~Mother(){cout << "~Mother()" << endl;}//
};
class Son :public Mother
{
  public:
   ~Son(){cout << "~Son()" << endl;}
};
class Grandson:public Son
{
public :
 ~Grandson()
 {cout << "~Grandson()" << endl;}
};
int main()
{
Mother *one = new Son ;
Mother *two = new Grandson;
Son    *three = new Grandson;
Grandson four;
delete one;
delete two;
delete three;
system("pause");
return 0;
}
A:当基类Mother的析构函数 不是virtual 输出情况为:
             ~Mother() 

             ~Mother()

             ~Son()
             ~Mother()

             ~Grandson()
             ~Son()
             ~Mother()
 第一行是delete one输出的结果;第二行是delete two的输出结果;第三.四行是delete three的输出结果;
 第5~7行是Grandson four的虚构函数
B:当基类Mother的析构函数 是virtual 输出情况为:
             ~Son()
             ~Mother()

             ~Grandson()
             ~Son()
             ~Mother()
       
             ~Grandson()
             ~Son()
             ~Mother()