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

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

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

你可能感兴趣的:(C/C++,多态,抽象类,虚析构,纯虚析构)