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