kobaeugenea Jul 31 2017 at 12:52

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

7 min

9.5K

Java*

From sandbox

Comments 8

soon Aug 1 2017 at 12:09

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

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

usharik Aug 1 2017 at 12:10

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

CodeRunner Aug 5 2017 at 18:50

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

kobaeugenea Aug 5 2017 at 18:51

Готово!

Jhumper Aug 15 2017 at 09:58

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

kobaeugenea Aug 15 2017 at 09:59

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

Jhumper Aug 15 2017 at 10: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 Sep 2 2017 at 03:58

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

Show the best of all time