虚析构函数解决通过基类指针删除派生类对象时派生类析构逻辑被跳过的问题，防止资源泄漏和未定义行为。
当用基类指针删除派生类对象时，若基类析构函数不是虚函数，派生类的析构逻辑将被跳过，导致资源未释放、内存泄漏甚至未定义行为。虚析构函数是C++多态销毁场景下保障资源正确释放的强制约定。
虚析构函数解决什么问题
核心问题是“通过基类指针 delete 派生类对象”时的析构行为不完整。C++规定：非虚析构函数只调用当前指针静态类型的析构函数，不会自动触发派生类部分。
例如：
class Base {
public:
~Base() { cout };
class Derived : public Base {
int* data;
public:
Derived() : data(new int[100]) {}
~Derived() { delete[] data; cout };
Base* p = new Derived();
delete p; // 仅调用 Base::~Base()，data 泄漏！
立即学习“C++免费学习笔记（深入）”；
什么时候必须声明为虚析构函数
只要一个类设计为多态基类（即预期有派生类，并通过基类指针/引用管理对象生命周期），就必须将析构函数声明为 virtual。
- 类中已有至少一个 virtual 成员函数（典型多态接口）
- 类被明确用作继承体系的顶层或中间基类
- 存在 std::unique_ptr
或 std::shared_ptr 管理派生类对象 - 函数参数或容器中存储的是 Base* 或 Base&，且可能指向派生类实例
虚析构函数的写法与细节
声明简单，但需注意几个关键点：
- 只需在基类中加 virtual，派生类析构函数自动成为虚函数（即使不显式写 virtual）
- 建议同时加 = default 或提供空实现，避免编译器生成非虚版本
- 若类不含其他虚函数，仅为了安全析构而加 virtual，仍值得——析构的正确性优先级高于微小开销
- 纯虚析构函数也是合法的：virtual ~Base() = 0;，但必须在类外提供定义（哪怕空实现）
不加虚析构的真实风险不止于内存泄漏
除了动态分配内存未释放，还可能引发：
- 文件句柄、socket、数据库连接未关闭
- 互斥锁未解锁，造成死锁
- 自定义资源管理器（如 RAII 封装）的 cleanup 逻辑被跳过
- 对象内部状态不一致，后续访问触发崩溃或数据损坏
这些都不是“可能出错”，而是在标准规定下“必然不执行”，属于确定性缺陷。
基本上就这些。虚析构函数不是可选项，而是多态类设计的底线要求。它不增加复杂度，却堵住了一个隐蔽而严重的资源管理漏洞。
