虚析构函数能防止多态内存泄漏，因为通过基类指针 delete 派生类对象时，它确保先调用派生类析构函数再调用基类析构函数，从而正确释放派生类中申请的资源。
虚析构函数为什么能防止多态内存泄漏
当用基类指针指向派生类对象并 delete 时，若基类析构函数不是虚函数，C++ 只会调用基类的析构函数，派生类中申请的资源（如 new 出的内存、打开的文件句柄等）不会被释放，直接导致内存泄漏或资源泄露。
虚析构函数的作用就是让析构行为也支持动态绑定：哪怕通过基类指针删除对象，也能正确触发派生类析构函数 → 基类析构函数 → 逐层向上完成清理。
- 只在有继承关系且**多态删除**（即用基类指针/引用 delete 派生类对象）时才需要虚析构函数
- 纯虚析构函数也是合法的，但必须提供定义（哪怕为空），否则链接失败：
virtual ~Base() = 0; // 声明
Base::~Base() {} // 定义，不可省略 - 如果类不作为基类使用（无子类）、或从不通过基类指针 delete 对象，虚析构函数不是必需的，加了反而有轻微虚表开销
不写虚析构函数的真实崩溃场景
典型错误代码：
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"; }
};
Base* p = new Derived();
delete p; // 只输出 "Base dtor"，data 泄露！
运行后不会报错，但 data 指向的 100 个 int 内存永远无法回收。这种泄漏在长期运行服务或频繁创建销毁对象时会逐渐耗尽内存。
立即学习“C++免费学习笔记（深入）”；
- Clang/GCC 在编译时若检测到“非虚析构 + 继承 + public 继承”，可能给出
-Wnon-virtual-dtor警告（建议开启） - 静态分析工具（如 clang-tidy）会检查
cppcoreguidelines-special-member-functions规则，提示缺失虚析构 - ASan（AddressSanitizer）无法捕获这类泄漏，因为
delete本身没越界，只是漏掉了派生类清理逻辑
哪些情况可以不加虚析构函数
不是所有基类都要加虚析构函数。关键看是否允许“通过基类指针 delete 派生类对象”。
-
std::string、std::vector等标准容器类没有虚析构函数，因为它们**不设计为被继承**（C++20 起还加了final） - 策略类（如
std::less）、函数对象类，通常按值传递，不涉及多态删除 - 基类仅用于接口定义，但对象生命周期由智能指针或容器管理，且明确禁止 raw pointer 删除（例如只暴露
std::shared_ptr接口） - 类被标记为
final，编译器可确定无派生类，虚析构失去意义
现代 C++ 中更安全的替代方案
虚析构函数是解决多态删除泄漏的底层机制，但实际工程中应尽量避免裸指针多态删除。
- 优先用
std::shared_ptr或std::unique_ptr，它们默认支持虚析构语义（只要Base::~Base()是虚的） - 若基类析构已为虚函数，
std::unique_ptr可安全管理派生类对象：std::unique_ptr
p = std::make_unique (); // OK - 接口设计上，考虑用组合代替继承；或把资源管理逻辑下沉到 RAII 成员（如
std::vector替代int*），即使析构非虚，资源也会随成员自动释放
虚析构函数本身很简单，但它的存在意义常被低估——它不是语法装饰，而是多态对象生命周期管理的契约起点。一旦打破这个契约，泄漏往往静默发生，排查成本远高于预防成本。
