虚析构函数是为了解决这样的一个问题:基类的指针指向派生类对象,并用基类的指针删除派生类对象。
如果某个类不包含虚函数,那一般是表示它将不作为一个基类来使用。当一个类不准备作为基类使用时,使析构函数为虚一般是个坏主意。因为它会为类增加一个虚函数表,使得对象的体积翻倍,还有可能降低其可移植性。
所以基本的一条是:无故的声明虚析构函数和永远不去声明一样是错误的。实际上,很多人这样总结:当且仅当类里包含至少一个虚函数的时候才去声明虚析构函数。
抽象类是准备被用做基类的,基类必须要有一个虚析构函数,纯虚函数会产生抽象类,所以方法很简单:在想要成为抽象类的类里声明一个纯虚析构函数(注:纯虚析构函数也需要给出其函数体的,只是在申明的时候申明为纯虚函数而已)。
当你的类准备给别人继承时要提供虚析构函数,考虑下面例子:
#include <iostream>
using namespace std;
class A
{
public:
A()
{
cout << "In A constructor" << endl;
}
~A()
{
cout << "In A destructor" << endl;
}
};
class B : public A
{
public:
B()
{
cout << "In B constructor" << endl;
m_p = new char[10];
}
~B()
{
cout << "In B destructor" << endl;
if (m_p) delete[] m_p;
}
private:
char *m_p;
};
int main(int argc, char* argv[])
{
A *p = new B;
delete p;
return 0;
}
输出结果:
In A constructor
In B constructor
In A destructor
并没有调用B的析构函数,new出来的内存没有及时回收造成内存泄漏。要解决这个问题,只要将A的析构函数定义为虚函数:
virtual ~A()
{
cout << "In A destructor" << endl;
}
为什么定义为虚函数就能解决呢?
答: 只有实现多态,即虚函数,这样才能确保在发生函数重写时,根据实际的对象类型调用具体的函数。此题目中虽然是父类调用了析构函数,但对象的实际类型确实子类(class B),故实现多态后首先调用的是子类的析构函数,再调用父类的析构函数。