Що мені не вистачає в інших відповідях - це посилання на те, як це стосується ко- та протиріччя та суб- та супертипів (тобто поліморфізму) взагалі та Java, зокрема. Це може бути добре зрозуміло в ОП, але про всяк випадок, ось що:
Коваріація
Якщо у вас є клас Automobile, то Carі Truckє їх підтипами. Будь-який автомобіль може бути віднесений до змінної типу Automobile, це добре відомо в OO і називається поліморфізмом. Коваріація стосується використання цього самого принципу в сценаріях із загальними або делегованими. У 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 generics? .
Так що ж це тоді з List<? extends Map<String, String>>
Ви використовуєте extends, тому застосовуються правила коваріації . Тут ви маєте список карт, і кожен елемент, який ви зберігаєте у списку, повинен бути Map<string, string>або виходити з нього. Заява List<Map<String, String>>не може випливати з Map, але має бути a 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>());