長さがゼロの配列へのポインタのプロパティ

検討する

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 ++ではnull以外のポインターを返す必要があるため、3番目の可能性は除外されます（[basic.stc.dynamic.allocation.2]を参照）。したがって、2つの可能性があります。オブジェクトの終わりを過ぎたポインタまたは無効なポインタです。

私はa過去の終わりのポインタと見なす傾向がありますが、それを明確に確立する信頼できるリファレンスはありません。（ただし、これは[basic.stc]で強く示唆されており、どのようにしてdeleteこのポインターを使用できるかがわかります。）したがって、この回答では両方の可能性について説明します。

コピーの初期化から削除までの間に、ポインタを読み取ることができますa + 1か？

[expr.add.4]で示されているように、上記のどの可能性が適用されるかに関係なく、動作は未定義です。

場合a過去エンドポインタである、それはインデックスで仮説の要素を指すように考えられて0ない要素を持つ配列の。jへの整数の追加は、が配列のサイズであるa場合0≤0+j≤nにのみ定義されnます。我々の場合には、nその合計は、ゼロであるa+jときにのみ定義されてjいます0。特に、追加1は未定義です。

aが無効な場合は、「それ以外の場合、動作は未定義」に完全に分類されます。（当然のことながら、定義されているケースは有効なポインター値のみをカバーしています。）

さらに、この言語では、コンパイラーをに設定aできnullptrますか？

いいえ。上記の[basic.stc.dynamic.allocation.2]から：「リクエストが成功した場合、置き換え可能な割り当て関数によって返される値はnull以外のポインタ値です。」C ++（ただしCではない）がゼロ要求に応答してnull以外のポインターを必要とすることを示す脚注もあります。

編集上の問題3178の結果としての最近のCWGリフレクターの議論による、new int[0]現在「過去の終わり」のポインター値と呼ばれているものが生成されます。

これはanullにすることはできずa + 1、[expr.add] / 4で定義されていません。