RU
звучит так будто на существование extends можно забить
? совершенно никак не связаны между собойSomeClass<? extends Object> someClass = new SomeClass<>();
final List<? extends Object> someList;
Size: a a a
2020 May 14
AM
У тебя тут конкретно вот эти два
RU
а вот теперь понял
VP
звучит так будто на существование extends можно забить
extends Object - это вообще мусор, там всегда extends Object
AM
А в классе T класса и T в методе — это один и тот же T
RU
extends Object - это вообще мусор, там всегда extends Object
это пример
VP
это пример
Ну а в общем случае это лишь ограничение, конкретный тип неизвестнен
AM
Вот тебе компилятор и пишет, что там есть два отдельных типа
capture#1 и capture#2RU
да я думал в эту сторону, но не думал, что так действительно задизайнят
AM
В котле, если поймаешь какой-нибудь
T#1 и T#2 в тексте ошибки — смотреть ровно туда же :) Это два разных T, просто названия клешатсяRU
Да я знаю, дженерики же подобные
VP
List<? extends Number> - это список какого-то типа, который наследует Number, но что там именно лежит - хз, поэтому запихивать туда ничего нельзя (кроме null, мы же в джаве 😄).
Представь два списка с таким типом, и ты пытаешься содержимое одного в другой запихать. Законно ли это?
Представь два списка с таким типом, и ты пытаешься содержимое одного в другой запихать. Законно ли это?
RU
с null'ом, конечно кек
AM
с null'ом, конечно кек
Ну блин, джавка же :) Ровно за счёт этого там и Void населён, хотя казалось бы -- ну откуда может существовать значение типа Void, сказать сишнику какому -- не поверит))))
VP
Ну блин, джавка же :) Ровно за счёт этого там и Void населён, хотя казалось бы -- ну откуда может существовать значение типа Void, сказать сишнику какому -- не поверит))))
Как будто у них там система типов лучше 😄
VP
Опять компилятор сломался
Exception in thread "main" java.lang.VerifyError: Call to wrong <init> methodRU
Боюсь спросить, такое с дженериками, как у джавы везде?
Я почему-то всегда думал, что это проблема только Java
Просто с ходу придумать хорошее решение я не могу для решения проблемы типа List<? extends Number>
Я почему-то всегда думал, что это проблема только Java
Просто с ходу придумать хорошее решение я не могу для решения проблемы типа List<? extends Number>
BP
Боюсь спросить, такое с дженериками, как у джавы везде?
Я почему-то всегда думал, что это проблема только Java
Просто с ходу придумать хорошее решение я не могу для решения проблемы типа List<? extends Number>
Я почему-то всегда думал, что это проблема только Java
Просто с ходу придумать хорошее решение я не могу для решения проблемы типа List<? extends Number>
Думаю везде
VP
Боюсь спросить, такое с дженериками, как у джавы везде?
Я почему-то всегда думал, что это проблема только Java
Просто с ходу придумать хорошее решение я не могу для решения проблемы типа List<? extends Number>
Я почему-то всегда думал, что это проблема только Java
Просто с ходу придумать хорошее решение я не могу для решения проблемы типа List<? extends Number>
А в чём проблема-то?
RU
Ну я хочу использовать систему типов языка без лазеек