AN
Поэтому плохо
Size: a a a
2021 March 10
AN
С телефона не удобно набирать код с обяснением
D
в текущей версии stacked borrows, одно ub а второе нет
AN
вот таком месте тольк сомнительный от этих всех правил. потому что поидее компилятор сам может вывести тут всё.
А
вот таком месте тольк сомнительный от этих всех правил. потому что поидее компилятор сам может вывести тут всё.
вне ансейф компилятор и не даст стделать две мутабельные ссылки на одну переменную
А
а в ансейф ты сам по себе
AN
я не о том. я про компилятор ллвм. тут ему не нужны хинты никакие что ссылки уникальные. это и так понятно
А
в примере выше как раз ссылки не уникальны
А
причём в обоих примерах
AN
я не правильно выразился. и так понятно уникально или нет.
А
человеку - да, компилятору - уже не очень
D
в примере выше как раз ссылки не уникальны
как раз таки во втором случае все уникальное
А
ну или человеку не понятно
А
потому что во втором случае вроде как тоже не уникально
А
let mut_ref = &mut *mut_ptr;потому что вот это даст ту же самую ссылку
AN
ты ее не используешь. она лочит mut_ptr на время использования.
D
let mut_ref = &mut *mut_ptr;потому что вот это даст ту же самую ссылку
перепиши вот так если тебе невидно
fn main() {
let mut x = 0;
let mut_ptr = &mut x as * mut _;
// ub, according to miri
/*
unsafe {
{
let mut_ref = &mut x;
*mut_ref = 2;
}
*mut_ptr;
}*/
unsafe {
{
let mut_ref = &mut *mut_ptr;
*mut_ref = 2;
}
*mut_ptr;
}
}А
ты ее не используешь. она лочит mut_ptr на время использования.
mut_ptr - это же указатель, его нельзя "залочить"
AN
mut_ptr - это же указатель, его нельзя "залочить"
в miri можно. но да там чуть другой алгоритм.
ΑZ
mut_ptr - это же указатель, его нельзя "залочить"
ты про stacked borrow читал?