【C/C++】虚析构和纯虚析构

纯虚析构的问题

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

解决方式：将父类中的析构函数改为虚析构或者纯虚析构

虚析构和纯虚析构共性：

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

虚析构和纯虚析构区别：

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

虚析构语法：

virtual ~类名(){}

纯虚析构语法：

virtual ~类名() = 0;

类名::~类名(){}

示例：

class Animal {
public:

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

	//析构函数加上virtual关键字，变成虚析构函数
	//virtual ~Animal()
	//{
	//	cout << "Animal虚析构函数调用！" << endl;
	//}


	virtual ~Animal() = 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;
};

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

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

int main() {

	test01();

	system("pause");

	return 0;
}

注意：即使是纯虚析构也需要有具体的实现。因为包含纯虚函数的类为抽象类，被继承后，在派生类析构函数被调用时抽象类析构函数也将被调用，因此必须有实现。唯一麻烦就是必须在类的定义之外（cpp文件）实现它。

总结：

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

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

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

纯虚函数的实现案例：纯虚析构函数必须有实现

纯虚函数可以有实现：唯一麻烦就是必须在类的定义之外（cpp文件）实现它。
申明一个函数为纯虚并不意味着它没有实现，它意味着：

• 当前类是抽象类 ；
• 任何从此类派生的实体类必须将此函数申明为一个“普通”的虚函数（也就是说，
  不能带“= 0”）。

1、纯虚函数例子：

声明一个pure virtual 函数的目的是为了让 derived classes 只继承函数接口，派生类必须提供实现。
可以为pure virtual函数提供实现，但使用时需要指明所属类，如：

//.h
class A{
public:
	virtual void func1() = 0;
};
class B : public A{
public:
	virtual void func1(){A::func1();};
};

//.cpp
void A::func1(){..........}


B b;
b.A::func1(); // 与b.func1()结果相同，相当于提供了缺省实现，但派生类需要主动指定。

2、纯虚析构函数必须有实现：

因为包含纯虚函数的类为抽象类，被继承后，在派生类析构函数被调用时抽象类析构函数也将被调用，因此必须有实现。

class A{
public:
	virtual ~A() = 0;
};

//.cpp
A::~A(){...}

总结：
1、纯虚函数可以有实现，但必须在类的定义之外（cpp文件）实现。
2、纯虚析构函数必须有实现。

参考链接：
纯虚函数的实现案例：纯虚析构函数必须有实现