纯抽象基类是否必须定义虚析构函数？有无例外？

好问题！这确实是C++里一个容易让人纠结的细节，尤其是看到有些生产代码或权威演讲里的纯抽象基类没加虚析构函数的时候。咱们一步步拆解：

核心规则的本质 #

首先得明确：C++要求基类有虚析构函数的根本原因，不是基类有没有数据成员，而是你是否会通过基类指针/引用去删除派生类对象。

如果这么做了（比如delete static_cast<Base*>(new Derived);），而基类没有虚析构函数，那会触发未定义行为——哪怕基类是空的，派生类的析构函数也可能不会被调用，导致资源泄漏（比如派生类里的动态内存、文件句柄等），甚至程序崩溃。

什么时候可以例外？ #

那为什么像CppCon《Accept no visitor》里的纯抽象基类没加虚析构？因为它的使用场景满足了一个关键前提：永远不会通过基类指针/引用删除派生类对象。

常见的例外场景包括：

• 使用访问者模式：所有对象的访问和生命周期管理都通过访问者完成，不会直接delete基类指针；
• 对象生命周期由派生类类型的智能指针管理：比如用std::unique_ptr<Derived>而不是std::unique_ptr<Base>，智能指针会绑定到派生类的析构函数；
• 所有对象都在栈上创建：栈对象会自动销毁，不需要手动delete，自然不会触发基类指针删除的问题；
• 基类仅作为接口使用，不承担对象所有权：比如只通过基类引用调用纯虚函数，从不涉及对象的销毁操作。

举个例子，你的这个纯抽象基类：

class Base { 
public: 
    virtual void foo() = 0; 
    virtual void bar() = 0; 
};

如果你的代码里从来不会写delete static_cast<Base*>(new Derived);或者std::unique_ptr<Base> ptr = std::make_unique<Derived>();（后者会因为基类无虚析构导致编译警告/错误，C++11及以后），那完全可以不用加虚析构函数。

额外提醒 #

哪怕基类没有数据成员，给纯抽象基类加虚析构函数几乎没有额外开销——因为基类已经有纯虚函数，必然会生成虚函数表，加虚析构只是在虚表里多一个条目而已。如果不确定未来会不会有通过基类指针删除的场景，最好还是加上，避免后续踩坑。

内容的提问来源于stack exchange，提问作者DDG