我正在学习Rust,而且我遇到了一些令人困惑的行为。以下代码编译正常并按预期工作(编辑:添加除测试函数以外的代码,之前省略):
struct Container<'a> {
contents : &'a mut i32,
}
fn main() {
let mut one = Container { contents: &mut 5 };
test(&mut one);
println!("Contents: {}",one.contents);
}
fn test<'a>(mut x : &'a mut Container) {
*x.contents += 1;
let y = x;
*y.contents += 1;
x = y;
println!("{:?}",*x.contents)
}
现在在声明中
let y = x;
推断出类型。由于x
的类型为&'a mut Container
,我认为这是等效的:
let y: &'a mut Container = x;
但是当我这样做时,编译器会遇到问题:
test_3.rs:25:5: 25:10 error: cannot assign to `x` because it is borrowed
test_3.rs:25 x = y;
^~~~~
test_3.rs:23:33: 23:34 note: borrow of `x` occurs here
test_3.rs:23 let y: &'a mut Container = x;
在正确运行的示例中,x
如何不被这一点借用?我通过从正确工作的版本中省略了行x = y;
进行了测试,编译器说:
test_3.rs:24:13: 24:14 note: `x` moved here because it has type `&mut Container<'_>`, which is moved by default
所以,当我没有明确定义类型时,我会采取行动,否则就是借入。发生了什么,如何在明确给出类型的同时获得与之前相同的行为,以及在一种情况下导致移动行为的原因是什么,而在另一种情况下借用?
使用完整程序进行编辑
答案 0 :(得分:6)
当你这样做时
let y = x;
一举一动。可以说,x
已清空,并且所有权已转移到y
。
当你做任何一个
let y: &mut _ = x;
let y: &'a mut _ = x;
x
被重新借用以帮助匹配生命周期。这大致转化为
let y: &mut _ = &mut *x;
let y: &'a mut _ = &mut *x;
这使得x
非空,持有别名的可变借位。因此,分配它必须等待y
被销毁。或者,您可以预先移动它
let tmp = x;
let y: &'a mut _ = tmp;
我承认这是非显而易见的行为,如果不借用整个价值,你就无法借用价值的内容,这是一种耻辱。