此代码是否有通过基类指针删除派生类的已定义行为?

引用 Herb Sutter :

如果可以删除 多态地通过基类 接口,那么它必须 虚拟的,必须是虚拟的。的确, 语言需要它-如果你 不带 虚拟毁灭者,你召唤 可怕的“未定义”幽灵 行为”。

在你的例子中,两者 delete 通过基类指针执行并产生未定义的行为。标准5.3.5(删除):

在第一个备选方案中(删除 对象), 如果 操作数与其动态操作数不同 类型,静态类型应为 操作数动态类型的类 静态类型应具有 虚拟析构函数 未定义 .

这里,两个 删除 作用于静态类型 B 而操作数的动态类型是 D .

B 没有 事实上的 析构函数,应该有。

这都是关于虚拟析构函数的吗? 看看这个:

class A 
{
    int x;

public:
    virtual void fun()
    {
        return;
    }
};

class D : public A 
{
    float bouncy;
};

void is_it_defined()
{

    A *b = new D;  // it`s ok!
    delete b;
}

你明白了吗?没关系。指针b可以正确删除。 所以,只需要一个视觉功能来激活多态性。