Вот у меня, кстати, возник философский по меркам раста вопрос:

Лол, што. А как эта штука работает? Хотелось бы понять, чтобы второй раз на одни и те же грабли не вставать https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=44b85ad9475b654ca48c58a2a0f90eeb UPD: новая ссылка

0

21.03.2022

mental stability🥺✨

вафля'
более того, тейк тоже через сейф код реализован: h...

Он же безопасный только потому, что оба &mut куска не пересекающиеся?

0

21.03.2022

примитивушка Автор вопроса

mental stability🥺✨
Он же безопасный только потому, что оба &mut куска...

Да. В растбуке написно, что это законно

0

21.03.2022

Пух

mental stability🥺✨
Он же безопасный только потому, что оба &mut куска...

И еще потому что все остальные правила мемсейфа выполняются, угу хД

0

21.03.2022

вафля'

примитивушка
Лол, што. А как эта штука работает? Хотелось бы по...

А почему оно не должно работать?

0

21.03.2022

вафля'

Потому что когда ты на &'a mut &'b mut T вызываешь &mut self метод, то у тебя это всё коерсится к &'a mut T. У тебя есть доступ к объекту только по самому меньшему из лайфтаймов в цепочке (он же самый наружный)

0

21.03.2022

примитивушка Автор вопроса

Я к тому, что это недостаток скорее. С моей точки зрения, без учёта этого признака, всё нормально и работа с памятью безопасна. А take - легальный костыль, чтобы чекер заработал нормально.

0

21.03.2022

вафля'

примитивушка
Я к тому, что это недостаток скорее. С моей точки ...

Ну просто это фундоментальная штука, без которой у тебя ничего не будет работать. Если у тебя &'a mut &'b mut T мог коерсится в &'b mut T то у тебя бы вообще всё сломалось, например (псевдокод): 'a: { let mut object = ...; let mut ref_a: &'a mut _ = &mut object; let second_ref_a: &'a mut _ = 'b: { let mut ref_b: &'b mut &'a mut _ = &mut ref_a; ref_b.coerce() // ref_b goes out of scope, so ref_a unfreezes }; // ref_a and second_ref_a point to the same object :O }

0

21.03.2022

примитивушка Автор вопроса

вафля'
Потому что когда ты на &'a mut &'b mut T вызываешь...

Ну, кажется я "вкурил". Спасибо :)

0

21.03.2022

Пух · Accepted Answer

Пух

Скорее всего нео

0

21.03.2022

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

Вот у меня, кстати, возник философский по меркам раста вопрос:

17 ответов

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