12. 虚析构函数：为什么基类析构函数需要是虚函数？虚析构函数的实现与作用。

好，咱们今天聊一个经典问题——虚析构函数。

说实话，这个问题我面试过不少人，十个人里有八个能背出「基类析构函数要声明为 virtual」，但你再追问一句「为什么」，很多人就开始支支吾吾了。

嗯，咱们今天就把这个事彻底讲透。

12.1 一个血淋淋的例子：没有虚析构会怎样？

先看一段代码。你想想看，下面这个程序会有什么问题？

class Base {
public:
    Base() { cout << "Base()\n"; }
    ~Base() { cout << "~Base()\n"; }
};

class Derived : public Base {
public:
    Derived() { cout << "Derived()\n"; }
    ~Derived() { cout << "~Derived()\n"; }
};

int main() {
    Base* p = new Derived();
    delete p;  // 这里只调用了 Base 的析构！
    return 0;
}

输出结果：

Base()
Derived()
~Base()

看到了吗？Derived 的析构函数根本没被调用！

这意味着什么？如果 Derived 里申请了堆内存、打开了文件、锁住了资源……全部泄漏。我在项目中遇到过类似的问题，一个后台服务跑了三天后内存暴涨，查到最后就是基类析构没加 virtual，子类资源全没释放。

12.2 为什么会出现这种情况？

说白了，C++ 的析构函数调用是静态绑定的。

编译器看到 delete p，它只知道 p 的类型是 Base*，所以它就去调用 Base::~Base()。至于 p 实际指向的是 Derived 对象？编译器不管，它只看静态类型。

这就好比你去前台找人，你说「我找张经理」，前台就把张经理叫出来了。但实际你要找的是张经理手下的李主管——前台不知道啊，她只认「张经理」这个名头。

那怎么解决？让析构函数变成虚函数。

class Base {
public:
    virtual ~Base() { cout << "~Base()\n"; }
};

加上 virtual 之后，delete p 就会走虚函数表，动态绑定到 Derived 的析构函数上。输出就变成了：

~Derived()
~Base()

先析构派生类，再析构基类——这才是正确的顺序。

12.3 虚析构函数的实现原理

你可能会问：虚析构函数在底层是怎么工作的？

其实和普通虚函数一样，靠的是虚函数表（vtable）。

每个有虚函数的类，编译器都会给它生成一张虚函数表。表中存放的是虚函数的地址。当类有虚析构函数时，析构函数的地址也会被放进 vtable 里。

但这里有个小细节：析构函数比较特殊，编译器可能会生成两个析构函数版本——一个叫「完整对象析构」(complete object destructor)，一个叫「删除析构」(deleting destructor)。后者会在析构后调用 operator delete 释放内存。虚函数表里放的是哪个？嗯，不同编译器实现不同，但原理是一样的——通过虚函数表实现动态绑定。

12.4 什么时候不需要虚析构？

当然，也不是所有类都需要虚析构。我个人习惯遵循以下判断标准：

场景	是否需要虚析构	原因
类不打算被继承	不需要	没有多态删除的需求，加 virtual 反而增加 vtable 开销
类作为基类，但不会通过基类指针删除派生类对象	不需要	比如只用作接口，对象生命周期由其他机制管理
类作为基类，且需要通过基类指针删除派生类对象	必须	否则未定义行为，资源泄漏
标准库容器（如 vector、string）作为基类	不推荐继承	标准库容器没有虚析构，继承后通过基类指针删除会出问题

我曾经见过有人继承 std::vector，然后通过基类指针删除——嗯，那场面，内存泄漏得相当壮观。

12.5 虚析构函数的性能影响

有人担心：加了 virtual 会不会影响性能？

会，但微乎其微。

影响主要有两点：

• 对象体积增加： 每个对象多了一个 vptr 指针（通常是 8 字节，64 位系统）。
• 调用开销： 虚函数调用比普通函数多一次间接寻址（查 vtable）。

但说实话，在绝大多数应用场景下，这点开销完全可以忽略。你想想看，你 delete 一个对象本身就有内存释放的开销，多一次间接寻址算什么？

12.6 纯虚析构函数

还有一个进阶知识点：纯虚析构函数。

有时候你想把一个类设计成抽象类（不能实例化），但类里又没有其他纯虚函数。这时候可以把析构函数声明为纯虚的：

class AbstractBase {
public:
    virtual ~AbstractBase() = 0;  // 纯虚析构
};

AbstractBase::~AbstractBase() {
    // 必须提供实现！
    cout << "AbstractBase destructor\n";
}

注意：纯虚析构函数必须提供实现。为什么？因为派生类析构时，最终还是会调用基类的析构函数。如果你只声明不实现，链接器会报错。

这个技巧我在设计接口类时偶尔会用。比如定义一个「可销毁」的接口，强制所有派生类必须处理自己的资源清理逻辑。

12.7 知识体系图

下面这张图总结了虚析构函数的核心逻辑：

12.8 避坑指南

最后，分享几个我踩过的坑：

• 不要在构造函数或析构函数中调用虚函数。 嗯，这个和虚析构本身无关，但很多人会搞混。在构造和析构期间，虚函数表是不完整的，调用虚函数不会按你预期的方式工作。
• 如果基类有虚函数，析构函数一定要加 virtual。 这是 C++ 的黄金法则。你已经有虚函数了，说明这个类就是用来多态的，那析构函数也必须多态。
• 不要继承没有虚析构的标准库容器。 我曾经见过有人继承 std::string，然后通过基类指针删除——嗯，那场面，内存泄漏得相当壮观。
• 纯虚析构函数必须实现。 这个前面说过了，再强调一遍：声明了 = 0，但还是要写函数体。

好了，关于虚析构函数，今天就聊到这里。记住一句话：只要你的类设计成基类，并且有可能通过基类指针删除派生类对象，析构函数就一定要加 virtual。 这是 C++ 里最基本的自我保护。

---