c++ - 破坏期间的未定义行为？

Question

让我们考虑以下代码:

#include <iostream>

struct A{ virtual void foo(){ } };

struct B : A { virtual void foo(){ } };

A *a = new B;


int main()
{
    delete a; //UB?
}

我故意没有定义虚拟析构函数。编译器打印了导致UB的信息，是真的吗？

Answer 1

如果您通过指向 T 的指针进行删除，则形式上您拥有 UB，这不是最派生的类型，并且 T 没有虚拟析构函数。

在实践中，如果您没有任何数据成员，您可以侥幸逃脱，但这仍然是非常不好和不必要的做法。

注意:当您使用 shared_ptr 时它在初始化时创建一个删除函数，该删除函数可以记住原始类型，如果该类型是最派生类型，则可以确保明确定义的删除。例如。在你的情况下 shared_ptr<A> p( new B );会好的。