不加virtual析构函数会导致通过基类指针delete派生类对象时仅调用基类析构函数，派生类析构被跳过，引发资源泄漏；只要类设计为多态基类或存在基类指针管理派生类生命周期的情况，就必须声明virtual析构函数。

基类析构函数不加 virtual 会出什么问题

直接后果：通过基类指针 delete 派生类对象时，**只调用基类析构函数，派生类析构函数被跳过**。如果派生类在构造中 new 了资源（如内存、文件句柄），这些资源不会被释放，造成内存泄漏或资源泄露。

典型错误现象：

• 程序运行无报错，但 Valgrind 报告“definitely lost”内存块
• 对象析构时本该打印的日志没出现（比如 std::cout ）
• 多次创建销毁后，进程 RSS 内存持续上涨

什么时候必须加 virtual 析构函数

只要满足以下任一条件，基类析构函数就应声明为 virtual：

• 该类设计为多态基类（即有虚函数，或预期被继承并用基类指针管理生命周期）
• 代码中存在类似 Base* p = new Derived(); delete p; 的用法
• 类被放入标准容器（如 std::vector<:unique_ptr>>），且实际存的是派生类对象

反例：纯接口类（如只有纯虚函数）或明确禁止多态使用的基类（如 final 类或仅作类型擦除辅助的工具类），可不加——但需团队强约定，否则极易误用。

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，禁止裸指针转型）
• 用 static_assert 阻止误删：static_assert(!std::is_polymorphic_v, "Don't delete via base pointer");

但这些方案都增加了使用门槛；对多数项目，老老实实加 virtual ~Base() = default; 是最直接、最不易出错的选择。

真正容易被忽略的是：即使你从不显式写 delete，只要用了 std::unique_ptr 或容器存放基类指针，析构时机就由基类虚析构决定——这里不是“会不会用”，而是“编译器会不会帮你调”。