c++中如何使用虚析构函数_c++为什么需要虚析构函数【指南】

虚析构函数必须在基类中声明为virtual，否则通过基类指针删除派生类对象时仅调用基类析构函数，导致派生类资源泄漏；多态基类的析构函数须为virtual，且虚性自动继承。

虚析构函数必须在基类中声明为 virtual

当通过基类指针（或引用）删除派生类对象时，若基类析构函数不是 virtual，C++ 只会调用基类的析构函数，派生类的析构逻辑被跳过——这会导致资源泄漏（如未释放的堆内存、未关闭的文件句柄、未解锁的互斥量等）。

正确做法是：只要类设计为多态基类（即有 virtual 成员函数，且预期被继承和通过基类指针管理生命周期），其析构函数就必须声明为 virtual。

• 声明方式：virtual ~Base() = default; 或 virtual ~Base() { /* ... */ }
• 无需在派生类中显式加 virtual —— 析构函数的虚性自动继承
• 如果基类析构函数是纯虚的（virtual ~Base() = 0;），必须提供定义（哪怕为空），否则链接失败

不加 virtual 的典型崩溃/泄漏场景

以下代码看似正常，实则危险：

class Base {
public:
    ~Base() { std::cout << "Base dtor\n"; }
};
class Derived : public Base {
int* data = new int[100];
public:
~Derived() { delete[] data; std::cout << "Derived dtor\n"; }
};
int main() {
Base* p = new Derived();
delete p; // ❌ 只调用 Base::~Base()，data 泄漏！
}

输出只有 Base dtor，Derived dtor 完全没执行。换成 virtual ~Base() 后，输出变为：

Derived dtor
Base dtor

什么时候可以不写虚析构函数？

虚析构函数只在「通过基类指针/引用销毁派生类对象」这一特定场景下必要。以下情况可省略：

• 类没有 virtual 函数，也不打算被继承（如 std::string、std::vector）
• 类是 final（class Base final { ... };），编译器禁止继承
• 派生类对象只通过其自身类型指针管理（Derived* p = new Derived(); d

  

  elete p;），不涉及向上转型
• 使用智能指针但类型擦除不依赖多态析构（例如 std::unique_ptr，而非 std::unique_ptr）

虚析构函数对性能和 ABI 的影响

添加 virtual 会让类引入虚表（vtable），每个对象增加一个隐式指针开销（通常 8 字节）。但这不是拒绝虚析构的理由——它是语义正确性的前提。

真正要注意的是 ABI 兼容性：

• 一旦发布共享库（.so / .dll），给已有类新增 virtual 析构函数会破坏二进制兼容性（vtable 布局改变）
• 若类初始设计为可继承，应从第一个版本就声明 virtual ~Class()，哪怕当时析构体为空
• 现代 C++ 中，更推荐用 = default 显式定义，避免隐式生成带来的意外行为

虚析构函数不是“优化选项”，而是多态对象生命周期管理的契约。漏掉它，问题往往延迟暴露——运行时泄漏、崩溃，或在更换编译器/标准库后突然浮现。