Size: a a a

Programming Offtop

2020 May 14

RU

Roman Ushakov in Programming Offtop
Компилятор солидарен с Intellij

incompatible types:
com.vaadin.ui.ItemCaptionGenerator<capture#1 of ? extends some.path.AbstractEntity>
cannot be converted to
com.vaadin.ui.ItemCaptionGenerator<capture#2 of ? extends some.path.AbstractEntity>
источник

AM

Andrew Mikhaylov in Programming Offtop
Звучит как будто используются потенциально два разных типа, наследующихся от AbstractEntity 🤷‍♂ Такое и в котлине можно поймать, если не всё пронести из дженерика в дженерик
источник

RU

Roman Ushakov in Programming Offtop
Ну с точки зрения компилятор может и так
источник

RU

Roman Ushakov in Programming Offtop
Но учитывая, что там 1 строка кода и всё абсолютно идентично, то выглядит, как bug в jdk
источник

QH

Quantum Harmonizer in Programming Offtop
Roman Ushakov
Ну с точки зрения компилятор может и так
Не «может», а всё он абсолютно правильно делает.
источник

VP

Vladimir Petrakovich in Programming Offtop
Roman Ushakov
Но учитывая, что там 1 строка кода и всё абсолютно идентично, то выглядит, как bug в jdk
Выглядит как полное непонимание wildcard'ов в джаве
источник

AM

Andrew Mikhaylov in Programming Offtop
Я не смог сходу репродьюсер накидать, но я такое не раз ловил
источник

QH

Quantum Harmonizer in Programming Offtop
Andrew Mikhaylov
Я не смог сходу репродьюсер накидать, но я такое не раз ловил
List<? extends String>::addAll(List<? extends String>)
источник

AM

Andrew Mikhaylov in Programming Offtop
Во, чёт такое, да
источник

VP

Vladimir Petrakovich in Programming Offtop
Интересное чтиво на тему
http://wouter.coekaerts.be/2018/java-type-system-broken
источник

VP

Vladimir Petrakovich in Programming Offtop
(спойлер: конкретно тут проблема не в джаве)
источник

RU

Roman Ushakov in Programming Offtop
источник

RU

Roman Ushakov in Programming Offtop
Хочешь сказать, что это норм поведение?
источник

VP

Vladimir Petrakovich in Programming Offtop
Roman Ushakov
Хочешь сказать, что это норм поведение?
Да, компилятор даже говорит, что типы, спрятанные за ?, разные
источник

RU

Roman Ushakov in Programming Offtop
А ты пример смотрел?
источник

VP

Vladimir Petrakovich in Programming Offtop
Roman Ushakov
А ты пример смотрел?
Да, и что не так с ним?
источник

VP

Vladimir Petrakovich in Programming Offtop
Если проставить конкретные разные типы в diamond'ы, есть шанс понять, что они вообще-то действительно не обязаны быть одинаковыми
источник

RU

Roman Ushakov in Programming Offtop
Я, конечно, много читал на эту тему
источник

RU

Roman Ushakov in Programming Offtop
Объясни, как ты это видишь? И Почему?
источник

VP

Vladimir Petrakovich in Programming Offtop
Roman Ushakov
Объясни, как ты это видишь? И Почему?
? - это "хер его знает", и в каждом месте использования "?" это может быть любой тип. Вроде не так сложно.
источник