多态使用与内存泄漏

一、多态使用时导致的内存泄漏

多态使用时，
如果子类中有属性开辟到堆区，
那么父类指针在释放时无法调用到子类的析构代码，
从而导致内存泄漏。

内存泄漏case：

#include <iostream>
using namespace std;

class Animal {
public:

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

};


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;
};



int main() {

	Animal *animal = new Cat("Tom"); // Animal 构造函数调用 和 Cat构造函数调用
	animal->Speak(); // Tom小猫在说话!
	//通过父类指针去释放，会导致子类对象可能清理不干净，造成内存泄漏
	delete animal;
	return 0;
}

输出结果为：

可知这里缺了 Cat 析构函数调用！，因此可以确认上面的代码存在内存泄漏！

Animal 构造函数调用！
Cat 构造函数调用！
Tom小猫在说话!
Animal 析构函数调用！

二、解决多态使用导致的内存泄漏问题

1、解决方法：

将父类中的析构函数改为 虚析构或者 纯虚析构！

虚析构语法：
virtual ~类名(){}

纯虚析构语法：
virtual ~类名() = 0;
类名::~类名(){}

2、虚析构和纯虚析构共性：

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

3、虚析构和纯虚析构区别：

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

虚析构函数解法：

#include <iostream>
using namespace std;

class Animal {
public:

	Animal()
	{
		cout << "Animal 构造函数调用！" << endl;
	}
	
    virtual ~Animal()  // 这里加上 virtual ，变成虚析构函数，就能解决内存泄漏问题了
	{
		cout << "Animal 析构函数调用！" << endl;
	}
	
	//纯虚函数
	virtual void Speak() = 0;
	

};


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;
};



int main() {

	Animal *animal = new Cat("Tom"); // Animal 构造函数调用 和 Cat构造函数调用
	animal->Speak(); // Tom小猫在说话!
	//通过父类指针去释放，会导致子类对象可能清理不干净，造成内存泄漏
	delete animal;
	return 0;
}

输出结果为：

Animal 构造函数调用！
Cat 构造函数调用！
Tom小猫在说话!
Cat 析构函数调用! // 成功清理堆区数据了
Animal 析构函数调用！

纯虚析构函数解法：

#include <iostream>
using namespace std;

class Animal {
public:

	Animal()
	{
		cout << "Animal 构造函数调用！" << endl;
	}
	
	
	//纯虚析构函数
	//有了这个纯虚析构函数，这个类就属于抽象类，无法实例化对象
	virtual ~Animal() = 0;
	
	//纯虚函数
	virtual void Speak() = 0;
	

};

//这个纯虚析构函数，需要声明，也需要具体实现
//这是因为父类也可能在堆区开辟数据，如果开辟了数据就需要程序猿自行清理
//这就意味着： 不管是 虚析构函数 还是 纯虚析构函数，都需要代码实现
//纯虚析构函数的实现放这里
Animal::~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;
};



int main() {

	Animal *animal = new Cat("Tom"); // Animal 构造函数调用 和 Cat构造函数调用
	animal->Speak(); // Tom小猫在说话!
	//通过父类指针去释放，会导致子类对象可能清理不干净，造成内存泄漏
	delete animal;
	return 0;
}

输出结果为：

Animal 构造函数调用！
Cat 构造函数调用！
Tom小猫在说话!
Cat 析构函数调用! // 也能成功清理堆区数据了
Animal 纯虚析构函数调用！