C++虚拟析构函数为何重要【必看】

基类析构函数必须声明为virtual，否则通过基类指针delete派生类对象时仅调用基类析构函数，导致派生类资源泄漏；推荐写法是virtual ~Base() = default;。

基类指针指向派生类对象时，若基类析构函数不是 virtual，delete 会只调用基类析构函数，派生类的资源（如堆内存、文件句柄等）不会被释放——这是典型的未定义行为，不是“可能出错”，而是“一定漏释放”。

为什么非 virtual 析构函数会导致派生类资源泄漏

编译器在编译期就决定调用哪个析构函数。当指针类型是基类，而析构函数非虚时，编译器直接绑定到基类析构函数，根本不会查虚表。哪怕对象实际是派生类实例，派生类析构体内的清理逻辑（比如 delete[] m_buffer 或 fclose(m_file)）一句都不会执行。

常见错误现象：

• Valgrind 报告“definitely lost” 堆内存
• 程序运行中出现重复 close fd 错误或段错误（因二次释放或访问已释放资源）
• 调试时发现派生类析构函数断点完全不命中

什么情况下必须写 virtual 析构函数

只要满足以下任一条件，基类析构函数就必须声明为 virtual：

• 该类设计为被继承（即有派生类）
• 存在通过基类指针或引用管理派生类对象的场景（如工厂函数返回 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）。所以只要基类析构是虚的，整个继承链的销毁就是安全的；但一旦基类漏了，下游所有派生类都救不回来。