关于父类析构函数为什么要定义为虚函数_boolan_第二门课_第一周

喜欢的朋友可以关注收藏一下:  http://blog.csdn.NET/qq_31201973

本文如有错误，请及时私信我。

本文解释了父类析构函数为什么要定义为虚函数的问题。

首先这篇文章要感谢群里的  @北京-Qiao 提供了原始的代码和本文的思路

@北京-Qiao 提供的代码

#include <iostream>#include <stdlib.h>using namespace std;class base{public:void fun(){cout << "base" << endl;}};class derive:public base{public:void fun(){cout << "derive" << endl;}};int main(){base *p= new derive;p->fun();system("pause");return 0;}

这个时候父类不是虚函数，输出结果：

//而代码父类函数变成虚函数以后

class base{public:virtual void fun(){ cout << "base" << endl; }virtual ~base() { cout << "delete base" << endl; }};

这就和上周文章代码Shape的数组存放子类对象地址无法访问子类的情况，而在父类里写个虚函数print，子类里重写后就可以访问子类的对象了，这和上面的代码是一个道理。

父类指针new 子类的过程是这样的

而 static_cast 在父类转换成子类的时候会保留原类型的特性，导致访问失败。数组访问print虚函数则因为多态可以访问到子类的成员，那么就引出了一个问题析构函数定义为虚函数的原因。

我们如果delete 父类型的 p 会是这个过程：

那么delete p 调用析构是只删除base p （因为p实际是栈内存，所以只free(pc)）， 没删除new derive的空间.

代码如下（因为没有成员我用cout代替）：

#include <iostream>#include <stdlib.h>using namespace std;class base{public:virtual void fun(){ cout << "base" << endl; }~base() { cout << "delete base" << endl; }};class derive :public base{public:void fun(){ cout << "derive" << endl; }~derive() { cout << "delete derive" << endl; }};int main(){base *p = new derive;p->fun();delete p;system("pause");_CrtDumpMemoryLeaks();return 0;}

输出结果：

改成析构函数改成虚函数后会删除子类，而删除子类后，编译器会自动调用父类的析构函数，删除父类。

改成虚函数的代码：

class base{public:virtual void fun(){ cout << "base" << endl; }virtual ~base() { cout << "delete base" << endl; }};

输出结果：

  所以析构函数定义为虚函数是为了防止内存泄漏。