Question

此代码是否会导致定义的行为？

class A {
    int x;
};
class B {
    short y;
};
class C {
    double z;
};

class D : public A, public B, public C {
    float bouncy;
};

void deleteB(B *b) {
    delete b;
}

void is_it_defined() {
    D *d = new D;
    deleteB(d);

    B *b = new D;  // Is this any different?
    delete b;
}

如果没有定义，为什么不呢？如果是，它定义的是什么以及为什么？最后，如果它的实现定义了，你能举例说明一个常见的实现可能会定义行为吗？

Answer 1

引用Herb Sutter：

如果可以执行删除多态地通过基类接口，然后它必须表现虚拟而且必须是虚拟的。确实，语言需要它 - 如果你多态删除没有虚拟析构函数，你召唤可怕的幽灵“未定义行为”。

在您的示例中，delete都是通过基类指针执行的，并产生未定义的行为。标准5.3.5（删除）：

在第一种选择中（删除 object），如果是静态类型的操作数与其动态不同类型，静态类型应为基础操作数的动态类型的类而静态类型应该有一个虚拟析构函数或行为是未定义

此处，delete对静态类型B起作用，而操作数的动态类型为D。

Answer 2

B没有虚拟析构函数，它应该有。

Answer 3

是否关注虚拟析构函数？看看这个：

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可以正确删除。所以，只需要一个虚拟函数来激活多态。

这是否存在此代码的已定义行为，该行为通过基类指针删除派生类？

3 个答案: