14. 智能指针与继承：基类析构函数必须为虚函数吗？

这个问题，我几乎每次讲智能指针都会被问到。很多同学背过「基类析构函数要声明为 virtual」，但一碰到智能指针就懵了。

咱们今天就把这事彻底说清楚。

先看一个经典场景

假设你有这样一个继承体系：

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

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

然后你用普通指针：

Base* p = new Derived();
delete p;  // 只调用了 Base 的析构函数！

嗯，Derived 的资源泄漏了。这就是为什么教科书上说「基类析构函数要加 virtual」。

但换成智能指针呢？

std::unique_ptr<Base> up = std::make_unique<Derived>();
// up 析构时，会正确调用 Derived 的析构函数吗？

答案是：不一定。这取决于你的智能指针类型和析构器。

unique_ptr 的情况

我个人习惯用 unique_ptr 管理继承体系的对象。它的行为其实很直接：

• 如果析构函数是 virtual，一切正常
• 如果析构函数不是 virtual，行为是未定义

等等，unique_ptr 不是知道它指向的是 Derived 吗？

其实不是。unique_ptr<Base> 只知道它管理一个 Base*，它调用的是 Base 的析构函数。如果 Base::~Base() 不是虚函数，那就只析构 Base 部分。

shared_ptr 的特殊之处

这里有个有意思的点。shared_ptr 的行为和 unique_ptr 不一样。

shared_ptr 在构造时会记住实际的删除器。什么意思呢？

std::shared_ptr<Base> sp = std::make_shared<Derived>();
// sp 内部存储的删除器是 Derived 的析构函数

所以即使 Base 的析构函数不是 virtual，shared_ptr 也能正确调用 Derived 的析构函数。

我在项目中遇到过这种情况：一个同事把基类析构函数忘了加 virtual，用 shared_ptr 管理子类对象，跑了好几个月没出问题。后来换成 unique_ptr，立刻崩了。

那到底要不要加 virtual？

我的建议很明确：

使用场景	基类析构函数	理由
有虚函数的多态基类	必须 virtual	标准做法，否则 UB
只用作接口（无数据成员）	建议 virtual	防止未来有人继承
明确禁止继承（final）	不需要 virtual	没有子类，无所谓
用 shared_ptr 管理	仍然建议 virtual	代码可读性 + 未来兼容

说白了，加 virtual 又没什么成本。一个虚表指针而已，比起半夜排查内存泄漏，这点开销不值一提。

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

我曾经接手过一个遗留系统，里面有个基类叫 Component，析构函数没加 virtual。整个系统用 shared_ptr 管理组件，跑了两年没问题。

后来新来的同事加了一个新组件，用 unique_ptr 管理，上线第二天就出事故了。查了一整天，最后发现是析构函数的问题。

从那以后，我定了个规矩：所有用作基类的类，析构函数一律加 virtual。不管你现在用不用多态，不管你现在用 unique_ptr 还是 shared_ptr。因为你永远不知道未来谁会继承它。

那如果我不想加 virtual 呢？

有些场景确实不想加 virtual，比如你明确知道这个类不会被继承。C++11 提供了 final 关键字：

class Base final {
public:
    ~Base() { /* 不需要 virtual */ }
};

这样编译器会禁止你继承它，也就不会有析构问题了。

还有一种情况：你只是想复用代码，并不打算用多态。这时候可以考虑用 private 继承或者组合，而不是 public 继承。

总结一下

回到题目：基类析构函数必须为虚函数吗？

我的回答是：如果你打算用多态，必须加。智能指针不能帮你绕过 C++ 的类型系统。

shared_ptr 虽然能「记住」实际类型，但这只是实现细节，不是语言保证。你想想看，如果哪天换了标准库实现，或者编译器升级了，这个行为变了怎么办？

所以，别偷懒。基类析构函数加 virtual，这是最安全、最清晰的做法。

嗯，关于基类析构函数和智能指针的关系，今天就聊到这儿。记住一句话：virtual 不是负担，是保险。