C++ - 虚析构和纯虚析构

1. 为什么需要虚析构函数

多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用到子类的析构代码

#include <iostream>
#include <stdlib.h>
#include <string>

using namespace std;

class Animal {
public:

	Animal()
	{
		cout << "Animal 构造函数调用！" << endl;
	}

	virtual void Speak() = 0;

	~Animal()
	{
		cout << "Animal 析构函数调用！" << endl;
	}
};


class Cat : public Animal
{
public:

	Cat(string name)
	{
		cout << "Cat 构造函数调用！" << endl;
		m_Name = new string(name);
	}

	virtual void Speak()
	{
		cout << *m_Name << "小猫在说话!" << endl;
	}

	~Cat()
	{
		cout << "Cat 析构函数调用!" << endl;
		if (this->m_Name != NULL)
		{
			delete m_Name;
			m_Name = NULL;
		}
	}

public:
	string* m_Name;
};

void test01()
{
	Animal* animal = new Cat("Tom");
	animal->Speak();

	//通过父类指针去释放，会导致子类对象可能清理不干净，造成内存泄漏
	//怎么解决？给基类增加一个虚析构函数
	//虚析构函数就是用来解决通过父类指针释放子类对象
	delete animal;
}

int main()
{
	test01();

	system("pause");
	return 0;
}

执行结果如下：

分析：

在析构的时候，只是调用了父类的析构函数，并没有调用子类的析构函数。这样，子类在堆区开辟的空间就无法释放，造成内存泄露。

2. 引入虚析构解决父类指针释放，子类对象在堆区空间未清理

只需要在基类析构函数前加virtual关键字即可

可以看到运行结果已经正常：

3. 纯虚析构

同一个类中，虚析构和纯虚析构只有有一个存在，将上面的虚析构改为纯虚析构：

class Animal
{
public:
 
	Animal()
	{
		cout << "Animal 构造函数调用！" << endl;
	}
	virtual void Speak() = 0;
 
	virtual ~Animal() = 0;
};
 
Animal::~Animal()
{
	cout << "Animal 纯虚析构函数调用！" << endl;
}

纯虚析构一定要有具体的实现，如果没有的话编译会报错。

4. 总结

虚析构和纯虚析构共性：

• 可以解决父类指针释放子类对象
• 都需要有具体的函数实现

虚析构和纯虚析构区别：

• 如果是纯虚析构，该类属于抽象类，无法实例化对象

1. 虚析构或纯虚析构就是用来解决通过父类指针释放子类对象

2. 如果子类中没有堆区数据，可以不写为虚析构或纯虚析构

3. 拥有纯虚析构函数的类也属于抽象类