EG
Более того, этому
Index<'id> можно безопасно реализовать .saturating_sub()Size: a a a
2021 April 04
TK
Реально
TK
Магия
EG
Соответственно, хватит один раз проверить индекс на корректность, и все индексы меньше него можно безопасно использовать без проверок.
EG
Это старый трюк, о нём ещё Gankro писала в You Can't Spell Trust Without Rust
TK
Честно говоря, всё равно реальных применений для такого тяжело найти
EG
Графы, безопасное индексирование, и прочие гарантии, которые можно один раз подтвердить, и потом сколько угодно использовать
EG
Любая проверка, которая в норме исполнялась бы много раз (например, получение по индексу) может быть проделана один раз и закреплена инвариантным лайфтаймом
TK
Ну и тут немного подумал, если всё-таки 'a: 'b, то, несмотря на невозможность подмены Guard<'b> на Guard<'a>, в иногда небезопасном коде я часто ожидаю, что одно можно сократить до другого. И, как правило, так можно делать, но в данном случае нарушит гарантии, конечно.
TK
А ещё лайфтаймы в тип надо тащить
EG
Ты не можешь сказать ни что
'a: 'b, ни что 'b: 'aTK
Кастомный ArcIndex с лайфтаймом, хых
H
писали бы на гошке, не мудохались бы со своими лайфтаймами
EG
s/го/си/
S
писали бы на сишке, не мудохались бы со своими лайфтаймами
H
во
TK
Мне лайфтаймы нравятся, пока они меня не обижают
EG
s/шке/товых плагинах на WordPress/