Как понять странный дженерик?

Question

[parkito]

Здравствуйте. Поясните, пожалуйста, что означает следущая запись дженерика

public static <I, O> List<O> map(Stream<I> stream, Function<I, O> mapper)

Что означает и как используется '<'I, O'>' до List? Какое название этого явления?

Answer 1

[Антон Тихомиров]

Явление называется тип данных. В данном случае эта функция возвращает хэш-таблицу с парами "ключ-значение": ключи - это "I", значения "O". Странность здесь в том, что это просто хэш-таблица, поэтому Вы можете обратиться к ее элементу вызвав ее ключ типа I, а не просто по номеру элемента как в обычном массиве.

Comments

[parkito]

Как можно это загуглить (не имея ввиду коллекции)? Никогда не встречал хеш таблицы встроенной в синтаксис.

[Антон Тихомиров]

parkito: и правда. Но тут просто из одномерной хеш-таблицы на лету делают многомерную. Правда я не могу объяснить как это может делаться на лету. Может еще какая-нибудь библиотека перегружает данные, в любом случае какая-то прокладка это делает, по одной строчке я ничего не могу конструктивного сказать. Но по любому суть тут в том, что тип данных как-то меняется на лету с O на I, O.

Answer 2

[Евгений]

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

Answer 3

[davidnum95]

это значит что функция принимает в качестве аргументов Stream типа I и Function типа I и O, возвращает List типа O

Comments

[parkito]

Это описано в сигнатуре функции. Это не оюъясняет того, что делает до List

Answer 4

[Алексей]

Думаю, вам стоит обратить внимание на видео Александра Маторина про Generic'и в Java.
Тыц!