c++ - 为什么在类对象数组上调用 delete 而不是 delete[] 会导致堆损坏？

Question

考虑代码:

class A {
public:
    virtual ~A() {}
};

class B : public A {
public:
    ~B() {}
};

void main ()
{
    A * array = new A[100];
    delete array;
}

在 Windows (MSVC 2010) 上，它会导致异常，因为 delete 调用 HeapValidate，这表明堆已损坏。这是如何发生的，为什么会发生？

我确实意识到应该在这里调用delete[]，当然就没有问题了。但为什么 delete 会导致堆损坏？据我所知，它应该为第一个对象(array[0] 或 *array)调用析构函数，然后释放整个 block 。现实中会发生什么？

注意:如果 A 类只有默认析构函数，即我根本没有声明它的析构函数，则不会发生异常。不管析构函数是否是虚拟的。在调试和发布版本中。

P. S. 是的，我知道这是未定义的行为。

Answer 1

在用 new[] 创建的指针上调用 delete 是未定义的行为。基本问题是，当您调用 new[] 时，它需要分配额外的空间来存储数组中元素的数量，因此当您调用 delete[] 时，它知道要销毁多少元素。

除了实物所需的空间外，图书馆还将为管理数据分配空间。然后它将执行所有初始化并返回指向第一个元素的指针，该元素与从操作系统检索到的内存块不对齐。

[header][element1,element2...]
^       ^
|       \_ pointer returned by new[]
|
\_ pointer returned by the allocator

另一方面，new 和delete 不存储任何额外信息。

当您调用 delete[] 时，它会将指针移回原处，读取计数，调用析构函数并使用原始指针进行释放。当您调用 delete 时，它​​会调用单个对象的析构函数并将指针传递回分配器。如果指针是通过调用 new[] 创建的，则返回给分配器的指针不是分配的指针，并且释放失败。