C++虚析构和纯虚析构问题小记

为什么析构函数可以为虚函数，如果不设为虚函数可能会存在什么问题？
  在我们使用多态的时候，当我们不对父类析构函数做额外操作的话，它仅仅是析构父类自身，不会调用子类的析构，所以可能会导致释放不干净，存在内存泄露的问题；但是对父类的析构函数加上virtual关键字，就成了虚析构，这样就可以在多态中，连同子类一起析构了。

举例说明：

//子类B继承自基类A；
A *p = new B; 
delete p;

1） 此时，如果类A的析构函数不是虚函数，那么delete p；将会仅仅调用A的析构函数，只释放了B对象中的A部分，而派生出的新的部分未释放掉。
2） 如果类A的析构函数是虚函数，delete p; 将会先调用B的析构函数，再调用A的析构函数，释放B对象的所有空间。
补充：

---

  纯虚析构函数和普通的纯虚函数写法一样，就是有一点区别是必须要为纯虚析构函数提供一个函数体，且是类内声明，类外实现。如果函数中出现了 纯虚析构函数，那么这个类也算抽象类，不能创建对象。

#include<iostream>
using namespace std;

class Animal{
public:
	virtual void speak(){
		cout << "动物在说话" << endl;
	}
	//普通析构 是不会调用子类的析构的，所以可能会导致释放不干净
	//利用虚析构来解决这个问题
	//virtual ~Animal()
	//{
	//	cout << "Animal的析构调用" << endl;
	//}
	//纯虚析构 写法如下 
	//纯虚析构 ，需要声明 还需要实现 类内声明，类外实现
	virtual ~Animal() = 0;
	//如果函数中出现了 纯虚析构函数，那么这个类也算抽象类
	//抽象类 不可实例化对象
};
Animal::~Animal(){
	//纯虚析构函数实现
	cout << "Animal的纯虚析构调用" << endl;
}
// 如果出现纯虚析构，类也算抽象类，不能实例化对象
//void func()
//{
//	Animal an;
//	Animal * animal = new Animal;
//}

class Cat :public Animal{
public:
	Cat(const char * name) {
		this->m_Name = new char[strlen(name) + 1];
		strcpy(this->m_Name, name);
	}
	virtual void speak() {
		cout << "小猫在说话" << endl;
	}
	~Cat() {
		cout << "Cat的析构调用" << endl;
		if (this->m_Name != NULL) {
			delete[] this->m_Name;
			this->m_Name = NULL;
		}
	}
	char * m_Name;
};
void test01() {
	Animal * animal = new Cat("TOM");
	animal->speak();
	delete animal;
}

int main() {
	test01();
	return EXIT_SUCCESS;
}

注意：
如果类的目的不是为了实现多态，作为基类来使用，就不要声明虚析构函数，反之，则应该为类声明虚析构函数。