C++多态与虚析构函数误解：基类虚析构函数调用原因及合规性问题

示例代码与运行结果 #

class Base {
  public:
    virtual void f() = 0;
    virtual ~Base() { std::cout << "Base::~Base()\n"; }
};

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

int main() {
  Base* p = new Derived();
  delete p;
  return 0;
}

运行输出：

Derived::~Derived()
Base::~Base()

问题1：为什么基类的虚析构函数也会被调用？ #

这是C++类继承体系下的固有规则：派生类对象的析构执行顺序固定为先执行派生类自身的析构函数，再按继承链从子类到父类的顺序依次调用所有基类的析构函数，该规则和析构函数是否为虚函数无关。

本例中基类析构函数声明为虚函数，作用是保证用基类指针delete派生类对象时，能通过虚函数机制先匹配到正确的派生类析构函数执行；派生类析构函数执行完成后，编译器会自动在其末尾插入基类析构的调用逻辑，用来释放派生类对象中基类子对象占有的资源，最终就会出现你看到的输出结果。

如果基类没有声明虚析构，用基类指针delete派生类对象属于未定义行为，绝大多数场景下只会执行基类析构，派生类部分的资源不会被释放，会引发内存泄漏。

问题2：是否可以合法阻止基类析构函数被调用，或者这类操作是否应当被允许？ #

不存在合法的方式可以阻止基类析构函数的调用，且这类操作完全不应该被允许。

派生类对象的内存布局天然包含基类子对象，基类子对象的初始化先于派生类构造执行，对应的销毁也必须在派生类析构完成后执行，这是C保证对象生命周期完整、资源正确释放的核心规则。如果使用非合规的奇技淫巧（比如手动管理内存、绕开默认析构逻辑）强行跳过基类析构，会直接导致基类子对象的资源泄漏，同时属于违背C对象模型的未定义行为，会触发各类不可预期的程序异常。

虚析构的设计目的本身就是为了保证继承链上所有析构函数都能被正确调用，如果你产生了要阻止基类析构执行的需求，首先应该排查自身的类继承设计是否存在逻辑缺陷。

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