なぜ型変換が可能なのでしょうか？

Question

現在、Javaの学習を進めており型変換で躓いています。

なぜ2行目は型変換可能なのでしょうか？

1.List i_ist = new ArrayList<Integer>();
2.List<String> s_list = i_ist;

1行目はArrayListがListインターフェースを実装したコレクションクラスであるため
暗黙の型変換により成り立っていることは理解しています。

2行目が成り立つ理由というのは、なぜなのでしょうか？
前提知識が乏しく少し投げやりな質問かもしれません、、、。

ご回答いただけますと幸いです。

Answer 1

1行目の左辺はraw typeと呼ぶ、中身の型を指定しないList型です。

1行目で、IntegerのArrayListは、raw typeのListに代入され、中身の型が消え不明になります。
2行目では、中身が不明な以上、Stringかもしれないので、StringのListとして適合する可能性が残り、エラーにできません。

打ち消し線~~なお、実行時には、IntegerのArrayListを、StringのListに型変換できず、エラーになります。
正しくは、StringのListとして、中身を取得した場合に、実行時エラーとなるそうです。
pecmmさん、ご指摘ありがとうございます。

これは、<型>が、Java 5.0 で追加された仕様のため、1.4以前との互換のためにraw typeを許す必要があったための処置です。
ちなみに、Java 5.0は、2004年9月30日にリリースされている、20年以上前の話です。
当然、非推奨で、現在では、raw type は、使うべきではない機能です。

参考 Javaバージョン履歴

Comments

[DaikonHitaHita]

ご回答ありがとうございます。
とても分かりやすい説明だったので、ベストアンサーにさせていただきました。

raw typeという存在を知らなかったため、
自分で解決できなかったと理解できました。

[pecmm]

細かいツッコミですみませんが……
> 実行時には、IntegerのArrayListを、StringのListに型変換できず、エラーになります
実行時エラーが起きるとしても、そのタイミングではないです。

※この行以外の記述については、質問への回答として問題ないと思われます

Javaのgenericsは型消去 (type erasure) 方式で、コンパイル結果のバイトコード上では区別がつかないため
IntegerのArrayList → StringのList への代入とは実質 ArrayList → List であり、実行時エラーは発生しません。

また、仮に `i_ist.add(3)` とか `s_list.add("5")` とか記述したとしても、コンパイル時点では警告のみ（※デフォルトのコンパイルオプションの場合）ですし、実行時エラーもここでも発生しません。

実行時エラーが起こるとすれば、`i_ist.get` ではなく `s_list.get` したタイミングです。
raw型である変数 i_ist から get する際は必ず Object となるので、中身が Integer でも String でも問題ないのですが
変数 s_list は List<String> で宣言されているので、こちらからの get はコンパイル結果に String へのキャストが含まれるようになり、i_ist 経由で追加した String 以外の中身では実行時エラーが発生します。
（s_list.get の戻り値をString型の変数に代入したりメソッドのString型引数として用いようとする箇所でキャストが自動で追加されます）

[YT0014]

修正いたしました。
pecmmさん、ご指摘をありがとうございます。