虚析构函数

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

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

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

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

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

#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 constructorIn B constructorIn A destructor

　　并没有调用B的析构函数，new出来的内存没有及时回收造成内存泄漏。要解决这个问题，只要将A的析构函数定义为虚函数：

virtual ~A(){    cout << "In A destructor" << endl;}

为什么定义为虚函数就能解决呢？

答：只有实现多态，即虚函数，这样才能确保在发生函数重写时，根据实际的对象类型调用具体的函数。此题目中虽然是父类调用了析构函数，但对象的实际类型确实子类（class B），故实现多态后首先调用的是子类的析构函数，再调用父类的析构函数。