为什么析构函数常常必须为虚函数

首先来看下面很简单的代码

#include<iostream>
using namespace std;
class Base
{
private : int ma;
public: Base(int n):ma(n){cout<<"Base()"<<endl;}//构造函数 void virtual  show(){cout<<"ma="<<ma<<endl;} ~Base(){cout<<"~Base"<<endl;}//析构函数
};

class Derive: public Base
{
private : int mb;
public: Derive(int n):Base(n){cout<<"Derive()"<<endl;}//构造函数 void  virtual show(){cout<<"mb="<<mb<<endl;} ~Derive(){cout<<"~Derive()"<<endl;}//析构函数
};

int main()
{ Base*p = new Derive(10); delete p; return 0;
}
  

 

  
1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
 

运行结果：
Base()
Derive()
~Base
请按任意键继续…
虽然能运行，但是很明显，存在内存泄漏，p指向的是一个派生类对象，但是释放的时候，只是把基类给释放掉了，那么派生类自己的数据呢，并没有释放，依然在堆上，造成内存的泄漏。
如果把基类的析构函数改为虚函数：

#include<iostream>
using namespace std;
class Base
{
private : int ma;
public: Base(int n):ma(n){cout<<"Base()"<<endl;}//构造函数 void virtual  show(){cout<<"ma="<<ma<<endl;} virtual ~Base(){cout<<"~Base"<<endl;}//析构函数
};

class Derive: public Base
{
private : int mb;
public: Derive(int n):Base(n){cout<<"Derive()"<<endl;}//构造函数 void  virtual show(){cout<<"mb="<<mb<<endl;} ~Derive(){cout<<"~Derive()"<<endl;}//析构函数
};

int main()
{ Base*p = new Derive(10); delete p; return 0;
}
  

 

  
1
  
2
  
3
  
4
  
5
  
6
  
7
  
8
  
9
  
10
  
11
  
12
  
13
  
14
  
15
  
16
  
17
  
18
  
19
  
20
  
21
  
22
  
23
  
24
  
25
  
26
  
27
  
28
 

运行结果：
Base()
Derive()
~Derive()
~Base
请按任意键继续…

不存在内存泄漏。
把基类的析构函数改为虚函数，那么delete p 的时候调用析构函数，因为基类的析构函数为虚函数，此时派生类的析构函数就变成了虚函数，调用虚函数时，就要查找vftable(虚函数表)，此时在派生类对象的虚函数表里，派生类的虚析构函数，把基类的析构函数给覆盖了。虚函数表的最上面的第一行表示RTTI运行时的类型状态，此时为派生类，于是调用派生类的析构函数。
于是调用派生类的析构函数，系统先调用基类的析构函数，再调用派生类的析构函数，就不会存在内存的泄漏现象。

用一句话概括为什么使用虚析构函数：在使用多态，而且基类的指针指向堆上的对象时，调用delete释放对上的对象，防止内存泄漏。

文章来源: blog.csdn.net，作者：IM-STONE，版权归原作者所有，如需转载，请联系作者。

原文链接：blog.csdn.net/doubleintfloat/article/details/52529874