简述虚析构函数与纯虚析构函数

基础知识：

C++中，一个类在建成时，需要有构造函数初始化。即当一个类的对象在生成时，会先调用构造函数初始化，再执行接下来的其他函数。而在一个类的对象指针被释放的时候，会调用析构函数。即使析构函数不被声明，也会隐式调用析构函数。

---

那么，当一个派生类继承了一个基类，这时候调用析构函数，会发生什么呢？

#include <iostream>
using namespace std;
class A{
	public:
		A(){
			cout<<"构造函数A"<<endl;
		}
		~A(){
			cout<<"虚构函数A"<<endl;
		}
};
class B: public A{
	public:
		B(){
			cout<<"构造函数B"<<endl;
		}
		~B(){
			cout<<"析构函数B"<<endl;
		}
};
int main(){
	A *a = new B();
	delete a;
}

结果是：

可见，如此声明并不会调用派生类B的析构函数，那么，在delete的时候会造成内存泄露。

怎么解决这个问题？

#include <iostream>
using namespace std;
class A{
	public:
		A(){
			cout<<"构造函数A"<<endl;
		}
		virtual ~A(){
			cout<<"虚构函数A"<<endl;
		}
};
class B: public A{
	public:
		B(){
			cout<<"构造函数B"<<endl;
		}
		~B(){
			cout<<"析构函数B"<<endl;
		}
};
int main(){
	A *a = new B();
	delete a;
}

结果是：

所以我们知道，虚析构函数的作用就是在类的继承时，防止释放内存时忘记释放派生类的对象。 

---

那什么是纯虚析构函数？

其实和虚析构函数无差别，就是声明之后，必须在类外实现的析构函数而已。只是这个析构函数不能在子类中实现，必须在类外实现。

#include <iostream>
using namespace std;
class A{
	public:
		A(){
			cout<<"构造函数A"<<endl;
		}
		virtual ~A() = 0;
};

class B: public A{
	public:
		B(){
			cout<<"构造函数B"<<endl;
		}
		~B();
};
A::~A(){
	cout<<"纯虚析构函数A"<<endl;
}
B::~B(){
	cout<<"析构函数B"<<endl;
}
int main(){
	A *a = new B;
	delete a;
}

 

虚函数表