为什么析构函数常常必须为虚函数

首先来看下面很简单的代码

#include<iostream>using namespace std;class Base{private :    int ma;public:    Base(int n):ma(n){cout<<"Base()"<<endl;}//构造函数    void virtual  show(){cout<<"ma="<<ma<<endl;}         ~Base(){cout<<"~Base"<<endl;}//析构函数};class Derive: public Base{private :    int mb;public:    Derive(int n):Base(n){cout<<"Derive()"<<endl;}//构造函数    void  virtual show(){cout<<"mb="<<mb<<endl;}    ~Derive(){cout<<"~Derive()"<<endl;}//析构函数};int main(){    Base*p = new Derive(10);        delete p;    return 0;}

运行结果：
Base()
Derive()
~Base
请按任意键继续…
虽然能运行，但是很明显，存在内存泄漏，p指向的是一个派生类对象，但是释放的时候，只是把基类给释放掉了，那么派生类自己的数据呢，并没有释放，依然在堆上，造成内存的泄漏。
如果把基类的析构函数改为虚函数：

#include<iostream>using namespace std;class Base{private :    int ma;public:    Base(int n):ma(n){cout<<"Base()"<<endl;}//构造函数    void virtual  show(){cout<<"ma="<<ma<<endl;}        virtual ~Base(){cout<<"~Base"<<endl;}//析构函数};class Derive: public Base{private :    int mb;public:    Derive(int n):Base(n){cout<<"Derive()"<<endl;}//构造函数    void  virtual show(){cout<<"mb="<<mb<<endl;}    ~Derive(){cout<<"~Derive()"<<endl;}//析构函数};int main(){    Base*p = new Derive(10);        delete p;    return 0;}

运行结果：
Base()
Derive()
~Derive()
~Base
请按任意键继续…

不存在内存泄漏。
把基类的析构函数改为虚函数，那么delete p 的时候调用析构函数，因为基类的析构函数为虚函数，此时派生类的析构函数就变成了虚函数，调用虚函数时，就要查找vftable(虚函数表)，此时在派生类对象的虚函数表里，派生类的虚析构函数，把基类的析构函数给覆盖了。虚函数表的最上面的第一行表示RTTI运行时的类型状态，此时为派生类，于是调用派生类的析构函数。
于是调用派生类的析构函数，系统先调用基类的析构函数，再调用派生类的析构函数，就不会存在内存的泄漏现象。

用一句话概括为什么使用虚析构函数：在使用多态，而且基类的指针指向堆上的对象时，调用delete释放对上的对象，防止内存泄漏。