Question

上找到了此代码

#include <iostream>

using namespace std;

struct Base
{
    Base() { cout << "Base" << " "; }
    virtual ~Base() { cout << "~Base" << endl; }

    int i;
};
struct Der : public Base
{
    Der() { cout << "Der" << endl; }
    virtual ~Der() { cout << "~Der" << " "; }

    int it[10]; // sizeof(Base) != sizeof(Der)
};

int main()
{
    Base *bp = new Der;
    Base *bq = new Der[5];

    delete    bp;
    delete [] bq;   // this causes runtime error
}

为什么crash？

Answer 1

Base *bq = new Der[5];
delete [] bq;   // this causes runtime error

原因是数组未被多态处理。因此，在上面的代码中，delete语句调用未定义的行为。

§5.3.5/ 3 C ++ 03说

在第一个备选（删除对象）中，如果操作数的静态类型与其动态类型不同，则静态类型应为操作数的动态类型的基类，静态类型应具有虚拟析构函数或者行为未定义。 在第二种方法（删除数组）中，如果要删除的对象的动态类型与其静态类型不同，则行为未定义。

你很幸运它会给出运行时错误，并且你有机会尽快知道代码中的严重错误。

虚析构函数使用数组失败

1 个答案: