当删除没有虚拟析构函数的多态对象时会发生什么？

Question

在下面的例子中，b是一个多态指针类型，它的static类型是Base*，它的dynamic类型是Derived*。

struct Base 
{
  virtual void f();
};

struct Derived : Base 
{ 

};

int main()
{
   Base *b = new Derived();
   // ...
   delete b;
}

b 在没有虚拟析构函数的情况下被删除会发生什么？

Answer 1

在没有虚拟析构函数的情况下删除 b 会发生什么？

我们不知道。行为未定义。对于大多数实际情况，Derived 的析构函数可能不会被调用，但没有任何保证。

5.3.5 Delete [expr.delete]

（强调我的）

在第一种选择（删除对象）中，如果是静态类型的 要删除的对象与其动态类型不同，静态 type 应该是对象的动态类型的基类 删除并且静态类型应该有一个虚拟析构函数或 行为未定义。