虚析构函数的理解。

今天同事在解决资源泄露的问题时，发现一个按钮的资源老是没有释放干净，追了很久都没有发现问题，后来发现程序没有跑进基类的析构函数，晕~ 就是因为一个虚析构函数的问题，之前看过侯捷翻译的《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循环实现),而不是一定要有,不写虚函数也是一样可以,那样就得用类的作用域来限定是想访问是基类还是派生类的成员,虚析构也是一样的道理--想用指针来访问派生类对象,里面涉及到动态分配内存的话,就要用虚析构。