fn main() {
let mut n = 123;
let m = &mut n;
println!("n: {}", n);
println!("&n: {}", &n);
//*m = 332; // Ошибка!
modify_ref333(&mut n); // почему же так нормально,
// несмотря, что предыдущая строка вызывает ошибку?
// ведь она делает ТОЖЕ САМОЕ!
println!("n: {}", n);
println!("&n: {}", &n);
}
fn modify_ref333(m: &mut i32) {
*m = 333; // ok
}
Если откомментировать *m = 332;
в main
, это вызовет ошибку
error[E0502]: cannot borrow
n
as immutable because it is also borrowed as mutable
и это объясняется и, вроде бы, понятно. Но! Ведь функция modify_ref333
делает тоже самое - использует изменяемую ссылку, присваивая значение по адресу. Получается цели (как у них написано в официальном учебнике)
Users of an immutable reference don’t expect the value to suddenly change out from under them!
У нас также не может быть изменяемой ссылки, пока у нас есть неизменяемая ссылка на то же значение. Пользователи неизменной ссылки не ожидают, что значение внезапно изменится!
не достигается! Так легко "обмануть" компилятор или, все же, есть разница?
PS А вот так, оказалось, работает:
fn main() {
let mut n = 123;
println!("n: {}", n);
println!("&n: {}", &n);
let m = &mut n;
*m = 332;
println!("n: {}", n);
println!("&n: {}", &n);
}
Кто-нибудь может подсказать лаконичное правило, как можно использовать мьютабильную ссылку, а как нет, не нашел в доках (вернее, то, что там написано, нарушается примером)
let mut m = &mut n;
что ли?