Https://Play.Rust-Lang.Org/?Version=Stable&Mode=Debug&Edition=2021&Gist=4bedec17ac966829783723dd5cf4556a Нам не даст пронаблюдать существование невалидной ссылки после последнего использования

nll позволяет породить ненаблюдаемую невалидную ссылку. точно так-же как и #[may_dangle]. Единственная разница, в том, что на #[may_dangle] не работает (из-за сайд эффектов) твоя интуитивная ложь про drop() после последнего использования, всё. И с #[may_dangle] и с обычными структурами и nll у тебя технически есть невалидная ссылка, но наблюдать ты её не можешь.

0

31.05.2022

Max Силинг Автор вопроса

вафля'
nll позволяет породить ненаблюдаемую невалидную сс...

почему это ложь? ты не можешь пронаблюдать отсутствие неявного drop() после последнего использования

0

31.05.2022

вафля'

Потому что в расте значения умирают в конце блока, просто пока у них нет сайдэффектов в дропе, неважно где конкретно они умерли.

0

31.05.2022

Max Силинг Автор вопроса

вафля'
Потому что в расте значения умирают в конце блока,...

это нельзя пронаблюдать именно в значении «физически невозможно», а не в значении «наблюдать это — UB»

0

31.05.2022

вафля'

Max Силинг
это нельзя пронаблюдать именно в значении «физичес...

И? Какая разница, UB by definition физически невозможно.

0

31.05.2022

вафля' · Accepted Answer

вафля'

...и точно так-же may_dangle не даёт нам наблюдать невалидную ссылку ну сколько можно одно и тоже :(

0

31.05.2022

172 похожих чатов

Https://Play.Rust-Lang.Org/?Version=Stable&Mode=Debug&Edition=2021&Gist=4bedec17ac966829783723dd5cf4556a Нам не даст пронаблюдать существование невалидной ссылки после последнего использования

13 ответов

Похожие вопросы