运行时检测内存删除

Question

代码：

int *ptr = new int[10];
int *q = ptr;
delete q;

工作正常，没有任何问题（没有运行时错误）。

但是，以下代码：

int *ptr = new int[10];
int *q = ptr;
q++;
delete q;

会导致运行时错误。

我使用 Microsoft Visual Studio-8 和 Win-7 作为平台。

我无法弄清楚为什么在第二种情况下会出现运行时错误？

Answer 1

您的代码导致未定义的行为。未定义的行为意味着任何事情都可能发生，但行为无法定义。该程序的运行纯粹是靠运气，其行为无法解释。

基本上，

如果您使用new分配动态内存，则必须使用delete来取消分配它。

如果您使用new[]分配动态内存，则必须使用delete[]来取消分配它。

将 new 未返回的任何地址传递给 delete 是未定义的行为。
这是标准的引用。

根据C++03 标准§ 3.7.4.2-3：

如果释放函数因抛出异常而终止，则行为未定义。提供给释放函数的第一个参数的值可以是空指针值；如果是这样，并且如果释放函数是标准库中提供的函数，则调用无效。否则，提供的值
标准库中的运算符 delete(void*) 应是先前调用运算符 new(std::size_t) 或 返回的值之一标准库中的operator new(std::size_t, const std::nothrot_-t&)，以及提供给标准库中的operatordelete[](void*)的值应是其中之一先前调用 operator new[](std::size_t) 或
标准库中的operator new[](std::size_t, const std::nothro_t&)。

在 C++ 中，最好使用 RAII(SBRM)智能指针而不是原始指针，它会自动处理内存释放。

Answer 2

这里有两个错误：

1. 您无法删除未由new返回的指针。
2. 您无法删除由new[]返回的指针——您需要使用delete[]。

因此，第一个片段的工作只是巧合，并且没有错误只是因为您使用的是原始类型。如果是 UDT，析构函数将不会运行。

此外，您应该使用容器和智能指针，而不是原始的 new 和 delete。

Answer 3

因为您必须传递 new 的未更改结果来删除。这就是事情的工作原理，即 new/delete 的 API 契约。

Answer 4

因为您更改了 q 指向的地址，然后尝试删除它。

您应该永远尝试删除任何new返回给您的内容。其他任何行为都是未定义的行为。