ジェネリック型をジェネリック型に割り当てるときにコンパイラエラーが発生するのはなぜですか？

Question

私はOJCPAのコードスニペットを見ていて、コンパイラが次のコードでエラーをスローしない理由を混乱させています。

List l = new ArrayList(); 
l.add("a"); 
l.add("b"); 
l.add(1); 

List<String> strList = new ArrayList<>(); 
strList = l; //#1 - Why does the assignment compile? 

for(String s: strList) { 
     System.out.println(s); //#2 - It makes sense that it then throws a ClassCastException 
} 

私は、コンパイラは、生の型としてリストLを参照してくださいだろうし、ジェネリック医薬品は不変であるので、それは> List型の<文字列ではないとして、それは、コンパイラエラーを生成することを考えました。

ありがとうございました。

Answer 1

下位互換性があります。

あなたはListStringのSを返すレガシーメソッドを呼び出していると仮定しますが、ジェネリックはJavaに追加された前に、それが書かれていたので、それは生Listを返します。

List<String> strList = someOldMethodThatReturnsRawList(); 

そうでなければ、あなたがそのメソッドを呼び出すために、あなたの新しいコードで生Listタイプを使用して維持する必要があります：

あなたはこの行はコンパイルを渡したいと思います。