<Javaコンパイルエラー>nullと初期値が未定義であることの違い。

Question

JavaのString初期値についての質問です。

String型は宣言しただけで初期値を入力していない状態だと、
自動的にnullで初期化されるという認識でいるのですが、
その状態では出力をすることができませんでした。（以下コード）↓↓↓

String str;
System.out.println(str); ←コンパイルエラー

String s = null;
System.out.println(s); ←"null"と表示されます。

ネットで調べたところ、「nullと初期値が未定義である。」とは意味が異なる。と書かれていました。
意味が異なるのでエラーになる。というのはなんとなくわかりましたが、
明示的にnullで初期化をした場合と内部ではどのような違いがあるのでしょうか？

そして追加なのですが、
String[] moji = new String[3];
for(String tmp : moji) {
System.out.println(tmp);
}

とした場合は"null null null"と表示され、コンパイルエラーにはなりません。明示的にnullで初期化をしているわけではないのに配列型のStringではうまくいきます。newしていることと関係があるのでしょうか？ご指導よろしくお願いします。

Answer 1

明示的にnullで初期化をした場合と内部ではどのような違いがあるのでしょうか？

Javaの場合、未初期化の可能性があるローカル変数にアクセスするコードはコンパイルエラーになるようになっています。そもそもコンパイル時点で弾くようになっていますので、内部構造以前の問題です。

一方で、ローカル変数以外（フィールド、staticフィールド、配列要素）は明示的な初期化を行わない場合、0（プリミティブの場合）あるいはnull（参照型の場合）で初期化されます。

Comments

[kytm]

わかりやすい解説ありがとうございます！

Answer 2

値を代入してない変数は使用不可、ということでコンパイラがエラー出してます。
そこに何がはいっているか、は関係ありません

値が入ってるかどうか、というのはあくまでコンパイラの推測によるものですんで、
コンパイラさんが推測できないものはスルーされます