首先什么是虚析构,虚析构就是析构函数为虚函数。
那么为什么要用虚析构呢,是为了delete基类指针指向派生类时防止子类得数据不会被释放造成内存泄露。
我们看一下下面的例子:
首先我们定义一个数据类,MyData
class MyData
{
public:
MyData(){
m_Data = new char[10];
}
~MyData() {
delete[] m_Data;
std::cout << "Delete Data" << std::endl;
}
private:
char* m_Data = nullptr;
};
接下来定义两个继承关系的类 ObjectBase 和 Object
class ObjectBase
{
public:
ObjectBase() {
}
~ObjectBase() {
std::cout << "Delete ObjectBase" << std::endl;
}
};
class Object : public ObjectBase
{
public:
Object() {
}
~Object() {
std::cout << "Delete Object" << std::endl;
}
MyData m_Data;
};
然后我们执行下面的代码
ObjectBase *pData = new Object;
delete pData;
运行结果为:
Delete ObjectBase
可见只有类 ObjectBase 被析构了,而类 Object 并没有被析构,从而这个时候会造成内存的泄露。
如果把基类 ObjectBase 的析构函数修改为虚析构,如下所示:
class ObjectBase
{
public:
ObjectBase() {
}
virtual ~ObjectBase() {
std::cout << "Delete ObjectBase" << std::endl;
}
};
运行结果为:
Delete Object
Delete Data
Delete ObjectBase
类Object的内存就被释放了,之前我们讲了虚表,可参考之前的这篇文章:
C++中的虚表
当基类为虚基类时,派生类的对象中基类的 __vfptr 存储的为派生类的析构函数。如下图所示: