Was mir in den anderen Antworten fehlt, ist ein Hinweis darauf, wie sich dies auf Co- und Kontravarianz sowie Sub- und Supertypen (dh Polymorphismus) im Allgemeinen und auf Java im Besonderen bezieht. Dies mag vom OP gut verstanden werden, aber nur für den Fall, hier ist es:
Kovarianz
Wenn Sie eine Klasse haben Automobile, dann Carund Trucksind ihre Untertypen. Jedes Auto kann einer Variablen vom Typ Automobil zugeordnet werden. Dies ist in OO bekannt und wird als Polymorphismus bezeichnet. Kovarianz bezieht sich auf die Verwendung des gleichen Prinzips in Szenarien mit Generika oder Delegierten. Java hat (noch) keine Delegaten, daher gilt der Begriff nur für Generika.
Ich neige dazu, Kovarianz als Standardpolymorphismus zu betrachten, was Sie erwarten würden, ohne nachzudenken, weil:
List<Car> cars;
List<Automobile> automobiles = cars;
// You'd expect this to work because Car is-a Automobile, but
// throws inconvertible types compile error.
Der Grund des Fehlers ist jedoch richtig: erbt List<Car> nicht von List<Automobile>und kann daher nicht einander zugeordnet werden. Nur die generischen Typparameter haben eine Vererbungsbeziehung. Man könnte denken, dass der Java-Compiler einfach nicht klug genug ist, um Ihr Szenario dort richtig zu verstehen. Sie können dem Compiler jedoch helfen, indem Sie ihm einen Hinweis geben:
List<Car> cars;
List<? extends Automobile> automobiles = cars; // no error
Kontravarianz
Die Umkehrung der Kovarianz ist die Kontravarianz. Während in der Kovarianz die Parametertypen eine Subtypbeziehung haben müssen, müssen sie in der Kontravarianz eine Supertypbeziehung haben. Dies kann als Vererbungsobergrenze betrachtet werden: Jeder Supertyp ist zulässig und enthält den angegebenen Typ:
class AutoColorComparer implements Comparator<Automobile>
public int compare(Automobile a, Automobile b) {
// Return comparison of colors
}
Dies kann mit Collections.sort verwendet werden :
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());
Sie können es sogar mit einem Vergleicher aufrufen, der Objekte vergleicht und mit einem beliebigen Typ verwendet.
Wann sollte Kontra oder Co-Varianz verwendet werden?
Ein bisschen OT vielleicht haben Sie nicht gefragt, aber es hilft zu verstehen, Ihre Frage zu beantworten. Wenn Sie etwas bekommen , verwenden Sie im Allgemeinen Kovarianz und wenn Sie etwas setzen , verwenden Sie Kontravarianz. Dies lässt sich am besten in einer Antwort auf die Frage zum Stapelüberlauf erklären. Wie würde Kontravarianz in Java-Generika verwendet? .
Also was ist es dann mit List<? extends Map<String, String>>
Sie verwenden extends, daher gelten die Regeln für die Kovarianz . Hier haben Sie eine Liste von Karten und jedes Element, das Sie in der Liste speichern, muss ein Map<string, string>oder davon abgeleitet sein. Die Aussage List<Map<String, String>>kann ableiten nicht aus Map, sondern müssen ein Map .
Daher funktioniert Folgendes, da TreeMaperbt von Map:
List<Map<String, String>> mapList = new ArrayList<Map<String, String>>();
mapList.add(new TreeMap<String, String>());
aber das wird nicht:
List<? extends Map<String, String>> mapList = new ArrayList<? extends Map<String, String>>();
mapList.add(new TreeMap<String, String>());
und dies wird auch nicht funktionieren, da es die Kovarianzbedingung nicht erfüllt:
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
Was sonst?
Dies ist wahrscheinlich offensichtlich, aber Sie haben möglicherweise bereits bemerkt, dass die Verwendung des extendsSchlüsselworts nur für diesen Parameter und nicht für den Rest gilt. Dh folgendes wird nicht kompiliert:
List<? extends Map<String, String>> mapList = new List<? extends Map<String, String>>();
mapList.add(new TreeMap<String, Element>()) // This is NOT allowed
Angenommen, Sie möchten einen beliebigen Typ in der Map zulassen, mit einem Schlüssel als Zeichenfolge, den Sie extendfür jeden Typparameter verwenden können. Angenommen, Sie verarbeiten XML und möchten AttrNode, Element usw. in einer Map speichern. Sie können Folgendes tun:
List<? extends Map<String, ? extends Node>> listOfMapsOfNodes = new...;
// Now you can do:
listOfMapsOfNodes.add(new TreeMap<Sting, Element>());
listOfMapsOfNodes.add(new TreeMap<Sting, CDATASection>());