В других ответах мне не хватает ссылки на то, как это относится к ко- и контравариантности, а также к под- и супертипам (то есть полиморфизму) в целом и к Java в частности. ОП может это хорошо понять, но на всякий случай вот оно:
ковариации
Если у вас есть класс Automobile, то Carи Truckесть их подтипы. Любой автомобиль можно присвоить переменной типа «Автомобиль», это хорошо известно в объектно ориентированном стиле и называется полиморфизмом. Ковариация относится к использованию того же принципа в сценариях с обобщенными элементами или делегатами. У 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());
Вы даже можете вызвать его с помощью компаратора, который сравнивает объекты и использует его с любым типом.
Когда использовать противодействие или ковариацию?
Немного ОТ, возможно, вы не спрашивали, но это помогает понять ответ на ваш вопрос. В общем, когда вы что-то получаете , используйте ковариацию, а когда что- то помещаете , используйте контравариантность. Лучше всего это объяснить в ответе на вопрос о переполнении стека. Как контравариантность использоваться в дженериках 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>());