为什么父类析构函数必须为虚函数

        我们一直都在说，父类的析构函数一定要是虚函数，这样当我们在释放内存的时候才不会只析构父类，不析构子类。

        网上找了一大堆资料，都没有从原理上来说明这一点，说的都是自己编程来判断的，比如后面的博客：

        所以到底为什么呢？

        我的理解是说：

         对于A *p = new B( );  A是父类，B是子类 ，在释放p指针的时候：

        如果析构函数是虚函数，那么会去查看B对象的虚函数表，从子类开始析构，然后“每个析构函数结束时会自动（隐含地）调上父类的析构函数”，直到最顶部。

        如果析构函数不是虚函数，那么只会调用~A。

后面这篇文章是网上查找的，请移步原文查看，这篇文章没有从原理分析，但是通过编程测试的方式，告诉了读者父类析构函数不写成虚函数的时候是不可以的。

​​​​​​为什么父类析构函数必须为虚函数_doubleintfloat的博客-CSDN博客_析构函数为什么是虚函数​​​​​​

在这里先说答案，后面详细解释
1、如果父类的析构函数不是虚函数，则不会触发动态绑定（多态），结果就是只会调用父类的析构函数，而不会调用子类的析构函数，从而可能导致子类的内存泄漏（如果子类析构函数中存在free delete 等释放内存操作时）；
2、如果父类的析构函数是虚函数，则子类的析构函数一定是虚函数（即使是子类的析构函数不加virtual,这是C++的语法规则），则会在父类指针或引用指向一个子类时，触发动态绑定（多态），析构实例化对象时，若是子类则会执行子类的析构函数，同时，编译器会在子类的析构函数中插入父类的析构函数，最终实现了先调用子类析构函数再调用父类析构函数
 

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

class base
{
public:
	~base()
	{
		cout<<"父类析构函数被调用"<<endl;
	}
};

class derived:public base
{
public:
	char *m_str;
	derived()
	{
		m_str = new char(100);
	}
	~derived()
	{
		cout<<"子类的析构函数被调用"<<endl;
		delete m_str;
	}
};

int main()
{
	base *p = new derived();//父类指针指向子类对象
	delete p ;//这是只调用了父类的析构函数，未执行子类的析构函数delete m_str;造成内存泄漏

	base *m = new base();//父类指针指向父类
	delete m;//这是不会造成内存泄漏
	return 0;
}

输出：
父类析构函数被调用
父类析构函数被调用
请按任意键继续. . .

然后父类析构函数改成虚函数：

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

class base
{
public:
	virtual ~base()
	{
		cout<<"父类析构函数被调用"<<endl;
	}
};

class derived:public base
{
public:
	char *m_str;
	derived()
	{
		m_str = new char(100);
	}
	~derived()
	{
		cout<<"子类的析构函数被调用"<<endl;
		delete m_str;
	}
};

int main()
{
	base *p = new derived();//父类指针指向子类对象
	delete p ;//因为析构函数是虚函数，导致多态，调用析构函数时会在虚函数表里找，找到的是子类的析构函数，
	//调用子类的析构函数，释放内存，然后再次调用父类的析构函数，这样就不会导致内存泄漏

	return 0;
}

输出：
子类的析构函数被调用
父类析构函数被调用
请按任意键继续. . .