析构函数什么时候需要设计成虚函数？

原因：当我们 new 一个子类，然后让基类指针指向子类对象，释放基类指针可以释放掉子类的空间，防止内存泄漏。

---

目录

1、场景介绍

 2、问题解决及分析

---

1、场景介绍

此时我们释放 p 的时候，调用的是父类的析构函数，此时释放的只是父类对象的资源，子类成员没有被释放，此时很有可能会造成内存泄漏。我们原本希望的是，调用子类的析构函数，一次将父类成员和子类成员一起释放掉。

class Person
{
public:
	~Person() {
		cout << "~Person()" << endl;
	}
};

class Student:public Person
{
public:
	~Student() {
		cout << "~Student()" << endl;
	}
private:
	int* _a = new int[10];      
};

int main()
{
	Person* p = new Student;	// 子类的对象动态开辟，并交由父类指针管理

	delete p;
    p = nullptr;

	return 0;
}

这里调用 父类析构函数的原因是，将子类指针赋给父类指针，这就属于“切片行为”了，其实就是让父类指针去指向子类继承父类的那块空间，调用的自然就是父类的析构函数。

2、问题解决及分析

我们只需要将父类的析构函数设计成虚函数即可。

class Person
{
public:
	virtual ~Person() {
		cout << "~Person()" << endl;
	}
};

还记得构成多态的两个条件么：

• 将子类的指针赋给父类指针
• 子类的虚函数重写父类的同名虚函数。

第二点额外补充一句，编译的时候，析构函数的函数名会被统一成destructor，同名就达成了；子类因为继承了父类虚函数的属性，即便不加 virtual，只要父类同名函数加了virtual，子类的也算是虚函数。

刚好这里都满足了，构成多态以后，调用析构函数的时候，要看等号右边是谁的对象，很显然是Student类的对象，此时调用的就是 Student 类的析构函数。（至于原因需要了解多态的原理）