回答編集履歴
1
追加調査報告
answer
CHANGED
@@ -20,4 +20,10 @@
|
|
20
20
|
```
|
21
21
|
右辺は配列オブジェクトではありませんから、長さ1の配列と同じ...つまり、p[1]は許されるけどp[2]は未定義? それは困るなぁ。
|
22
22
|
|
23
|
-
もう少し仕様書をひっくり返してみないだめみたいです。
|
23
|
+
もう少し仕様書をひっくり返してみないだめみたいです。
|
24
|
+
|
25
|
+
---
|
26
|
+
もう少しひっくり返してみました。
|
27
|
+
> 7.20.3 記憶域管理関数 calloc 関数,malloc 関数及び realloc 関数の<略>割付けが成功したときに返されるポインタは,いかなる型のオブジェクトへのポインタに代入してもよいように,また(領域が明示的に解放されるまで)その割り付けられた領域のオブジェクト又はオブジェクトの配列へのアクセスに使用してもよいように,適切に境界調整されているものとする。
|
28
|
+
|
29
|
+
ここで配列同様のアクセスが出来ることが保証されていました。あぁよかった。
|