虚析构函数是为了解决这样的一个问题:基类的指针指向派生类对象,并用基类的指针删除派生类对象。
如果某个类不包含虚函数,那一般是表示它将不作为一个基类来使用。当一个类不准备作为基类使用时,使析构函数为虚一般是个坏主意。因为它会为类增加一个虚函数表,使得对象的体积翻倍,还有可能降低其可移植性。
所以基本的一条是:无故的声明虚析构函数和永远不去声明一样是错误的。实际上,很多人这样总结:当且仅当类里包含至少一个虚函数的时候才去声明虚析构函数。
抽象类是准备被用做基类的,基类必须要有一个虚析构函数,纯虚函数会产生抽象类,所以方法很简单:在想要成为抽象类的类里声明一个纯虚析构函数。
当你的类准备给别人继承时要提供虚析构函数
考虑下面例子:
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[])
{
//printf("Hello World!/n");
A *p = new B;
delete p;
return 0;
}
输出结果:
In A constructor
In B constructor
In A destructor
并没有调用B的析构函数,new出来的内存没有及时回收造成内存泄漏。
要解决这个问题,只要将A的析构函数定义为虚函数:~A(){cout << "In A destructor" << endl;}。为什么定义为虚函数就能解决呢?