kobaeugenea 31 июл 2017 в 09:52

Нетривиальные проблемы с generic'ами и возможные решения

7 мин

9.8K

Java *

Из песочницы

Комментарии 8

soon 1 авг 2017 в 09:09

Если вы ответили — Number и его любого наследника, то вы ошиблись. Ответ — ничего!

Строго говоря, туда можно записать null

usharik 1 авг 2017 в 09:10

Интересно, а много ли есть ситуаций, когда требуется применять wildcard, которые выходили бы за пределы принципа PECS?

CodeRunner 5 авг 2017 в 15:50

Поправьте ошибочку в третьем листинге:? extends Number.
У вас не хватает буквы «s».

kobaeugenea 5 авг 2017 в 15:51

Готово!

Jhumper 15 авг 2017 в 06:58

Ещё нетривиальный пример со стримами где интерфейс Stream расширяет BaseStream<T, Stream>

kobaeugenea 15 авг 2017 в 06:59

Не приходилось с таким встречаться, опиши в комментариях, добавлю

Jhumper 15 авг 2017 в 07:19

Имеем следующую структуру

Stream<T> extends BaseStream<T, Stream<T>> 

BaseStream<T, S extends BaseStream<T, S>> {
    S parallel();
    S sequential();
}

В результате если бы Stream не расширял бы BaseStream от себя, то методы

S parallel();
S sequential();

возвращали бы просто BaseStream, в котором нет методов интерфейса Stream. Поэтому, чтобы пользоваться методами предка, как если бы они были методами самого интерфейса есть вот такой подход. Его обычно называют рекурсивные дженерики

raguanec 2 сен 2017 в 00:58

Как вы над типом повесили аннотацию Query?
Она же применима только к полям и другим аннотациям.

Зарегистрируйтесь на Хабре, чтобы оставить комментарий