基类析构函数必须是 virtual，否则通过基类指针 delete 派生类对象时，派生类析构函数不会被调用，导致资源泄漏、内存未释放等未定义行为；只要类可能被继承且通过基类指针管理生命周期，就应声明 virtual ~Base() = default;。

为什么基类析构函数必须是 virtual

不加 virtual 的基类析构函数，会导致派生类对象通过基类指针删除时，派生类部分的析构函数根本不会被调用——内存没释放、资源没清理、对象状态残留，典型未定义行为。

常见错误现象：delete ptr; 看似执行了，但派生类里的 std::vector 没析构、文件句柄没关闭、自定义缓冲区没 free，跑一段时间就崩或泄漏。

• 只要类设计为被继承（哪怕当前没写子类），且可能通过基类指针/引用管理生命周期，就必须声明 virtual ~Base() = default;
• 如果类明确禁止继承（比如加了 final），析构函数不用 virtual，加了反而误导后续维护者
• 纯虚析构函数写法合法但少见：virtual ~Base() = 0;，此时必须在类外提供定义（哪怕空实现），否则链接失败

virtual ~Base() 和 virtual ~Base() = default 的区别

两者都生成虚析构函数，但语义和行为不同：前者显式委托编译器生成默认行为；后者是用户主动声明“我确认这里该用默认析构”，且能避免某些隐式规则干扰。

使用场景：C++11 及以后推荐用 = default，尤其当类有自定义构造函数或成员时，它更明确地表达“我没改析构逻辑，就是标准行为”。

• virtual ~Base() {}：手动写空函数体，编译器不会自动为成员生成析构调用（除非它们自己有析构函数），容易遗漏
• virtual ~Base() = default;：触发编译器合成完整析构流程，确保所有非静态成员、基类子对象都被正确析构
• 如果类里有 std::unique_ptr 成员，= default 能保证其内部资源被释放；手写空体则不一定

delete ptr; 时虚析构没生效的常见原因

写了 virtual 还出问题？大概率不是语法错，而是调用路径绕过了虚函数机制。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

典型错误现象：程序崩溃在析构阶段、Valgrind 报“still reachable”、调试发现派生类析构函数断点根本没命中。

• 用的是值传递或栈对象：Base b = Derived(); → 发生切片，b 就是纯 Base 对象，删它不需要虚析构
• 指针类型不是基类指针：Derived* d = new Derived(); delete d; → 直接调用 Derived::~Derived()，跟虚函数表无关
• 基类指针实际指向的对象内存已被提前释放或越界覆盖，虚表指针损坏，调用跳转失败
• 多继承下未正确定义虚析构：若类从多个带虚函数的基类继承，至少一个基类析构没设 virtual，可能破坏虚表布局

虚析构对性能和 ABI 的影响

加 virtual 会让类变成多态类型，带来两个可测影响：对象尺寸增加（通常 +8 字节，含虚表指针），以及每次通过指针调用析构必须查虚表（但现代 CPU 分支预测很准，实际开销极小）。

真正要注意的是 ABI 兼容性：一旦发布共享库接口，基类加了 virtual ~Base()，就再不能删掉——否则下游链接的二进制会因虚表偏移错乱而崩溃。

• 静态库不受影响，因为重链接时符号重新解析
• 头文件中声明虚析构即承诺该类支持多态销毁，后续所有版本都必须保持该虚函数存在（哪怕改成 = default 或空实现）
• 如果未来想移除虚析构，唯一安全方式是定义新类名，旧类保留虚析构并标记为 [[deprecated]]

虚析构不是语法装饰，它是对象生命周期管理的契约。漏掉它，问题往往延迟暴露；改错它，可能让整个动态链接生态失效。写的时候多看一眼指针类型、删的时候确认是不是基类指针——比记住规则更重要。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！