ローカル変数の場合はデフォルト初期値を持たず、未初期化の変数を使うとコンパイルエラーになります。 🎂 参照型と変数の関係参照型では変数はオブジェクトの参照(オブジェクトの位置情報)を持ち、変数の名前でオブジェクトにアクセスできます。 下図は概念図です。 出典:改訂2版 パーフェクトJava 🍄 変数の型とオブジェクトの型の規則変数の型はその変数が参照するオブジェクトに対してどんな操作ができるかを確定します。 オブジェクトの型は呼ばれた先の実際の動作を確定します。 変数とオブジェクトの型が一致していれば、オブジェクトの参照を変数に代入できる 変数が参照するオブジェクトに対して行える操作は変数の型で決まる P型と継承したC型の場合、P型の変数にC型のオブジェクトの参照を代入できる C型のオブジェクトはP型のもつメソッドがあることを保証する 出典:改訂2版 パーフェクトJava 🗻 Nul
![Javaのプリミティブ型と参照型](https://cdn-ak-scissors.b.st-hatena.com/image/square/c2ea7e72d0d7f3ba6c237909f321e67ffbdaa24e/height=288;version=1;width=512/https%3A%2F%2Fmorizyun.github.io%2Fimg%2Fog_image.png)