c++ - delete[] 提供了修改后的 new-ed 指针。未定义的行为？

Question

我在同行代码审查 session 期间看到了如下代码:

char *s = new char[3];
*s++ = 'a';
*s++ = 'b';
*s++='\0';
delete []s; // this may or may not crash on some or any day !!

首先，我知道在标准 C++ 中，指向数组大小的后一位是可以的。尽管访问它会导致未定义的行为。所以我相信最后一行 *s++='\0' 没问题。但如果我没记错的话，C++ 标准要求 delete 应该提供与 new 返回的指针相同的指针。

我相信这意味着返回的指针不能被篡改。我猜这是因为 new 可能会在 delete 可能使用的返回地址之前保留一些内务管理信息。移动 new 的指针可能会使它无法访问。

它是未定义的行为还是实现定义的或未指定的？谁能证实这一点？最好指向 C++ 标准中的正确位置。

_{C++ 标准草案 (Draft_SC22-N-4411.pdf) 的免费草案版本在第 5.3.5 节中有详细信息。我是从 Bjarne 的主页上得到的。}

Answer 1

来自 C++ 标准，第 5.3.5/2 节:

the value of the operand of delete shall be the pointer value which resulted from a previous array new-expression. If not, the behaviour is undefined