Java 8 Streams: Почему для MapToInt требуется Integer::parseInt в качестве параметра? ⇐ JAVA

[Anonymous]

Я пытаюсь понять кое-что на следующем примере:

Код: Выделить всё

    Stream.of("a1", "a2", "a3")
.map(s -> s.substring(1))
.mapToInt(Integer::parseInt)
.max()

. (etc.)

Почему MapToInt нужен

Код: Выделить всё

    Integer::parseInt

в качестве параметра? Разве это не должно быть неявно? Не является ли этот параметр лишним?

Подробнее здесь: https://stackoverflow.com/questions/569 ... -parameter