H
fn foo(a: &i32) -> &i32 { a }это
impl for<'a> Fn(&'a i32) -> &'a i32
Size: a a a
2021 April 04
EG
Например,
это
это
EG
Фактически, это способ записать тип функции, которая дженерик по лайфтайму
EG
Суть в том, что ты принимаешь функцию с типом
for<'id> FnOnce(&'id Foo<'id>), где 'id — инвариантный лайфтаймEG
И потом делаешь метод, из которого выдаёшь какие-нибудь другие штуки с лайфтаймом
'idEG
Например, у тебя есть вектор, и ты выдаёшь из него тип
Index<'id>(usize), который гарантировано in boundsEG
Из-за инвариантного лайфтайма, клиент не может получить индекс с лайфтаймом
'id из другого вектораEG
Соответственно, если тебе передают
Index<'id>(usize), то ты можешь быть уверен, что этот индекс ты сам выписал, и безопасно сделлать .get_unchecked()EG
Фактически, это позволяет сделать статическую проверку, что «источником» объекта был конкретный объект
H
это прекрасно
H
но все ещё непонятно какой код писать с этим
AN
H
я один раз написал HRTB потому что компилятор обычные лайфтаймы не съедал, он оно заработало, я правда до сих пор хз почему
H
прикольно
EG
Может быть ещё для всяких графов полезно и прочей такой фигни
TK
Не понимаю. Какие гарантии даёт drop для произвольного лайфтайма?
EG
make_guard!(a);
make_guard!(b);
Теперь в переменных
a и b типы с разными инвариантными лайфтаймами, причём b живёт дольше, чем a.EG
Твоя версия не работает