C++中的析构函数为什么要写成虚函数？（防止基类指针释放时的内存泄漏）

基类析构函数不加 virtual 会导致资源泄漏，因为用基类指针 delete 派生类对象时仅调用基类析构，跳过派生类析构逻辑，使堆内存、文件句柄等无法释放；只要存在多态删除可能（如基类被继承或用于智能指针），就必须声明为 virtual，否则引发隐蔽泄漏。

为什么基类析构函数不加 virtual 会导致资源泄漏

当用基类指针指向派生类对象，并通过该指针 delete 时，若基类析构函数不是虚函数，C++ 只会调用基类的析构函数，**完全跳过派生类的析构逻辑**。这意味着派生类中申请的堆内存、打开的文件句柄、持有的锁等资源无法被释放。

典型错误现象：

Base* p = new Derived();
delete p;  // 只调用 ~Base()，~Derived() 被静默忽略

• 派生类中 new 出来的内存不会被 delete
• std::ofstream 或 FILE* 不会关闭，可能丢失数据
• 自定义资源管理（如引用计数、GPU buffer）彻底泄露

什么情况下必须把析构函数声明为 virtual

只要存在「多态删除」的可能，就必须加 virtual。核心判断依据不是“有没有继承”，而是“会不会用基类指针/引用来管理派生类对象的生命周期”。

• 基类设计初衷是被继承（如接口类、抽象基类）→ 必须加 virtual
• 基类有至少一个 virtual 函数（除析构外）→ 析构也应为 virtual，否则行为不一致
• 基类被用于容器或智能指针（如 std::vector<:unique_ptr>>）→ 必须加 virtual
• 基类仅作工具类、无子类、不通过指针销毁 → 可不加，但加了也没坏处

加 virtual 有什么代价？

虚析构函数会让类变成多态类型，从而引入虚函数表指针（vptr），每个对象增加一个指针大小的开销（通常 8 字节）。但这只是**对象实例的内存开销**，不影响性能热点。

• 构造/析构本身开销极小：虚调用只在 delete 时发生一次，且现代编译器常能内联
• 不会影响非虚成员函数调用速度
• 唯一真实代价是：强制要求所有派生类析构函数也隐式为 virtual（符合预期）

反例：有人为省 8 字节而省略 virtual，结果导致难以追踪的资源泄漏——这远比内存开销严重得多。

正确写法与常见误区

标准写法是声明为 virtual，且推荐显式加上 = default 或空实现，避免意外生成非虚版本。

class Base {
public:
    virtual ~Base() = default;  // ✅ 推荐：简洁、明确、无副作用
    // 或
    // virtual ~Base() {}         // ✅ 也可，但不如 = default 清晰
};

• ❌ 错误：只在派生类写 virtual ~Derived()，基类没写 → 多态删除仍只调用基类析构
• ❌ 错误：基类析构写成 virtual void cleanup() 而非析构函数 → 无法自动触发，必须手动调用
• ✅ 正确：哪怕基类没有资源要清理，也要写 virtual ~Base() = default，为子类留出安全出口

最易被忽略的一点：即使你当前所有派生类都只用栈对象（Derived d;），只要未来有人把它放进 std::unique_ptr 或传给某个通用销毁函数，没加 virtual 的基类析构就会立刻变成隐患。