Rust中move操作的新手困惑：值类型与引用类型的所有权转移差异

你观察到的这个差异核心在于Rust的Copy trait，它决定了一个类型在被"移动"时是真正转移所有权，还是复制一份值。让我们一步步拆解：

1. move闭包的本质 #

move关键字的作用是强制闭包获取它捕获变量的所有权，但这里的"获取所有权"行为会因变量类型是否实现Copy而不同：

• 对于实现了Copy trait的类型（比如i32、bool、f64等基本值类型，以及一些简单的结构体），当闭包使用move捕获时，Rust会自动复制该变量的一份副本给闭包，原变量的所有权仍然保留在原作用域中。
• 对于未实现Copy trait的类型（比如Vec、String、自定义的非Copy结构体），move闭包会真正转移变量的所有权，原作用域之后就无法再访问该变量了。

2. 你的代码示例解析 #

第一个（i32）示例 #

你的第一个代码里，b是i32类型，它实现了Copy。所以：

• 当你用move || { ... }创建线程闭包时，Rust复制了b的当前值（12）给闭包，闭包里的b是一个独立的副本。
• 原作用域的b并没有失去所有权，所以你可以继续修改它为88，主线程输出的是修改后的88，而线程里的副本还是原来的12，这就解释了你的输出结果。

第二个（Vec）示例 #

Vec没有实现Copy（因为它管理堆内存，复制成本高，Rust默认不会自动复制），所以：

• move闭包直接拿走了Vec的所有权，原作用域的b变成了无效状态，后续尝试访问b.len()就会触发编译错误，这符合你预期的所有权规则。

3. 官方文档的结构化说明 #

Rust官方文档在以下部分详细解释了这个行为：

• 《Rust Book》的"Understanding Ownership"章节：其中的"Copy Types"小节明确列出了哪些类型实现了Copy，以及Copy和Move的核心区别——Copy类型在赋值、传递参数或被闭包捕获时，会复制值而非转移所有权。
• 《Rust Book》的"Closures: Anonymous Functions that Capture Their Environment"章节：关于move闭包的部分提到，对于Copy类型，move闭包捕获的是值的副本，而非原变量的所有权。

验证小实验 #

如果你想确认这个逻辑，可以尝试定义一个自定义的非Copy类型：

#[derive(Debug)]
struct NonCopyType(i32);

fn main() {
    let b = NonCopyType(12);
    std::thread::spawn(move || {
        println!("{:?}", b);
    });
    // 下面这行代码会编译失败，因为NonCopyType没有实现Copy，所有权已经被转移到闭包
    println!("{:?}", b);
}

这段代码会和你的Vec示例一样编译报错，进一步验证了Copy类型和非Copy类型在move闭包下的差异。

内容的提问来源于stack exchange，提问作者Stephan Møller