基类析构函数必须是virtual,否则通过基类指针删除派生类对象时仅调用基类析构,导致派生类资源泄漏或崩溃;虚析构确保完整析构链执行。

为什么基类析构函数必须是 virtual
当用 new 创建派生类对象,却通过基类指针删除时(Base* p = new Derived(); delete p;),若基类析构函数不是 virtual,C++ 只会调用基类的析构函数,派生类的析构逻辑(比如释放成员资源、关闭文件句柄等)完全被跳过——这属于未定义行为,常见表现为内存泄漏、资源未释放、程序崩溃。
虚析构函数让 delete 能正确触发完整的析构链:先调派生类析构,再自动调基类析构。
- 只要类设计为多态基类(即有
virtual成员函数,或预期被继承并用基类指针管理生命周期),就必须声明virtual ~Base() = default;或提供空实现 - 纯虚析构函数也合法:
virtual ~Base() = 0;,但必须在类外定义(哪怕为空):Base::~Base() {} - 如果类明确不作为基类使用(如
final类、无虚函数、仅用于值语义),则无需虚析构
虚析构函数和 = default 的兼容性问题
= default 在虚析构上是安全且推荐的写法,但要注意编译器版本和隐式规则:
- C++11 起支持
virtual ~Base() = default;,它生成的是公有、非平凡、虚的析构函数 - 若类中手动定义了拷贝/移动操作,编译器可能不再自动生成默认析构,此时显式写
= default更清晰 - 错误写法:
virtual ~Base() = default;放在私有区(编译报错:虚析构必须可访问) - 注意:即使析构函数是
= default,只要带virtual关键字,就参与动态绑定,不影响多态删除的安全性
delete void* 指针时虚析构是否起作用
不起作用。虚析构只在通过指向对象的「具体类型指针」(如 Base*)调用 delete 时生效;若指针类型是 void*,编译器无法得知实际类型,也就无法查虚表、无法调用正确的析构函数。
立即学习“C++免费学习笔记(深入)”;
- 典型反模式:
void* p = new Derived(); delete static_cast→ 编译失败;(p); delete reinterpret_cast才可能工作,但已丧失类型安全(p); - 真正安全的做法是避免裸
void*管理多态对象生命周期;改用std::unique_ptr或封装成类型擦除容器(如std::any/ 自定义 handle) - 底层系统 API(如 Windows 的
SetWindowLongPtr存指针)常需绕过类型系统,此时必须额外维护类型信息,并在取回后强制转回原类型再delete
RAII 下虚析构是否多余
不多余。RAII 解决的是“资源获取即初始化”,而虚析构解决的是“通过基类指针安全销毁派生对象”——这是两个不同层面的问题。
- 即使所有资源都由
std::unique_ptr、std::fstream等 RAII 类型管理,若你仍用Base* p = new Derived(); delete p;,没有虚析构照样漏掉派生类中非 RAII 部分的清理逻辑(比如日志记录、状态重置、第三方 SDK 的反注册) - 现代 C++ 更推荐避免裸
new/delete,改用std::make_unique配合虚析构,既保安全又免手动管理() - 一个容易忽略的点:模板基类(如
template)若要支持多态删除,其析构函数也得是class Handle virtual,否则特化后的子类仍面临同样问题
虚析构不是“写了就万事大吉”的装饰,它生效的前提是:指针类型是基类、对象是派生类、且删除动作发生在多态上下文中。漏掉任意一环,风险照旧。











