Rust 编程视频教程（进阶）——005_3 闭包捕获环境中的值

视频地址

头条地址：https://www.ixigua.com/i6775861706447913485
Ｂ站地址：https://www.bilibili.com/video/av81202308/

讲解内容

1、闭包捕获环境中的值

fn main() {
    let x = 4;
    let equal_to_x = |z| z == x; //捕获环境中的值
    let y = 4;
    assert!(equal_to_x(y));
}

闭包可以通过三种方式捕获其环境，它们对应函数的三种获取参数的方式，分别是获取所有权、可变借用、不可变借用。

这三种捕获值的方式被编码为如下三个Fn trait：
（1）FnOnce消费从周围作用域捕获的变量，闭包周围的作用域被称为其环境。为了消费捕获到的变量，闭包必须获取其所有权并在定义闭包时将其移进闭包。其名称的Once部分代表了闭包不能多次获取相同变量的所有权。
（2）FnMut获取可变的借用值，所以可以改变其环境。
（3）Fn从其环境获取不可变的借用值。
当创建一个闭包时，rust会根据其如何使用环境中的变量来推断我们希望如何引用环境。由于所有闭包都可以被调用至少一次，因此所有闭包都实现了FnOnce。没有移动被捕获变量的所有权到闭包的闭包也实现了FnMut，而不需要对捕获的变量进行可变访问的闭包实现了Fn。

2、如果希望强制闭包获取环境中变量的所有权，可以在参数列表前使用move关键字。例子如下：

fn main() {
    let x = vec![1, 2, 3];
    let equal_to_x = move |z| z == x; //移动到闭包
    println!("x ===== {}", x); //此处报错，因为x已经被移动到闭包中
    let y = vec![1, 2, 3];
    assert!(equal_to_x(y));
}