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