変数の初期化エラーについて

Question

下記のコードで「ローカル変数s2が初期化されていない可能性があります」というエラーが出ます。
s1も初期化していないのになぜs2だけエラーが出るのでしょうか？

ご教示いただけると幸いです。

public class Main {
	String s1;
	
	public static void main(String[] args) {
		Main m = new Main();
		System.out.println(m.s1); // エラー出ない。
		
		String s2;
		System.out.println(s2); // エラー出る。
		
		String s3 = null;
		System.out.println(s3); // エラー出ない。
		
		}
}

Answer 1

メンバ変数は初期化しないと自動的に特定の値が代入されるため、初期化をしなくてもエラーになりません。なのでローカル変数のs2だけがエラーになります。

自動的に代入される値は
参照型:null
整数型:0
小数型:0.0
boolean型:false
と決まっています。

Comments

[inumaeda]

メンバ変数は自動で値が代入されるのですね。
大変わかりやすいご説明ありがとうございました！

Answer 2

s1も初期化していないのに

プロパティは、何もしなくてもnullで初期化されます。

ローカル変数は未初期化で使おうとするとコンパイルエラーになります。

Answer 3

実際にエラーかどうかは別にして、コンパイル時に初期化されているかを判定できるか、でそのエラーが出ます

単に最初の例では、そう判定することができない、ってだけのはなしですね。

＃実行時にはエラー（というかnullの出力？）になるでしょうけど