我正在阅读 Rust 书,我正在阅读描述闭包的章节。我对为什么以下示例会由于闭包取得所有权而出现错误感到有些困惑:
fn main() {
let x = vec![1, 2, 3];
let equal_to_x = move |z| z == x;
println!("can't use x here: {:?}", x);
let y = vec![1, 2, 3];
assert!(equal_to_x(y));
}
Run Code Online (Sandbox Code Playgroud)
也就是说,为什么在它被调用之前就equal_to_x取得了所有权x?编译器不应该知道闭包还没有被调用(因为它是由 拥有的main),因此 x 仍然可以由 的外部范围拥有main吗?
因为闭包本质上是一个带有与之关联的函数的结构体。我发现更容易想到这样的闭包:
struct MyClosure{
x: Vec<i32>
};
impl MyClosure {
pub fn execute(self, z: Vec<i32>) -> bool {
z == self.x
}
}
Run Code Online (Sandbox Code Playgroud)
如果这样想,你的代码就相当于
let equal_to_x = MyClosure {
x
};
Run Code Online (Sandbox Code Playgroud)
所以你可以看到为什么移动会发生。