一个说明借用/Move细节的鲜活例子
如下面例子,直接传一个元组进去,不行。索引里面的元素,直接传,可以。为什么?
fn f(input: (usize, &mut usize)) {
unimplemented!()
}
fn call_f_a_bunch_of_times(input: (usize, &mut usize)) {
for _ in 0..10 {
// f(input); // ERROR: use of moved value
f((input.0, input.1)); // OK
}
}
问题在于,(usize, &mut usize)
没有实现 Copy
,所以在循环中一传就报 ERROR: use of moved value
。
而 input.0
是实现了 Copy
的。
input.1 &mut usize
没有实现 Copy
,但是 Rust 编译器的规则会为这种情况自动做类似如下操作 &mut *input.1
,相当于创建了一个新的借用,而且是借用的新的资源(因为 usize 是 COPY
的)。
比如下面的代码:
let x = &mut 1u64;
foo(x);
foo(x);
是可以编译的。