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

视频地址

头条地址:https://www.ixigua.com/i677586170644791348...
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));
}
本作品采用《CC 协议》,转载必须注明作者和本文链接
令狐一冲
讨论数量: 0
(= ̄ω ̄=)··· 暂无内容!

讨论应以学习和精进为目的。请勿发布不友善或者负能量的内容,与人为善,比聪明更重要!
文章
255
粉丝
119
喜欢
308
收藏
128
排名:335
访问:2.8 万
私信
所有博文
社区赞助商