DS
Это по сути экзистенциальные типы
Size: a a a
2021 April 30
DS
Ну тот что я указал
EG
Не вижу как? Это полный аналог растового
не?
struct Wut<X: Debug>(X);
не?
TK
А если поля открытые и обобщённые? Но в целом да, на своём опыте спотыкания запомнил.
EG
Пофиг. Всё равно методы вызвать не выйдет, пока баунды не соблюдены.
EG
Если кто-то хочет в твоей структуре просто похранить данных, не трогая методы — та пускай.
AN
Ну и там и там имеет смысл ставить. Но в структуре если писать это лишняя писанина. И они могут оказаться не консистентные с имплом. Поэтому не удобно
EG
Нафига их ставить на структуре? Самой по себе структуре пофиг, что в ней хранят. Это просто glorified tuple.
EG
Ограничения могут быть у поведения, а не у данных.
AN
Ну чисто семантически хочется сказать что в структуре храню лямбду такую то
AN
Как часть документации.
EG
Можно вообще жить без структур. Только с ньютайпами и туплами.
EG
ХЗ, все привыкли смотреть баунды на impl
EG
Тем более, что они бывают очень разными для разных методов
TK
1. Safety invariants через какую-нибудь дичь
2. Как часть документации (+1)
3. ?Sized
2. Как часть документации (+1)
3. ?Sized
EG
Данные не бывают unsafe сами по себе, поведение бывает.
EG
Ок, но это, типа, один баунд, который к тому же не так часто нужен
EG
Но я согласен, что
?Sized это костыль.DS
Нет, потому что у тебя у Wut нету тайп баунда
B
да как блять футуры в итераторах использовать