回答編集履歴
1
追記
answer
CHANGED
|
@@ -19,4 +19,30 @@
|
|
|
19
19
|
throw ...; // これ以降の実行を止めることを明示する
|
|
20
20
|
}
|
|
21
21
|
System.out.println(greeting); // 必ず設定されている保証の元で参照する
|
|
22
|
-
```
|
|
22
|
+
```
|
|
23
|
+
|
|
24
|
+
---
|
|
25
|
+
追記：本件に直接関係ないですが、mts10806さんがコメントくださった点について少し追記してみます。以前似たようなＱ＆Ａがあったかと思いますが、自分は「変数のとりあえずの初期化」は避けます。理由はなるべく変数をfinalとして扱いたい（つまり途中で値が変わる変数にはしたくない）からです。
|
|
26
|
+
|
|
27
|
+
途中で値が変化する変数ももちろん使いますが使わずに済ませられることも多いです。Javaの仕様はいくぶん厳格でfinalでない変数は内側のスコープからアクセスさせてやんないという仕様なのでそういう点からもなるべくfinalにしておこうと考えます。（本末転倒な論理ですね。本来は極力finalにしようってのが本質だと思います。)
|
|
28
|
+
|
|
29
|
+
```java
|
|
30
|
+
String greeting; // (A)
|
|
31
|
+
if (...) {
|
|
32
|
+
greeting = ...;
|
|
33
|
+
} else if (...) {
|
|
34
|
+
greeting = ...;
|
|
35
|
+
} else {
|
|
36
|
+
greeting = ...;
|
|
37
|
+
}
|
|
38
|
+
Button button = new Button("Hi");
|
|
39
|
+
button.setOnAction(ev -> System.out.println(greeting)); // <= (B)
|
|
40
|
+
```
|
|
41
|
+
|
|
42
|
+
例えば上のコードだとgreetingはfinalと見做してくれるためラムダ式の本体(B)で参照できます。これを(A)で「とりあえず初期化」としてしまうとfinalではなくなるため(B)で参照できなくなるという「面白くないこと」になります。
|
|
43
|
+
|
|
44
|
+
この辺り言語によって違うようですが、JavaScript, Python, Scala, C#などだとfinalじゃなきゃ内側のスコープで参照できないという制約はありません。どうも大半のモダンな言語はそういう制約は課してないようです。しかしこれがJavaだと「副作用を持たない行儀良いコードだけ外側のスコープの変数をアクセスさせてやる」といった気難しいオジイチャンのような仕様です。
|
|
45
|
+
|
|
46
|
+
「finalでないものがアクセスできないなんて言語機能が足りてないんじゃないの？」と思ったこともありますが、「まぁまぁそういわずfinalにすることを意識する方がいいと捉えよう」と前向きに考えるようにしました。
|
|
47
|
+
|
|
48
|
+
(finalじゃない変数しか内側からアクセスできないってのはJavaぐらいかも知れません。実際は行儀良いコードにだけ内側からのアクセスを許すという意図があるのか、単に実装がめんどかったのでまぁできなくていいよねぐらいのノリなのか本当のところは自分には分かりません。ただ変更可能なローカル変数を内側のスコープからアクセスできるようにするとそれなりの性能的代償があるとは思います。ScalaやC#はその代償をプログラマーが意識していない実装の中でこっそり支払っています。そうした細かい点を気にせず制限なく使える言語がいいのか、制約がある理由を把握した上で使う方がよいのか・・・自分には何とも言えません。)
|