基类析构函数必须声明为virtual，否则通过基类指针delete派生类对象时仅调用基类析构函数，导致派生类资源泄漏；推荐写法是virtual ~Base() = default;。
基类指针指向派生类对象时，若基类析构函数不是 virtual，delete 会只调用基类析构函数，派生类的资源（如堆内存、文件句柄等）不会被释放——这是典型的未定义行为，不是“可能出错”，而是“一定漏释放”。
为什么非 virtual 析构函数会导致派生类资源泄漏
编译器在编译期就决定调用哪个析构函数。当指针类型是基类，而析构函数非虚时，编译器直接绑定到基类析构函数，根本不会查虚表。哪怕对象实际是派生类实例，派生类析构体内的清理逻辑（比如 delete[] m_buffer 或 fclose(m_file)）一句都不会执行。
常见错误现象：
- Valgrind 报告“definitely lost” 堆内存
- 程序运行中出现重复 close fd 错误或段错误（因二次释放或访问已释放资源）
- 调试时发现派生类析构函数断点完全不命中
什么情况下必须写 virtual 析构函数
只要满足以下任一条件，基类析构函数就必须声明为 virtual：
立即学习“C++免费学习笔记（深入）”；
- 该类设计为被继承（即有派生类）
- 存在通过基类指针或引用管理派生类对象的场景（如工厂函数返回
Base*、容器存std::unique_ptr） - 类中已有其他
virtual函数（此时已是多态接口，析构不虚会导致语义断裂）
反例：纯接口类（如 class Drawable { public: virtual void draw() = 0; }）若没写 virtual ~Drawable() = default;，用 delete ptr 就是 UB。
怎么写才安全又高效
推荐写法是：声明为 virtual + = default（C++11 起），既明确意图，又避免手写空实现带来的异常规范隐含问题：
class Base {
public:
virtual ~Base() = default; // ✅ 推荐
// virtual ~Base() {} // ⚠️ 不推荐：隐式 noexcept(false)，可能干扰移动语义
// ~Base() // ❌ 危险：非虚，子类 delete 时资源不释放
};
注意点：
- 即使基类没有成员需要清理，也必须加
virtual—— 重点不在“做什么”，而在“是否参与动态绑定” - 若类明确禁止继承，应加
final（如class Base final { ... };），此时析构可非虚，但需确保所有使用者都遵守 - 使用智能指针时（如
std::unique_ptr），析构函数是否virtual依然关键——unique_ptr的删除器默认调用delete，仍走虚函数机制
最易被忽略的一点：析构函数的 virtual 属性不会被继承，但派生类析构函数会自动成为虚函数（无论是否显式写 virtual）。所以只要基类析构是虚的，整个继承链的销毁就是安全的；但一旦基类漏了，下游所有派生类都救不回来。
