複合型ワイルドカードバウンス

Question

わかりませんgeneric wildcard bounderies ussage。
processMapが次の例のコンパイルエラーで失敗するのに対して、なぜがうまく機能するのか説明してください。どのように私はトリック

public void processMap(Map<String, List<? extends Object>> map) 
public <T extends Object> void processMap(Map<String, List<T>> map) 

を作っparametherメソッドにメソッドの引数の型からジェネリック型定義を考え動かしながら、それはMap<String, List<String>>とMap<String, List<Object>>

public void processList(List<? extends Object> list) { 
} 

public void processMap(Map<String, List<? extends Object>> map) { 
} 

public void f() { 
    List<String> list = new ArrayList<>(); 
    Map<String, List<String>> map = new HashMap<>(); 

    processList(list); // OK 
    processMap(map); // ERROR 
} 

---

の両方で動作するようにprocessMapの署名を変更する必要があります今は両者の違いを知りたい。 another threadに移動しました。

Answer 1

ワイルドカードを削除しても機能させることができます。私。あなたは、名前付きの型と総称関数を作成します。ワイルドカードでの機能が動作しない理由を<T extends Object>

public <T extends Object> void processMap(Map<String, List<T>> map) { 
} 

public void processList(List<? extends Object> list) { 
} 

public void f() { 
    List<String> list = new ArrayList<>(); 
    Map<String, List<String>> map = new HashMap<>(); 

    processList(list); // OK 
    processMap(map); // OK now 
    processMap(new HashMap<String, List<Integer>>()); // this is OK too 
} 

残念ながら、私が説明することはできません。

Answer 2

Map<String, List<? extends Object>> map = new HashMap<>(); 

f（）メソッドで上記の変更を加えて動作させます。 Javaコンパイラは両方の変数が同じであるように変数のタイプをチェックします。私は間違っている可能性があります。

Answer 3

半分の答え：次のコードは私のためにコンパイルします。

見つからない：名前付きTがなぜ機能するのかについての良い説明。名前のない？ではない。

public <T> void processMap(Map<String, List<T>> map) { 
} 

public void f() { 
    Map<String, List<String>> map = new HashMap<>(); 
    processMap(map); 
    Map<String, List<Object>> map2 = new HashMap<>(); 
    processMap(map2); 
}