虚析构函数是在基类析构函数前加virtual,确保通过基类指针删除派生类对象时能正确调用派生类析构函数,防止资源泄漏和未定义行为。

在C++的继承体系中,虚析构函数是一个关键机制,用于确保通过基类指针删除派生类对象时,能够正确调用派生类的析构函数,避免资源泄漏或未定义行为。
什么是虚析构函数
虚析构函数就是在基类的析构函数前加上 virtual 关键字。一旦声明为虚函数,该析构函数就具备多态性,意味着在运行时会根据对象的实际类型调用对应的析构函数。
例如:
class Base {
public:
virtual ~Base() {
// 基类析构逻辑
}
};
class Derived : public Base {
public:
~Derived() {
// 派生类析构逻辑(自动被调用)
}
};
当使用 Base* ptr = new Derived; 并调用 delete ptr; 时,由于析构函数是虚函数,程序会先调用 ~Derived(),再调用 ~Base(),完成完整的清理流程。
立即学习“C++免费学习笔记(深入)”;
为什么需要虚析构函数
如果基类的析构函数不是虚函数,而通过基类指针删除一个派生类对象,那么只有基类的析构函数会被调用,派生类的析构函数将被忽略。这会导致:
- 派生类中分配的资源(如内存、文件句柄等)无法释放,造成资源泄漏。
- 行为未定义(undefined behavior),可能引发程序崩溃或数据损坏。
示例说明问题:
class Base {
public:
~Base() { cout << "Base destroyed\n"; }
};
class Derived : public Base {
int* data;
public:
Derived() { data = new int[100]; }
~Derived() { delete[] data; cout << "Derived destroyed\n"; }
};
// 使用
Base* ptr = new Derived();
delete ptr; // 只调用 ~Base(),~Derived() 不执行!data 内存泄漏
此时 data 的内存永远不会被释放,因为派生类析构函数没被调用。
何时必须声明虚析构函数
只要一个类设计为被继承,并且预期通过基类指针删除派生类对象,就必须将析构函数声明为虚函数。典型场景包括:
- 类中包含虚函数(表明该类用于多态)
- 类作为接口或抽象基类
- 使用智能指针(如 shared_ptr
)管理派生类对象
即使析构函数为空,也应加 virtual 以保证安全。
性能与注意事项
虚析构函数会引入虚函数表(vtable)的开销,每个对象增加一个指针大小。但对于多态类来说,这个代价是值得的,远小于资源泄漏的风险。
建议:
- 若类是多态基类,始终声明虚析构函数
- 可将析构函数设为 virtual 且非纯虚,除非你想让它成为抽象类
- 即使没有显式操作,也写一个空的虚析构函数实现
基本上就这些。虚析构函数虽小,但在继承体系中至关重要,能确保对象销毁过程完整、安全。不复杂但容易忽略。











