Rust 闭包

Rust 第20节 闭包

闭包就是C、C++中的匿名函数

闭包：可以捕获其所在环境的匿名函数

是匿名函数
保存为变量、作为参数
可以在一个地方创建闭包，然后在另一个上下文中调用闭包来完成运算
可从其定义的作用域捕获值

声明及使用

    let express = | num | {   // || 中是闭包的参数,也可以有多个参数
        println!("begin calculate .....");
        thread::sleep(Duration::from_secs(2));  //休眠两秒
        num
    };
    let n = express(12);  //调用闭包

    println!("n = {}",n);

闭包不要求标注参数和返回值类型

让结构体持有闭包

让结构体持有闭包，需要用到泛型和trait
每个闭包实例都有自己唯一的匿名类型，即使两个闭包签名完全一致

struct Mysleep<T>
where 
    T: Fn(u32) -> u32  //Fn Trait,闭包trait ;参数是u32，返回值是u32； Fn Trait是闭包trait的一种
{
    funication : T,
    value : Option<u32>,
}

定义结构体的方法

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);

闭包可以访问作用域中的参数

闭包可以访问定义它的作用域内的变量，而普通函数则不能
会产生内存开销

闭包从环境中获取值的方式

1. 取得所有权 FnOnce
2. 可变借用 FnMut
3. 不可变借用 Fn

创建闭包时，编译器根据会环境参数的使用，对闭包类型进行推断
手动创建时，先试用Fn，再根据编译器报错进行修改

move关键字
在参数列表前使用move关键字，可以强制闭包取得它使用的环境值的所有权
当闭包传递给新线程以移动数据使其归新线程所有时，此技术最为有用

    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
    };