回答編集履歴
2
ご・き・て・い・せ・い
test
CHANGED
|
@@ -6,7 +6,7 @@
|
|
|
6
6
|
|
|
7
7
|
|
|
8
8
|
|
|
9
|
-
言語の仕様というのは「概ねチェックします」というような曖昧なものは許されません。大抵は一回読んでもすぐに理解できないくらいややこしく厳密な定義がなされています。その定義に従う
|
|
9
|
+
言語の仕様というのは「概ねチェックします」というような曖昧なものは許されません。大抵は一回読んでもすぐに理解できないくらいややこしく厳密な定義がなされています。その定義に従うと「このようなケースは未設定の可能性があると見做す」という仕様になっていると考えてください。
|
|
10
10
|
|
|
11
11
|
|
|
12
12
|
|
1
誤記訂正
test
CHANGED
|
@@ -2,7 +2,7 @@
|
|
|
2
2
|
|
|
3
3
|
|
|
4
4
|
|
|
5
|
-
そのとおりです。本件のような場合、「人間がそれをみれば i==1のときに、必ずaに何かの値が代入される」ということはわかりますが、これを一般化した場合コンパイラーが「
|
|
5
|
+
そのとおりです。本件のような場合、「人間がそれをみれば i==1のときに、必ずaに何かの値が代入される」ということはわかりますが、これを一般化した場合コンパイラーが「変数へ値が必ず代入されるかどうか」を判断することは大変難しい問題なのです。
|
|
6
6
|
|
|
7
7
|
|
|
8
8
|
|