c++中虚析构函数的作用

    我们知道，用C++开发的时候，用来做基类的类的析构函数一般都是虚函数。可是，为什么要这样做呢？下面用一个小例子来说明：    
    有下面的两个类：

class  ClxBase
{
public :
    ClxBase() {};
     virtual   ~ ClxBase() {};

     virtual   void  DoSomething() { cout  <<   " Do something in class ClxBase! "   <<  endl; };
};

class  ClxDerived :  public  ClxBase
{
public :
    ClxDerived() {};
     ~ ClxDerived() { cout  <<   " Output from the destructor of class ClxDerived! "   <<  endl; }; 

     void  DoSomething() { cout  <<   " Do something in class ClxDerived! "   <<  endl; };
};

    代码

ClxBase  * pTest  =   new  ClxDerived;
pTest -> DoSomething();
delete pTest;

    的输出结果是：

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

    这个很简单，非常好理解。
    但是，如果把类ClxBase析构函数前的virtual去掉，那输出结果就是下面的样子了：

Do something in class ClxDerived!

    也就是说，类ClxDerived的析构函数根本没有被调用！一般情况下类的析构函数里面都是释放内存资源，而析构函数不被调用的话就会造成内存泄漏。我想所有的C++程序员都知道这样的危险性。当然，如果在析构函数中做了其他工作的话，那你的所有努力也都是白费力气。
    所以，文章开头的那个问题的答案就是－－这样做是为了当用一个基类的指针删除一个派生类的对象时，派生类的析构函数会被调用。
    当然，并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候，编译器会给类添加一个虚函数表，里面来存放虚函数指针，这样就会增加类的存储空间。所以，只有当一个类被用来作为基类的时候，才把析构函数写成虚函数。

 

 

最后再附上一个示例代码，会有所帮助的。

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的析构函数定义为虚函数。这时的输出为：

　　In A constructor
　　In B constructor

      In B destructor
　　In A destructor

此时new出来的对象被安全的释放了。

 

c++语言标准关于这个问题的阐述非常清楚：当通过基类的指针去删除派生类的对象，而基类又没有虚析构函数时，结果将是不可确定的。