视频地址
头条地址:https://www.ixigua.com/i6775861706447913485
B站地址: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));
}