破坏期间的未定义行为?
Undefined behavior during destrction?
让我们考虑以下代码:
#include <iostream>
struct A{ virtual void foo(){ } };
struct B : A { virtual void foo(){ } };
A *a = new B;
int main()
{
delete a; //UB?
}
我故意没有定义虚拟析构函数。编译器打印了导致UB的信息,是真的吗?
如果您通过指向 T 的指针进行删除,这不是最派生的类型,并且 T 没有虚拟析构函数,那么您正式拥有 UB。
在实践中,如果您没有任何数据成员,您可以侥幸逃脱,但这仍然是非常不好和不必要的做法。
注意:当您使用 shared_ptr
时,它会在初始化时创建一个删除函数,并且该删除函数可以记住原始类型,如果该类型是最派生类型,则可以很好地确保-定义的删除。例如。在你的情况下 shared_ptr<A> p( new B );
没问题。
让我们考虑以下代码:
#include <iostream>
struct A{ virtual void foo(){ } };
struct B : A { virtual void foo(){ } };
A *a = new B;
int main()
{
delete a; //UB?
}
我故意没有定义虚拟析构函数。编译器打印了导致UB的信息,是真的吗?
如果您通过指向 T 的指针进行删除,这不是最派生的类型,并且 T 没有虚拟析构函数,那么您正式拥有 UB。
在实践中,如果您没有任何数据成员,您可以侥幸逃脱,但这仍然是非常不好和不必要的做法。
注意:当您使用 shared_ptr
时,它会在初始化时创建一个删除函数,并且该删除函数可以记住原始类型,如果该类型是最派生类型,则可以很好地确保-定义的删除。例如。在你的情况下 shared_ptr<A> p( new B );
没问题。