ML
lifetime elision - это что?)
ну и в С++ можно явно написать лайфтаймы
ну и в С++ можно явно написать лайфтаймы
lifetime elision работает по однозначным правилам и никак от реализации методов не зависит
Size: a a a
2020 May 13
RP
так и для С++ сделали однозначно по сигнатуре
ML
так и для С++ сделали однозначно по сигнатуре
Это противоречит тому что ты писал до
RP
а там уже внутри тела будет вывод лайфтайма для локальных переменных и проверка, что local ref != ret lifetime
ML
из первых двух. оно вычисляет точку возврата и делает сумму лайфтаймов
^
RP
я ошибся
ML
Понял
ML
а там уже внутри тела будет вывод лайфтайма для локальных переменных и проверка, что local ref != ret lifetime
Тогда это принципиально не отличается от раста
A
то есть раст уже не нужен
RP
After normal exit (not exceptional exit), each call site applies the postcondition that for every ret belongsto Pout, on function exit record pset(argument(ret)) = pset(ret).
A
или нужен
ML
то есть раст уже не нужен
Борроучекер может больше чем liveness analysis
RP
ну так покажи пример)
ML
ну так покажи пример)
Не понимаю зачем: скоуп борроучекера это не только лайфтаймы, а тут мы обсуждали только лайфтаймы)
ML
И документ только о лайфтаймах
RP
а что еще делает бч?
ML
Контроль мутабельности и эксклюзивности ссылок
ML
И наверченные поверх этого многопоточные гарантии
RP
Контроль мутабельности и эксклюзивности ссылок
ок.
RP
И наверченные поверх этого многопоточные гарантии
может поверх Sync/Send?