34. 内存泄漏常见模式：虚析构函数缺失

说实话，虚析构函数缺失这个问题，我见过太多次了。它就像一个隐形杀手，代码编译没问题，运行也正常，但内存就像沙漏里的沙子，一点点漏掉。等程序跑上几天几夜，突然崩溃，你才意识到出大事了。

今天我们就来彻底聊聊这个模式。为什么一个看似不起眼的 virtual 关键字，能引发如此严重的后果？

问题的本质：谁在调用析构函数？

先看一个最典型的场景。你写了一个基类，然后派生了一个子类。你用基类指针指向子类对象，最后通过这个指针来删除对象。嗯，这里就是关键了——析构函数到底调用的是谁的版本？

我直接说结论：如果基类的析构函数不是虚函数，那么通过基类指针删除派生类对象时，只会调用基类的析构函数，而不会调用派生类的析构函数。

为什么会这样？因为 C++ 的静态绑定机制。编译器看到指针类型是 Base*，它就老老实实去调用 Base::~Base()。至于指针实际指向的是 Derived 对象？编译器不管，它只认类型。

代码示例：一个活生生的教训

来看这段代码。我个人习惯在写基类时，第一件事就是检查析构函数有没有加 virtual。为什么？因为吃过亏。

#include <iostream>
#include <vector>

class Base {
public:
    Base() { std::cout << "Base constructor\n"; }
    // 注意：这里没有 virtual！
    ~Base() { std::cout << "Base destructor\n"; }
};

class Derived : public Base {
private:
    int* bigArray;
public:
    Derived() {
        std::cout << "Derived constructor\n";
        bigArray = new int[1000];  // 申请了 1000 个 int
    }
    ~Derived() {
        std::cout << "Derived destructor\n";
        delete[] bigArray;  // 释放内存
    }
};

int main() {
    Base* ptr = new Derived();  // 基类指针指向派生类对象
    delete ptr;                 // 危险！只调用了 Base 的析构函数
    return 0;
}

输出结果：

Base constructor
Derived constructor
Base destructor

看到了吗？Derived destructor 根本没有打印出来！bigArray 指向的那块内存，就这么永远地丢失了。每次执行这段代码，就泄漏 4000 字节（假设 int 是 4 字节）。程序跑得越久，泄漏越多。

解决方案：一个 virtual 就够了

修复方法极其简单——在基类的析构函数前加上 virtual 关键字：

class Base {
public:
    Base() { std::cout << "Base constructor\n"; }
    virtual ~Base() { std::cout << "Base destructor\n"; }  // 加个 virtual
};

现在输出变成：

Base constructor
Derived constructor
Derived destructor
Base destructor

完美！派生类的析构函数被正确调用了，bigArray 的内存也释放了。

什么时候必须加 virtual？

我总结了一个简单的判断规则，你想想看：

场景	是否需要 virtual 析构函数？	原因
基类有虚函数（多态）	必须	你一定会通过基类指针操作派生类对象
基类没有虚函数，但可能被继承	建议加上	防患于未然，谁也不知道未来会不会有人继承它
明确禁止继承（final 类）	不需要	没人能继承，自然不会出现多态删除
只做值类型，不涉及指针	不需要	栈上对象自动析构，不存在多态问题

说白了，只要你的类设计成基类，并且有可能通过基类指针来删除派生类对象，那就必须加 virtual 析构函数。

避坑指南：我曾经踩过的坑

我曾经接手过一个后台服务项目，运行三天后内存占用飙到 2GB。查了整整两天，最后发现是一个基类 EventHandler 的析构函数没有加 virtual。这个基类有十几个派生类，每个派生类都在构造函数里申请了数据库连接池的句柄。结果每次事件处理完，句柄都没释放，连接池被耗尽，整个服务就挂了。

修复就加了一个 virtual，内存占用从 2GB 降到了 200MB。你说气不气人？

知识体系：虚析构函数缺失的完整图景

下面这张图帮你理清整个逻辑链条：

删除派生类对象？ 是 只调用基类析构函数 派生类资源未释放 内存泄漏！ 否 安全，无泄漏风险

总结：记住这三句话

1. 基类析构函数不加 virtual，就是给自己挖坑。 你永远不知道未来谁会继承你的类。
2. 多态删除时，析构函数调用链会断裂。 派生类的析构函数被跳过，资源无法释放。
3. 修复成本极低，但遗漏成本极高。 一个 virtual 关键字，就能避免数小时甚至数天的排查痛苦。

嗯，关于虚析构函数缺失这个话题，今天就聊到这里。下次你写基类的时候，记得先问问自己：这个析构函数，加 virtual 了吗？

---

← 上一章 📖 返回目录 下一章 →