不加virtual析构函数会导致通过基类指针delete派生类对象时仅调用基类析构函数，派生类析构被跳过，引发资源泄漏；只要类设计为多态基类或存在基类指针管理派生类生命周期的情况，就必须声明virtual析构函数。
基类析构函数不加 virtual 会出什么问题
直接后果：通过基类指针 delete 派生类对象时，**只调用基类析构函数，派生类析构函数被跳过**。如果派生类在构造中 new 了资源（如内存、文件句柄），这些资源不会被释放，造成内存泄漏或资源泄露。
典型错误现象：
- 程序运行无报错，但 Valgrind 报告“definitely lost”内存块
- 对象析构时本该打印的日志没出现（比如
std::cout << "dtor called";） - 多次创建销毁后，进程 RSS 内存持续上涨
什么时候必须加 virtual 析构函数
只要满足以下任一条件，基类析构函数就应声明为 virtual：
- 该类设计为多态基类（即有虚函数，或预期被继承并用基类指针管理生命周期）
- 代码中存在类似
Base* p = new Derived(); delete p;的用法 - 类被放入标准容器（如
std::vector<std::unique_ptr<Base>>），且实际存的是派生类对象
反例：纯接口类（如只有纯虚函数）或明确禁止多态使用的基类（如 final 类或仅作类型擦除辅助的工具类），可不加——但需团队强约定，否则极易误用。
立即学习“C++免费学习笔记（深入）”；
virtual 析构函数的写法与常见陷阱
正确写法是声明为 virtual + default（C++11 起推荐）或空实现，**不能是纯虚函数（= 0）除非你同时提供定义**：
class Base {
public:
virtual ~Base() = default; // ✅ 推荐：简洁、安全、支持移动语义
// virtual ~Base() {} // ✅ 也可，但略冗余
// virtual ~Base() = 0; // ❌ 错误：纯虚析构必须有定义，否则链接失败
};容易踩的坑：
- 只在派生类加
virtual，基类没加 → 多态删除仍不触发派生类析构 - 基类析构函数是
protected或private→ 导致无法delete，编译报错（destructor is protected） - 基类有虚函数但忘了加
virtual ~Base()→ 对象切片或动态删除时行为未定义
不加 virtual 的代价和替代方案
不加的“好处”仅是省掉一个虚表指针（8 字节）和虚调用开销（纳秒级），但在绝大多数面向对象设计中，这点代价远低于漏掉析构的风险。
若真想避免虚表，可考虑：
- 用模板替代继承（如
std::variant或 CRTP） - 强制使用值语义或智能指针约束（如只允许
std::shared_ptr<Derived>，禁止裸指针转型） - 用
static_assert阻止误删：static_assert(!std::is_polymorphic_v<T>, "Don't delete via base pointer");
但这些方案都增加了使用门槛；对多数项目，老老实实加 virtual ~Base() = default; 是最直接、最不易出错的选择。
真正容易被忽略的是：即使你从不显式写 delete，只要用了 std::unique_ptr<Base> 或容器存放基类指针，析构时机就由基类虚析构决定——这里不是“会不会用”，而是“编译器会不会帮你调”。
