TK
Не является
Size: a a a
2021 April 28
TK
Касты между дин трейтами он не даст
TK
Только вручную
CD
Потому что авторы ниасилили, да
TK
Потому что нет наследования, которое не упёрлось, и получилось гораздо сложнее, такой вот трейдофф
CD
Наследование есть, в момент оборачивания
TK
Остальные два принципа никуда не делось
TK
Ты максимум можешь конкретный тип забоксить и стереть информацию о типе, это не наследование
CD
Это называется TypeErasure, и заворачивание объекта в dyn Trait это 146% создание промежуточного наследующего объекта
CD
При этом отсутствие иерархии создаёт крайне неприятные патологии
TK
Наследоваться должно ещё и поведение
TK
А тут его нет
TK
Иерархия не ставит на первое место данные, она ставит на первое место код
TK
И вот оттуда уже идут неприятные патологии
CD
Иерархия позволяет не сосать бибу, когда NullableFn<int()> заворачивается в NullableFn<void()> как вызываемый объект, после чего проверка на null просто не работает
CD
Потому что внутри not null лежит null
TK
Для этого есть другие решения
CD
Да, определять отдельную операцию для заворачивания NullableFn внутри NullableFn и проебать расширяемость
TK
Трейты позволяют избежать большинство случаев, когда тебе ниибацо как нужно иметь дин диспатч
r
В смысле если перед оборачиванием не проверить оборачиваемое на null?