基类析构函数必须是 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，尤其当类有自定义构造函数或成员时，它更明确地表达“我没改析构逻辑，就是标准行为”。
立即学习“C++免费学习笔记（深入）”；
-
virtual ~Base() {}：手动写空函数体，编译器不会自动为成员生成析构调用（除非它们自己有析构函数），容易遗漏 -
virtual ~Base() = default;：触发编译器合成完整析构流程，确保所有非静态成员、基类子对象都被正确析构 - 如果类里有
std::unique_ptr成员，= default能保证其内部资源被释放；手写空体则不一定
delete ptr; 时虚析构没生效的常见原因
写了 virtual 还出问题？大概率不是语法错，而是调用路径绕过了虚函数机制。
典型错误现象：程序崩溃在析构阶段、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]]
虚析构不是语法装饰，它是对象生命周期管理的契约。漏掉它，问题往往延迟暴露；改错它，可能让整个动态链接生态失效。写的时候多看一眼指针类型、删的时候确认是不是基类指针——比记住规则更重要。
