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

Question

The Rust Programming Language says:

如果你想强制闭包获取它在环境中使用的值的所有权，你可以在参数列表前使用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. A为什么x的所有权没有移动，即使我在闭包前明确写了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 的类型为 std::vec::Vec<i32>，它没有实现 Copy 特征”

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