Java：変数が初期化されていない

Question

public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		
		int time = new java.util.Scanner(System.in).nextInt();
	        String greeting;
		String message = ("ただ今の時刻は" + time + "時です");
		
		if (time >= 4 && time <=10) {
			greeting = "おはようございます";
		} else if (time >= 11 && time <= 17) {
			greeting = "こんにちは";
		} else if (time == 18) {
		        greeting = "こんばんは";
		} else if ((time >= 19 && time <= 23) || (time >= 0 && time <= 3)) {
			greeting = "おやすみなさい";
		}
		
		System.out.println(greeting);
		System.out.println(message);

	}

以上のコードで実行すると、greetingが初期化されていない旨のコンパイルエラーがでます。
自分的には、しているつもりなんですが、どこがおかしいんでしょうか？
初心者なので、よろしくお願いいたします。

Answer 1

どの条件も成立しなかった場合は未設定の状態になり得ます。例えば間違って25と入れたら・・・

Javaでは変数の値は「必ず設定されていることがコンパイラーが納得しない限りは参照できません」コンパイラーを納得させるためには以下のようにしましょう。

String greeting;

if (...) {
  greeting = ...;
} else if (...) {
  greeting = ...;
} else if (...) {
  ...
} else {
  greeting = ...; // どの条件にも合致しなくても必ず値が設定されるようにしておく
  // or
  return ...;     // これ以降の実行を止めることを明示する
  // or
  throw ...;      // これ以降の実行を止めることを明示する
}
System.out.println(greeting); // 必ず設定されている保証の元で参照する

---

追記：本件に直接関係ないですが、mts10806さんがコメントくださった点について少し追記してみます。以前似たようなＱ＆Ａがあったかと思いますが、自分は「変数のとりあえずの初期化」は避けます。理由はなるべく変数をfinalとして扱いたい（つまり途中で値が変わる変数にはしたくない）からです。

途中で値が変化する変数ももちろん使いますが使わずに済ませられることも多いです。Javaの仕様はいくぶん厳格でfinalでない変数は内側のスコープからアクセスさせてやんないという仕様なのでそういう点からもなるべくfinalにしておこうと考えます。（本末転倒な論理ですね。本来は極力finalにしようってのが本質だと思います。)

String greeting; // (A)
if (...) {
  greeting = ...;
} else if (...) {
  greeting = ...;
} else {
  greeting = ...;
}
Button button = new Button("Hi");
button.setOnAction(ev -> System.out.println(greeting)); // <= (B)

例えば上のコードだとgreetingはfinalと見做してくれるためラムダ式の本体(B)で参照できます。これを(A)で「とりあえず初期化」としてしまうとfinalではなくなるため(B)で参照できなくなるという「面白くないこと」になります。

この辺り言語によって違うようですが、JavaScript, Python, Scala, C#などだとfinalじゃなきゃ内側のスコープで参照できないという制約はありません。どうも大半のモダンな言語はそういう制約は課してないようです。しかしこれがJavaだと「副作用を持たない行儀良いコードだけ外側のスコープの変数をアクセスさせてやる」といった気難しいオジイチャンのような仕様です。

「finalでないものがアクセスできないなんて言語機能が足りてないんじゃないの？」と思ったこともありますが、「まぁまぁそういわずfinalにすることを意識する方がいいと捉えよう」と前向きに考えるようにしました。

(finalじゃない変数しか内側からアクセスできないってのはJavaぐらいかも知れません。実際は行儀良いコードにだけ内側からのアクセスを許すという意図があるのか、単に実装がめんどかったのでまぁできなくていいよねぐらいのノリなのか本当のところは自分には分かりません。ただ変更可能なローカル変数を内側のスコープからアクセスできるようにするとそれなりの性能的代償があるとは思います。ScalaやC#はその代償をプログラマーが意識していない実装の中でこっそり支払っています。そうした細かい点を気にせず制限なく使える言語がいいのか、制約がある理由を把握した上で使う方がよいのか・・・自分には何とも言えません。)

Comments

[akamarukun]

解決いたしました。ご丁寧にありがとうございます。

[m.ts10806]

個人的に回答者さんにお聞きしたいのですが、
elseを用意して必ずどこか通るようにするのと、先に初期値を入れておくのと　どちらがベターでしょうか？
要件次第とはなると思うのですけど。
そういえば、初期値を入れた上でもelseを設置するケースもありますね。

[m.ts10806]

追記ありがとうございます。大変参考になりました。

Answer 2

そのif文全部に合致しない場合、初期化されませんね。
そのため、そのエラー（ワーニング？）がでています

Comments

[akamarukun]

意味が分かりました。ありがとうございます。