Rust - move 关键字

在 Rust 里，move 关键字的主要作用是把闭包外部的变量所有权转移到闭包内部。

所有权转移

在 Rust 中，闭包默认会借用变量。不过，要是闭包的生命周期超出了变量的作用域，或者需要把闭包的所有权转移出去（例如生成线程），就得把变量的所有权转移给闭包。这时候，move 关键字就能派上用场了。下面是一个简单的示例：

rust 复制代码

fn main() { 
    let x = vec![1, 2, 3]; 
    // 这里使用 move 关键字将 x 的所有权转移到闭包中
    let print_x = move || { 
        println!("x: {:?}", x); 
    }; 
    // 由于所有权已转移，下面这行代码会报错 
    // println!("{:?}", x); // 错误：value borrowed here after move 
    print_x(); // 正常运行，闭包拥有 x 的所有权 
}

在这个例子中，move 关键字让闭包获得了 x 的所有权，所以在闭包外部就不能再使用 x 了。

线程间传递数据

move 关键字常用于生成线程的场景，因为线程可能会比创建它的变量存活得更久。下面是一个线程间传递数据的例子：

rust 复制代码

use std::thread; 
fn main() { 
    let s = String::from("Hello"); 
    // 使用 move 闭包将 s 的所有权转移到新线程中 
    let handle = thread::spawn(move || { println!("{}", s); }); 
    // 主线程不能再使用 s 
    // println!("{}", s); // 错误：value borrowed here after move 
    handle.join().unwrap(); 
    // 等待子线程完成 
}

在这个例子中，move 闭包把 s 的所有权转移到了新线程中，这样新线程就能安全地使用 s 了。

与 Fn 特征的关系

闭包的特征是由它捕获变量的方式决定的：

Fn：通过不可变引用捕获变量。
FnMut：通过可变引用捕获变量。
FnOnce：通过值捕获变量，因为捕获后变量的所有权发生了转移，所以只能调用一次。

当使用 move 关键字时，闭包至少实现了 FnOnce 特征。如果闭包内的变量实现了 Copy 特征，那么闭包也可以实现 Fn 或 FnMut 特征。下面是一个与 Fn 特征相关的示例：

rust 复制代码

fn main() { 
    let x = 5; // 闭包通过不可变引用捕获 x 
    let add_x = |a| a + x; // 闭包实现了 Fn 特征，可以多次调用 
    println!("{}", add_x(1)); // 输出 6 
    println!("{}", add_x(2)); // 输出 7 
    let y = vec![1, 2, 3]; 
    // 使用 move 闭包转移 y 的所有权 
    let consume_y = move || println!("{:?}", y); 
    // 闭包实现了 FnOnce 特征，只能调用一次 
    consume_y(); // 正常运行 
    // consume_y(); // 错误：闭包已经被调用过，所有权已经转移 
}

在这个例子中，add_x 闭包通过不可变引用捕获 x，所以可以多次调用；而 consume_y 闭包使用 move 关键字转移了 y 的所有权，只能调用一次。

总结

move 关键字的作用：将闭包外部变量的所有权转移到闭包内部，避免悬垂引用，使闭包可以独立于原始环境存在。
适用场景：生成线程、返回闭包、需要转移所有权的场景。
注意事项 ：使用 move 后，原作用域就无法再使用被转移的变量了。