虚析构函数

虚析构函数是为了解决这样的一个问题：基类的指针指向派生类对象，并用基类的指针删除派生类对象。

如果某个类不包含虚函数，那一般是表示它将不作为一个基类来使用。当一个类不准备作为基类使用时，使析构函数为虚一般是个坏主意。因为它会为类增加一个虚函数表，使得对象的体积翻倍，还有可能降低其可移植性。

所以基本的一条是：无故的声明虚析构函数和永远不去声明一样是错误的。实际上，很多人这样总结：当且仅当类里包含至少一个虚函数的时候才去声明虚析构函数。

抽象类是准备被用做基类的，基类必须要有一个虚析构函数，纯虚函数会产生抽象类，所以方法很简单：在想要成为抽象类的类里声明一个纯虚析构函数(注：纯虚析构函数也需要给出其函数体的，只是在申明的时候申明为纯虚函数而已)。

当你的类准备给别人继承时要提供虚析构函数，考虑下面例子：

#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），故实现多态后首先调用的是子类的析构函数，再调用父类的析构函数。