ジェネリックス上のワイルドカードでコンパイルエラーが発生する

Question

ジェネリックスの上下限でいくつかのサンプルプログラムを試していました。ジェネリックス上限はコンパイルエラーです...しかし、下限は問題ありません。 タイプTのリストをセットに入れて、上限と下限の両方のシナリオを試してみようとしています..

testUpperBound（T t）メソッドの問題を特定するのに役立ちます。なぜtestLowerBound t）メソッドをコンパイルし、testUpperBound（T t）メソッドはコンパイルしません。私は他の同様のスレッドをチェックしました。しかし、まだ私はそれを明確にしていません。

詳細が必要な場合はお知らせください。

public class TestGenerics<T> 
    { 

     public static void main(String...args) 
     { 
      List<String> list = new ArrayList<>(); 
      list.add("New ArrayList"); 
      new TestGenerics<List<String>>().testUpperBound(list); 
      new TestGenerics<List<String>>().testLowerBound(list); 

     } 

     public void testLowerBound(T t) 
     { 
      Set<? super ArrayList<T>> lowerBoundSet = new HashSet<>(); 
      lowerBoundSet = new HashSet<List<T>>(); 
      ArrayList<T> list = new ArrayList<>(); 
      list.add(t); 
      lowerBoundSet.add(list); // compiles.. 

      out.println(lowerBoundSet); 
     } 

     public void testUpperBound(T t) 
     { 
      Set<? extends List<T>> upperBoundSet = new HashSet<>(); 
      upperBoundSet = new HashSet<List<T>>(); 
      ArrayList<T> list = new ArrayList<>(); 
      list.add(t); 
      upperBoundSet.add(list); // Doesn't compile.. 

      out.println(upperBoundSet); 
     } 

    } 

Answer 1

のためのそのような制限はありません、あなたはあなたの答えを持っている：

Explanation of the get-put principle

これは、Javaのルールで、それがすべてです。 コンパイルが渡された場合、それは安全ではないだろう、なぜ私はあなたのコードで例を与えることがあります。

public void extendsExample(){ 
    Set<? extends List<? extends String>> setOfList = new HashSet<>(); 
    Set<ArrayList<String>> setOfArrayList = new HashSet<>(); 

    // now setOfList var refers to a set 
    // which contains a arraylist of String 
    setOfList = setOfArrayList; 

    // compilation fails 
    setOfList.add(new LinkedList<String>()); 
} 

は、コンパイルが失敗しない想像してみてください。
setOfArrayListインスタンスは、ArrayList個のインスタンスを含むべきセットであり、現在LinkedListエレメントのリストを含んでいます。

setOfArrayListを繰り返した場合、期待どおりにArrayList<String>要素が排他的にはありません。それは安全ではないので、コンパイルに失敗します。 <? superとここでは一例

：

public void superExample(){ 
    Set<? super ArrayList<String>> setOfArrayList = new HashSet<>(); 

    // compilation ok 
    setOfArrayList.add(new ArrayList<String>()); 
    // new anonymous type derivating from ArrayList 
    ArrayList<String> derivedArrayList = new ArrayList<String>(){ 
    }; 
    // compilation ok 
    setOfArrayList.add(derivedArrayList); 
} 

Answer 2

<? extends SomeType>でパラメータ化されたコレクションを変更することはできません。ジャバはそれが安全な行動ではないので、それを許可しません。 add（）はコレクションを変更するため、コレクションを変更できません。ここで<? super SomeType>

Answer 3

簡単に言えば、我々はリストのタイプはupperBoundSetに含まれているものをコンパイル時に知りません。それはSet<ArrayList<T>>であったり、Set<LinkedList<T>>であったり、他の多くの選択肢の1つであったりする可能性があります。

Set<LinkedList<T>>と判明した場合は、ArrayListを追加することは明らかに悪い考えです。しかし、セットの内容がどのようなタイプであるかわからないので、より安全なオプションをとり、ブロックします。