Rust 第20节 闭包
闭包就是C、C++中的匿名函数
闭包:可以捕获其所在环境的匿名函数
是匿名函数
保存为变量、作为参数
可以在一个地方创建闭包,然后在另一个上下文中调用闭包来完成运算
可从其定义的作用域捕获值
声明及使用
rust
let express = | num | { // || 中是闭包的参数,也可以有多个参数
println!("begin calculate .....");
thread::sleep(Duration::from_secs(2)); //休眠两秒
num
};
let n = express(12); //调用闭包
println!("n = {}",n);
闭包不要求标注参数和返回值类型
让结构体持有闭包
让结构体持有闭包,需要用到泛型和trait
每个闭包实例都有自己唯一的匿名类型,即使两个闭包签名完全一致
rust
struct Mysleep<T>
where
T: Fn(u32) -> u32 //Fn Trait,闭包trait ;参数是u32,返回值是u32; Fn Trait是闭包trait的一种
{
funication : T,
value : Option<u32>,
}
定义结构体的方法
rust
impl <T> Mysleep<T>
where
T : Fn(u32) -> u32
{
fn new( fun : T) -> Mysleep<T>{ // 参数是匿名函数,返回值是结构体
Mysleep {
funication : fun,
value : None,
}
}
fn get_value(&mut self,values : u32) -> u32 {//返回结构体中匿名函数的值
match self.value {
Some(v) => {//此结构体具有记忆功能,会保存之前计算出的数据
v
},
None => {
let v = (self.funication)(values);
self.value = Some(v);
v
}
}
}
}
//主函数调用
let mut x = Mysleep::new(express);
let y = x.get_value(16);
println!("y = {}",y);
闭包可以访问作用域中的参数
闭包可以访问定义它的作用域内的变量,而普通函数则不能
会产生内存开销
闭包从环境中获取值的方式
- 取得所有权 FnOnce
- 可变借用 FnMut
- 不可变借用 Fn
创建闭包时,编译器根据会环境参数的使用,对闭包类型进行推断
手动创建时,先试用Fn,再根据编译器报错进行修改
move关键字
在参数列表前使用move关键字,可以强制闭包取得它使用的环境值的所有权
当闭包传递给新线程以移动数据使其归新线程所有时,此技术最为有用
rust
let x = 5;
let y = | m | {
m == x
};
println!("result = {},x = {}",y(5),x);
let x = vec![1,2,3];
let y = move | z : Vec<i32>| {
z == x
};