虚析构函数的理解。

今天同事在解决资源泄露的问题时，发现一个按钮的资源老是没有释放干净，追了很久都没有发现问题，后来发现程序没有跑进基类的析构函数，晕~ 就是因为一个虚析构函数的问题，之前看过侯捷翻译的《Effective C++》，看过虚析构函数的有关章节，书看过了，很快就忘记了，所以以后应该学而时习之。

 

下面贴一些别人的帖子的代码，记录一下这个问题，也算是求知的漫漫道路上一个成长的脚印吧：

 

帖子来自：http://hi.baidu.com/wjc1986/blog/item/a1ec2c4e895c2130aec3ab59.html

 

把类的析构函数写成虚函数有什么好处
2008年10月10日 星期五 20:56
一）面试题：

class Base
{
public:
    Base() { mPtr = new int; }
    ~Base() { delete mPtr; }

private:
    int* mPtr;
}

class Derived : public Base
{
public:
    Derived() { mDerived = new long; }
    ~Derived() { delete mDerived; }
private:
    long* mDerived;
}

void main()
{
    Base* p = new Derived;
    delete p;
}

请问以上的程序片段会产生内存泄露吗？

二）简答：

类要采用多态的话，一定要把析构函数写成虚函数

class Base
{
public:
    Base() { mPtr = new int; }
    virtual ~Base() { delete mPtr; }
private:
    int* mPtr;
};

class Derived : public Base
{
public:
    Derived() { mDerived = new long; }
    virtual ~Derived() { delete mDerived; }
private:
    long* mDerived;
};

三）其它

（1）写成虚的是为了在实现多态的时候不造成内存泄露, 比如:

class a
{
    int aa;
public:
    virtual ~a(){};
};

class b : public a
{
    int bb;
};

 

如果你这样:

a *pa = new b; // upcast

然后这样:

delete pa;

 

这句delete, 如果你基类的析构函数不是虚的的话, 就会造成内存泄露, 具体表现为派生类的内存被释放了而基类没有.
我已经给你了参考资料的地方, Efftive C++里人家说的已经很好了, 我表达能力又不好, 在继承中使用多态来创建动态对象时, 比如上面的:a *pa = new b;
由于pa是个基类的指针, 只能识别属于基类的部分, 所以如果没有虚析构函数的话, 那么子类中特有的部分就不会被释放, 造成"经典"的释放一半, 泄露一半的内存泄露.
这和object slicing的原理是一样的, 至于object slicing:

#include <iostream>
#include <string>
using namespace std;

class Pet
{
public:
    Pet(const string& _category_) : category(_category_){}

virtual void Desc()
{
    cout << "This is a " << category << "./n";
}

    virtual const string& GetCate()
    {
        return category;
    }

    virtual ~Pet(){}

private:
    string category;
};

class Cat : public Pet
{
public:
    Cat(const string& _category_, const string& _name_)
    : Pet(_category_), name(_name_){}

 

    virtual void Desc()
    {
        cout << "This is a " << Pet::GetCate() << "./n";
        cout << "Its name is " << name << endl;
    }

private:
    string name;
};

void Describe(Pet p) // object slicing
{
    p.Desc();
}

int main()
{
    Pet p("Yellow dog");
    Cat c("Black and white cat", "Kitty");
    Describe(p);
    Describe(c); // object slicing
}

 

所以表现在动态对象上就会造成delete不完全, 造成内存泄露.

我的编译器警告级别被我调成最高, 有一次写类多态的时候它就警告我base类中没有虚的虚构函数, 我开始也不懂为什么, 但既然警告了就说明一定有问题, 后来查了资料就知道了, 自己也长了见识. 一般的, 只要一个类要作为其他类的基类, 那么它就一定有虚函数, 只要一个类中有虚函数, 那么它的析构函数就一定也要是虚的, 否则就会造成我以上所说的问题, 你以后自己多看点书查查资料吧...
参考资料：Effective C++ Item 7: Declare destructors virtual in polymorphic base classes

（2）如果不改，则只会调用基类的析构函数。如果析构函数改为虚函数，则这个程序会先调用派生类的析构，后调用基类的析构。
（3）用虚函数是为了方便让基类的指针能访问派生类(用FOR循环实现),而不是一定要有,不写虚函数也是一样可以,那样就得用类的作用域来限定是想访问是基类还是派生类的成员,虚析构也是一样的道理--想用指针来访问派生类对象,里面涉及到动态分配内存的话,就要用虚析构。