Почему это преобразование недействительно?

Question

Я хотел бы использовать карту с различными списками в качестве значений:

Map<String, List<Integer>> ml; 
Map<String, ?> ml2 = ml; // OK 
Map<String, List<?>> ml3 = ml; // Type mismatch 

Почему последняя строка не является действительным?

Answer 1

Недействительно, так как если бы это было действительно, вы могли бы добавить нецелые списки в ml.

Пример (не действует):

Map<String, List<Integer>> ml; 
Map<String, List<?>> ml3 = ml; 

ml3.put("strings", Arrays.asList("evil","string")); 

List<Integer> l = ml.get("strings"); //see how this is going to fail? 

Почему Map<String, ?> ml2 = ml; действует? Это связано с тем, что использование подстановочного знака говорит компилятору не допускать добавления новых элементов, то есть ml2.put("strings", Arrays.asList("evil","string")); не будет разрешен (компилятор не выполняет проверку типа, он просто видит шаблон и знает, что вы не должны называть этот метод.

Answer 2

Map<String, ?> возьмет карту строк для любого объекта, список целых может быть сопоставлен этим шаблоном. Однако List of Integer не соответствует List of? (List of any object), поскольку List of Integer может принимать только объекты Integer .