Почему оператор алмаза не работает для java.util.Collections методов в Java 7?

В Java 1.7.0_55, если я пишу это объявление поля, я получаю ошибку компиляции ( "несовместимые типы" ):

   private final Map<String,Object> myMap =
       Collections.synchronizedMap(new HashMap<>());

Если я изменил это, прочитайте:

   private final Map<String,Object> myMap =
       Collections.synchronizedMap(new HashMap<String,Object>());

Он компилируется отлично. (Я использую synchronizedMap в качестве примера здесь, но то же самое верно для других методов Collections, unmodifiable *, synchronized * и т.д.)

Но почему алмазный оператор не работает, как я ожидал бы здесь? Поскольку Collections.synchronizedMap() объявляется как:

public static <K,V> Map<K,V> synchronizedMap(Map<K,V> m) {

Мне кажется, что параметры типа вызова конструктора должны быть такими же, как и для объявления поля, и компилятор должен иметь возможность выводить на него построенные параметры типа класса.

Я попытался найти предложение в JLS, в котором говорится, что этот синтаксис неприемлем, но я не могу его найти. Может ли кто-нибудь указать мне на это?

Ответ 1

Это не удается с ошибкой вашего компилятора в Java 7, но успешно компилируется в Java 8. Короче говоря, вывод типа компилятора не выявил правильные выводимые типы в Java 7, но лучший вывод типа указывает на правильные типы в Java 8.

Это изменение было JEP (JDK Enhancement Proposal) 101 для Java 8.

Резюме

Плавно расширьте область применения метода-вывода для поддержки (i) вывода в контексте метода и (ii) вывода в цепочке вызовов.

Java 8 позволяет выводить типы посредством нескольких вызовов методов с параметрами и цепочкой вызовов метода. Теперь он может определить с левой стороны задания <String, Object> по вызову Collections.synchronizedMap оператору алмаза в параметре для этого вызова new HashMap<>().

Ответ 2

Когда метод объявлен как

public static <K,V> Map<K,V> synchronizedMap(Map<K,V> m) {

Генераторы задаются параметрами.

скажет, что я делаю это:

public <V> V returnV(V v);

Тогда я называю это:

returnV("myString")

V отключается myString.

когда вы даете

new HashMap<>()

Тогда нет никаких дженериков, поэтому компилятор угадывает вас:

new HashMap<Object, Object>()

И вы получите

private final Map<String,Object> myMap =
   Collections.synchronizedMap(new HashMap<Object,Object>());

И это ошибка и несовместимые типы.

Ответ 3

Это потому, что вы пытаетесь передать new HashMap<>() методу класса Collections. Это отличается от выполнения:

Map <String, Integer> map = new HashMap<>();

метод, который вы используете, ожидает карту известного типа. Алмазный синтаксис - это всего лишь сахар для стандартного синтаксиса объявления и инициализации общих классов.