c++ - 虚拟析构函数使用数组失败

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
}

为什么会崩溃？

Answer 1

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

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

§5.3.5/3 C++03 说

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

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