Почему допустимо опускать здесь параметр общего типа?

Question

В следующем фрагменте:

public class IDMapBase<T> extends HashMap<DeviceID, T> { 
    public Map<DeviceID, T> filterMap(Set<DeviceID> neededIDs) { 
     return entrySet().stream() 
      .filter(e -> neededIDs.contains(e.getKey())) 
      .collect(Collectors.toMap(Entry::getKey, Entry::getValue)); 
    } 
} 

Почему это ОК, чтобы просто сказать Entry::getXX вместо Entry<DeviceID, T>>::getXX? Я думал, что (Map.)Entry по умолчанию будет Entry<Object, Object>, что невозможно использовать как запись Map<DeviceID, T>.

Answer 1

Ваш входной параметр имеет достаточную информацию о типе для компилятора, чтобы вывести все промежуточные общие типы.

Может показаться, что «что приходит» и «что выходит» ... и «шаги между ними» совпадают.

Пример: первый звонок entrySet(); так что, возможно, окружающий класс представляет собой карту с определенными К, V. Поэтому компилятор знает, что имеет дело с некоторыми EntrySet<K,V> ... вероятно, совпадающими с общим типом, найденным на neededIDs.

И так далее ... если вы заинтересованы в «выводе» самих типов; Я бы посоветовал начать с того, что вы разложили эти вызовы с плавным набором цепочек. По одному; что они возвращают, и что вы можете знать о типах результатов каждой операции.