零长度数组的指针的属性

考虑

int main()
{
    auto a = new int[0];
    delete[] a; // So there's no memory leak
}

在复制初始化和删除之间，是否允许您读取处的指针a + 1？

此外，该语言是否允许编译器设置a为nullptr？

    auto a = new int[0];

根据[basic.compound.3]，存储在a其中的值必须是以下之一：

1. 指向对象（类型为int）的指针
2. 指向对象末尾的指针
3. 空值
4. 无效

由于没有int构造类型的对象，我们可以排除第一种可能性。由于C ++要求返回非空指针，因此排除了第三种可能性（请参见[basic.stc.dynamic.allocation.2]）。因此，我们有两种可能：一个超出对象末尾的指针或无效的指针。

我倾向于将其a视为过去的指针，但是我没有可靠的参考来明确地确立这一点。（不过，在[basic.stc]中对此有很强的暗示作用，请参见如何使用delete此指针。）因此，在此答案中，我将介绍两种可能性。

在复制初始化和删除之间，是否允许您读取处的指针a + 1？

行为是不确定的，如[expr.add.4]所指示，无论上述哪种可能性适用。

如果a是末尾指针，则认为它指向0没有元素的数组索引处的假设元素。仅在时，才定义将整数添加j到，其中是数组的大小。在我们的情况下，为零，因此仅在is 时定义和。特别是，添加是不确定的。a0≤0+j≤nnna+jj01

如果a无效，则我们明确地陷入“否则，行为是不确定的”。（毫不奇怪，定义的情况仅覆盖有效的指针值。）

此外，该语言是否允许编译器设置a为nullptr？

否。根据上述[basic.stc.dynamic.allocation.2]：“如果请求成功，则可替换分配函数返回的值将为非null指针值”。还有一个脚注指出C ++（而不是C）需要一个非空指针来响应零请求。

根据编辑问题3178的最新CWG反射器讨论，将new int[0]产生当前称为“过去”的指针值。

因此a不能为null，也不能a + 1由[expr.add] / 4定义。