c++ - 没有虚拟析构函数的虚拟继承的段错误

Question

假设我们有如下虚拟继承:

struct B {
    ~B() {}
};

struct C : virtual B {
  ~C() {}
};

现在，为什么它会在销毁一个由 std::unique_ptr<B>(new C()); 创建的向上转换指针时崩溃？ ？

注:如果B::~B()声明virtual ，然后一切正常。

Answer 1

无论继承与否，通过指向基类类型的指针删除派生类对象都是未定义行为，除非基类具有虚析构函数。这就是std::unique_ptr<B>确实 - 它有一个静态类型的删除器调用 delete在 B* 上指针。

如您所说，它可以与虚拟析构函数一起正常工作，因此这样的删除变得定义明确。使用 shared_ptr 也可以正常工作而不是 unique_ptr ，因为它有一个基于指针类型的动态删除器，所以当用 new C() 初始化时它将调用 delete在 C* 上指针。