虚析构函数的学习心得

首先来看一段传统的代码：

#include <iostream>
using namespace std;
class A
{
public:
A(){}
virtual ~A(){cout<<"~A"<<endl;}   //第一处
};
class B:public A
{
public:
B(){}
virtual ~B(){cout<<"~B"<<endl;}   //第二处
};
class C:public B
{
public:
C(){}
virtual ~C(){cout<<"~C"<<endl;}   //第三处
};
int main(void) {
B *a = new C;
delete a;
return 0;
}

运行结果当然是

~C
~B
~A

但是把第二处virtual去掉，或者把第二第三处virtual都去掉，结果仍然是这样。对于初学者的我来说，似乎有点糊涂。C继承B，B的析构函数没有加virtual，为什么还能照样执行B的析构函数而不出错呢？如果把上面的代码写成这样：

#include <iostream>
using namespace std;
class B
{
public:
B(){}
~B(){cout<<"~B"<<endl;}
};
class C:public B
{
public:
C(){}
virtual ~C(){cout<<"~C"<<endl;}
};
int main(void) {
B *a = new C;
delete a;
return 0;
}

运行就会出错。


这又是为什么呢？

好，现在先来解答第一个问题。原因是与其他虚函数一样，析构函数的虚函数性质也将继承。如果基类的析构函数是虚函数，那么派生类析构函数也将是虚函数，无论派生类显式定义析构函数还是使用合同析构函数，派生类析构函数都是虚函数。虽然编程的时候，基类派生类的析构函数都不定义成虚函数的话，编译也通过运行也没问题，但这是不好的习惯，就好比new了却不delete。B *a = new C;delete a;时，a只能找到B的析构函数，而找不到C的析构函数，所以C对象所占内存释放不掉，就会产生内存泄露，从而报错。（参照/article/7612505.html）

第二个问题其实不是代码的virtual有无造成的，是由于之前内存没释放，久而久之造成的。看完第一个问题的解答后便知道派生类的virtual可写可不写，都一样。从第二个问题的错误看出，基类的析构函数必须要定义成虚函数啊，否则会内存泄露。