addAll（）コンパイラを使用したArrayListは、ジェネリックで異なる動作を示します

Question

誰かが次のような動作を私に説明できますか？

私はXのリストを持っており、addAll()メソッドを使用して要素を追加しています。これらの要素は、ジェネリック型を使用するメソッドによって返されます。メソッドgetA()は、Aをクラスとして返す< T extends A >を返します。方法getI()は、Iを持つ< T extends I >を返します（以下のコードを参照）。

差異：listX.addAll(getA())コンパイルエラーが発生しましたが、listX.addAll(getI())がコンパイルされます（要素がキャストされたときにランタイムエラーが発生します。X）。

Simpifiedコード：

interface I {} 
class A implements I {} 

class X {} 

public void test() { 
    List<X> listX = new ArrayList<>(); 
    listX.addAll(getA()); 

    listX.addAll(getI()); 
    for (X x : listX) {} 
} 
public <T extends A> List<T> getA() { 
    return new ArrayList<>(); 
} 
public <T extends I> List<T> getI() { 
    return new ArrayList<>(); 
} 

私は何かが足りないのですか？私はコンパイルエラーを2回も受け取らないといけませんか？

Java 8ではこの動作が新しいようですが、以下のバージョンではどちらの場合でもコンパイルエラーが発生しています。

Answer 1

listX.addAll(getA());Xのサブクラスがありません。サブクラスはAであるため、コンパイルできません。

listX.addAll(getI());Xのサブクラスがあり、Iも実装できるため、コンパイルできません。

Answer 2

私は次のように質問とShmoselの答えを簡素化したいと思います：

interface I {} 
class A implements I {} 

class X {} 

public void test() { 
    X temp = getI(); // compiles 
    X temp2 = getA(); // does not compile 
} 

public <T extends I> T getI() { 
    return null; 
} 
public <T extends A> T getA() { 
    return null; 
} 

GETI（）潜在的にXを拡張し、それがコンパイル理由である、私を実装して何かを返すことができます。通常、実際に返される型は、関数に渡される引数など、何かに依存します。それはAを拡張して、何かを返すので、

下駄は（） 'B'が入って来ないX.