虚析构函数必须在基类中声明为virtual，否则通过基类指针删除派生类对象时仅调用基类析构函数，导致派生类资源泄漏；多态基类的析构函数须为virtual，且虚性自动继承。
虚析构函数必须在基类中声明为 virtual
当通过基类指针（或引用）删除派生类对象时，若基类析构函数不是 virtual，C++ 只会调用基类的析构函数，派生类的析构逻辑被跳过——这会导致资源泄漏（如未释放的堆内存、未关闭的文件句柄、未解锁的互斥量等）。
正确做法是：只要类设计为多态基类（即有 virtual 成员函数，且预期被继承和通过基类指针管理生命周期），其析构函数就必须声明为 virtual。
- 声明方式：
virtual ~Base() = default;或virtual ~Base() { /* ... */ } - 无需在派生类中显式加
virtual—— 析构函数的虚性自动继承 - 如果基类析构函数是纯虚的（
virtual ~Base() = 0;），必须提供定义（哪怕为空），否则链接失败
不加 virtual 的典型崩溃/泄漏场景
以下代码看似正常，实则危险：
class Base {
public:
~Base() { std::cout class Derived : public Base {
int* data = new int[100];
public:
~Derived() { delete[] data; std::cout <p>int main() {
Base* p = new Derived();
delete p; // ❌ 只调用 Base::~Base()，data 泄漏！
}</p>
输出只有 Base dtor，Derived dtor 完全没执行。换成 virtual ~Base() 后，输出变为：
Derived dtor Base dtor
什么时候可以不写虚析构函数？
虚析构函数只在「通过基类指针/引用销毁派生类对象」这一特定场景下必要。以下情况可省略：
- 类没有
virtual函数，也不打算被继承（如std::string、std::vector） - 类是 final（
class Base final { ... };），编译器禁止继承 - 派生类对象只通过其自身类型指针管理（
Derived* p = new Derived(); delete p;），不涉及向上转型 - 使用智能指针但类型擦除不依赖多态析构（例如
std::unique_ptr<derived></derived>，而非std::unique_ptr<base>）
虚析构函数对性能和 ABI 的影响
添加 virtual 会让类引入虚表（vtable），每个对象增加一个隐式指针开销（通常 8 字节）。但这不是拒绝虚析构的理由——它是语义正确性的前提。
真正要注意的是 ABI 兼容性：
- 一旦发布共享库（.so / .dll），给已有类新增
virtual析构函数会破坏二进制兼容性（vtable 布局改变） - 若类初始设计为可继承，应从第一个版本就声明
virtual ~Class()，哪怕当时析构体为空 - 现代 C++ 中，更推荐用
= default显式定义，避免隐式生成带来的意外行为
虚析构函数不是“优化选项”，而是多态对象生命周期管理的契约。漏掉它，问题往往延迟暴露——运行时泄漏、崩溃，或在更换编译器/标准库后突然浮现。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
