AN
Но! В котлин оно гораздо понятнее, чем в Java, если использовать declaration-site-variance. Там все довольно прозрачно
Size: a a a
2020 June 20
BP
Так и запишем, сам разработчик ногу сломит
Я себе это сохранил
AN
В общем, слава Идее.
IO
Но это не спасает, когда начинаются рекурсивные дженерики
а с ними что не так? если б не они, то суперкласс не мог бы работать с типом наследника
AN
а с ними что не так? если б не они, то суперкласс не мог бы работать с типом наследника
Все с ними хорошо. Просто их в принципе нельзя сделать понятными. Еще никому не удалось еще.
IO
по-хорошему можно было бы добавить какое-то ключевое слово, для дженерика, который так объявляется, а затем передавать значение его неявно.
abstract class Enum<child T>class MyEnum : Enum<>IO
но эта криво.
BP
Очень криво, да ещё и с джавой путает
IO
да, все неявное зло
IO
Очень криво, да ещё и с джавой путает
diamond?
AN
по-хорошему можно было бы добавить какое-то ключевое слово, для дженерика, который так объявляется, а затем передавать значение его неявно.
abstract class Enum<child T>class MyEnum : Enum<>Есть же UnsafeGenerics или как его
BP
diamond?
Да
BV
В котлине, кстати больше мест, для которых рекурсивные дженерики терминальны 😬
BV
В джаве обычно как-то можно обойти, а котлине бывает, что вот совсем никак
AN
В котлине, кстати больше мест, для которых рекурсивные дженерики терминальны 😬
А расшифровать? Вообще в котлин рекурсивные дженерики сильно лучше, чем в жаве выглядят за счет declaration site variance. Но без Self-типов все равно больно.
BP
В джаве обычно как-то можно обойти, а котлине бывает, что вот совсем никак
Даже с unsafe ?
BV
Я о том, что бывает такое, что объявить тип можно, а использовать нельзя
BV
Даже с unsafe ?
Возможно я что-то пропустил
BV
Что значит ансейф в этом контексте?
AN
Что значит ансейф в этом контексте?
UnsafeVariance. Только я не понял, зачем он