为什么移动闭包不获取变量的所有权？

Question

Rust 编程语言说：

如果你想强制闭包取得它在环境中使用的值的所有权，你可以move在参数列表之前使用关键字

我注意到我的代码不会拥有这些值的所有权。我的代码和给定示例之间的差异是：

• 使用整数而不是Vec
• 使x可变而不是不可变

示例 1： 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));
}

示例 2：我的代码

fn main() {
    let mut x = 1;

    let equal_to_x = move |z| z == x;

    println!("can use x here: {:?}", x);

    let y = 1;

    assert!(equal_to_x(y));
}

1. 为什么示例 2 可以编译，但示例 1 却不能？

2. xA为什么即使我明确写 move在闭包前面，所有权也没有移动？为什么x移入封闭后可以访问？

Answer 1

答案在第一个示例的错误消息中给出

error[E0382]: borrow of moved value: `x`
 --> src/main.rs:6:40
  |
2 |     let x = vec![1, 2, 3];
  |         - move occurs because `x` has type `std::vec::Vec<i32>`, which does not implement the `Copy` trait
3 | 
4 |     let equal_to_x = move |z| z == x;
  |                      --------      - variable moved due to use in closure
  |                      |
  |                      value moved into closure here
5 | 
6 |     println!("can't use x here: {:?}", x);
  |                                        ^ value borrowed here after move

“发生移动是因为x具有 type std::vec::Vec<i32>，但它没有实现该Copy特征”

这意味着，当一个类型实现该Copy特征时（就像一个i32确实一样），move会将变量复制到闭包的范围中。