他の回答で私が見落としているのは、これが共変量と反変量、およびサブタイプとスーパータイプ（つまり、ポリモーフィズム）全般、特にJavaとどのように関連しているかについての参照です。これはOPによってよく理解されているかもしれませんが、念のため、ここに示します。
共分散
あなたはクラスを持っている場合はAutomobile、その後、CarおよびTruckそのサブタイプです。自動車はタイプAutomobileの変数に割り当てることができます。これはオブジェクト指向ではよく知られており、ポリモーフィズムと呼ばれます。共分散とは、ジェネリックまたはデリゲートを使用するシナリオでこれと同じ原則を使用することを指します。Javaには（まだ）デリゲートがないため、この用語はジェネリックにのみ適用されます。
私は、共分散を、あなたが何も考えずに機能することを期待する標準的な多型として考える傾向があります。
List<Car> cars;
List<Automobile> automobiles = cars;
// You'd expect this to work because Car is-a Automobile, but
// throws inconvertible types compile error.
ただし、エラーの理由は正しいです。List<Car> は継承されないため、List<Automobile>互いに割り当てることができません。ジェネリック型パラメーターのみが継承関係を持っています。Javaコンパイラーは、そこでのシナリオを適切に理解するのに十分なほど賢くないと考える人もいるかもしれません。ただし、ヒントを与えることにより、コンパイラを支援できます。
List<Car> cars;
List<? extends Automobile> automobiles = cars; // no error
反変
共分散の逆は反分散です。共分散では、パラメーターの型にサブタイプの関係が必要ですが、反変では、スーパータイプの関係が必要です。これは、継承の上限と見なすことができます。指定されたタイプを含め、すべてのスーパータイプが許可されます。
class AutoColorComparer implements Comparator<Automobile>
public int compare(Automobile a, Automobile b) {
// Return comparison of colors
}
これはCollections.sortで使用できます。
public static <T> void sort(List<T> list, Comparator<? super T> c)
// Which you can call like this, without errors:
List<Car> cars = getListFromSomewhere();
Collections.sort(cars, new AutoColorComparer());
オブジェクトを比較する比較演算子を使用して呼び出し、任意のタイプで使用することもできます。
いつ逆または共分散を使用するのですか？
少しOTはおそらく質問しなかったかもしれませんが、質問への回答を理解するのに役立ちます。一般に、何かを取得する場合は共分散を使用し、何かを配置する場合は反変を使用します。これは、スタックオーバーフローの質問への回答で最もよく説明されます。Javaジェネリックスではどのように反変が使用されますか？。
それでそれで何ですか List<? extends Map<String, String>>
を使用するextendsため、共分散のルールが適用されます。ここにはマップのリストがあり、リストに保存する各アイテムは、そのリストMap<string, string>から派生するか、派生する必要があります。文はList<Map<String, String>>から派生することはできませんMapが、なければなりません。 Map
したがって、以下からTreeMap継承するため、次のように機能しますMap。
List<Map<String, String>> mapList = new ArrayList<Map<String, String>>();
mapList.add(new TreeMap<String, String>());
しかし、これはしません：
List<? extends Map<String, String>> mapList = new ArrayList<? extends Map<String, String>>();
mapList.add(new TreeMap<String, String>());
共分散制約を満たさないため、これも機能しません。
List<? extends Map<String, String>> mapList = new ArrayList<? extends Map<String, String>>();
mapList.add(new ArrayList<String>()); // This is NOT allowed, List does not implement Map
ほかに何か？
これはおそらく明白ですが、extendsキーワードの使用はそのパラメーターにのみ適用され、その他のパラメーターには適用されないことにすでに気付いているかもしれません。つまり、次のものはコンパイルされません。
List<? extends Map<String, String>> mapList = new List<? extends Map<String, String>>();
mapList.add(new TreeMap<String, Element>()) // This is NOT allowed
キーを文字列として使用extendして、マップ内の任意のタイプを許可する場合は、各タイプパラメータで使用できます。つまり、XMLを処理していて、AttrNodeやElementなどをマップに格納したい場合、次のようなことができます。
List<? extends Map<String, ? extends Node>> listOfMapsOfNodes = new...;
// Now you can do:
listOfMapsOfNodes.add(new TreeMap<Sting, Element>());
listOfMapsOfNodes.add(new TreeMap<Sting, CDATASection>());