Имеет ли класс B, который реализует интерфейс I, который расширяет интерфейс J, также расширяет тип I?

Question

код получает меня в заблуждение:

Collection<? extends Map<String, String>> a = 
         new ArrayList<SortedMap<String, String>>(); 
SortedMap<String, String> b = new TreeMap<String, String>(); 
b.put("1","a"); 

Ошибка:

a.add(b); 

Метод добавления (? Захвата # 2-оф расширяет карту) в тип коллекции> не применяется для аргументов (SortedMap) Почему? SortedMap расширяет Map и TreeMap - это класс, который реализует SortedMap.

Answer 1

Это означает, что

Collection<? extends Map<String, String>> a ; 

Элементы a являются неизвестный класс, который расширяет карту. Вы имеете в виду, когда вы получаете значение, это карта, но вы не можете сказать, какая карта будет действительной для добавления в коллекцию.

Например, a не знает класс, который расширяет Карту, поэтому он не может позволить любому подклассу, поскольку он не может знать, что является действительным.

List<HashMap<String, String>> listOfMap = new ArrayList<>(); 
Collection<? extends Map<String, String>> a = listOfMap; 
SortedMap<String, String> b = new TreeMap<String, String>(); 
b.put("1", "a"); 
a.add(b); // produces an error as it should. 

Если изменить a быть

Collection<SortedMap<String, String>> a = new ArrayList<SortedMap<String, String>>(); 

Это прекрасно, чтобы добавить b, как именно этот вид.