不匹配的删除不再是未定义的行为

Mismatched delete no longer undefined behavior?

本文关键字：未定义 不再 删除 不匹配      更新时间：2023-10-16

我注意到e51a2152的c++草案不再包括以下措辞:

如果标准库中提供给operator delete(void*)的值不是先前调用标准库中operator new(std::size_t)或operator new(std::size_t, const std::nothrow_t&)的返回值之一，则该行为未定义;如果标准库中提供给operator delete[](void*)的值不是先前调用标准库中operator new[](std::size_t)或operator new[](std::size_t, const std::nothrow_t&)的返回值之一，则该行为未定义。

这是否意味着像

这样的代码
int * const p = new int[42];
delete p; // instead of delete[] p;

将不再有未定义的行为，还是我错过了什么?

无论如何，该段涉及分配/回收函数。不匹配的new/delete表达式在[exp .delete]/2中处理，保持不变:

在第一个选项(删除对象)中，的操作数的值Delete可以是一个空指针值，一个指向非数组对象的指针由前面的new-expression或指向子对象的指针创建([intro.object])表示这样一个对象的基类(子句)[class.derived])。如果不是，则行为是未定义的。在第二个可选(delete array)， delete操作数的值可以是空指针值或由前一个指针值产生的指针值数组新的表达式。82如果不是，则行为未定义。

文字被简单地移到了operator delete的描述中:

[new.delete.single]/12:要求:ptr应该是一个空指针，或者它的值应该代表一个内存块的地址，这个内存块是由之前调用(可能被替换)operator new(std::size_t)或operator new(std::size_t, std::align_val_t)分配的，并且没有被中间的operator delete调用无效。

查看这里的GitHub repo的变化。数组版本也有类似的措辞。语义上没有改变，只是标准的表达方式。

相关文章：