BV
ааа. Все, понял. Смысл в том, что T неизвестен
Да, неизвестен
Size: a a a
2020 January 08
BV
И понятно, что именно это и является причиной
BV
Но это не совсем логично
AN
Я понял, в чем проблема только когда написал
AN
Ну очевидное решение, это сделать два аргумента, один для а, другой для б и передавать в оба один и тот же объект.
BV
Ну очевидное решение, это сделать два аргумента, один для а, другой для б и передавать в оба один и тот же объект.
Но функция то одна
BV
Аа, туплю
BV
Да, это хак
BV
Будет работать, но это ничем не лучше чем то, что я уже унаследовал один от другого
BV
Тут само по себе непонятно, почему это не работает
AN
Будет работать, но это ничем не лучше чем то, что я уже унаследовал один от другого
Нее, это существенно лучше в том смысле, что гибкость появится. А ничего кроме красоты не пострадает
AN
Тут само по себе непонятно, почему это не работает
Понятно почему, потому что тайп инференс рушится
AN
В джаве есть ? extends... В котлине этой конструкции просто нет
BP
is Generic + if подобное
BP
😳 ого
AO
Нее, это существенно лучше в том смысле, что гибкость появится. А ничего кроме красоты не пострадает
Потеряется ещё констрейнт на то, что это один и тот же объект
AN
Потеряется ещё констрейнт на то, что это один и тот же объект
Так а зачем обязательно чтобы он был одним и тем же?
AO
Пересечение типов бы помогло конечно
AO
Так а зачем обязательно чтобы он был одним и тем же?
Ну это изначальная постановка
AN
Если есть два разных поведения, у которых не выделяется общий наследник, вполне логично считать их независимыми