Есть ли любители дженериков? Я тут изучал новый метод Stream#mapMulti

Question

Есть ли любители дженериков? Я тут изучал новый метод Stream#mapMulti

из java 16 и в очередной раз начал подозревать, что ничего я не понимаю в дженериках или javac не понимает.
Есть такой код https://gist.github.com/genuss/dfe09bb59ac85a7828fd2e4b39e4b5b5
Сигнатура метода такая: <R> Stream<R> mapMulti(BiConsumer<? super T, ? super Consumer<R>> mapper)
У меня два вопроса: почему мой код сейчас не компилируется и падает на 14-й строчке. При этом 15-я строчка компилируется, хотя как мне кажется, делает тоже самое.
Почему в mapMulti ? super Consumer<R> вместо Consumer<? super R>?
И комментарий сразу: idea на этом кейсе тоже глючит, показывает что код компилируется, так что на это не обращайте внимания

#backend #java #programming #russian

0

25.05.2021

2 ответов

16 просмотров

Etki

(внимание на то, куда переместилось объявление типа) .<Obj2>mapMulti(Scratch::processSuccess) Видимо компилятор не может (или не хочет) вывести R из Consumer<Obj2>. Он прямо пишет java.util.function.Consumer<java.lang.Object> cannot be converted to java.util.function.Consumer<Obj2>. Я плохо знаю как реально генерируются лямбды, но лямбда это не метод напрямую, поэтому я не буду удивлен несовпадению принимаемых типов в лямбде-враппере и самом завернутом методе.

0

25.05.2021

Alexandr ∨∧‾ Emelyanov · Accepted Answer

Alexandr ∨∧‾ Emelyanov

Ууу. Я часто натыкаюсь что со стримами не получается вывести типы. Не только тут. Приходится кастовать безбожно

0

25.05.2021

170 похожих чатов

Есть ли любители дженериков? Я тут изучал новый метод Stream#mapMulti

2 ответов

Похожие вопросы