闭包表达式

闭包表达式，也称为 lambda 表达式或 lambda，定义一个闭包类型并求值为该类型的值。闭包表达式的语法是可选的 async 关键字、可选的 move 关键字，然后是管道符号分隔的（|）逗号分隔的模式列表（称为闭包参数），每个模式后面可以选择性地跟 : 和类型，然后是可选的 -> 和类型（称为返回类型），然后是表达式（称为闭包主体操作数）。

每个模式后面的可选类型是模式的类型标注。

如果有返回类型，闭包主体必须是块。

闭包表达式表示一个函数，它将参数列表映射到参数后面的表达式。就像 [let 绑定]一样，闭包参数是不可反驳的模式，其类型标注是可选的，如果未给出将从上下文推断。

每个闭包表达式都有唯一的匿名类型。

重要的是，闭包表达式_捕获其环境_，而常规函数定义不这样做。

没有 move 关键字时，闭包表达式推断如何从其环境捕获每个变量，优先通过共享引用捕获，有效地借用闭包主体内提到的所有外部变量。

如果需要，编译器将推断应改为获取可变引用，或者应从环境移动或复制值（取决于其类型）。

可以通过在闭包前加上 move 关键字来强制闭包通过复制或移动值来捕获其环境。这通常用于确保闭包的生命周期是 'static。

闭包 trait 实现

闭包类型实现哪些 trait 取决于变量的捕获方式、捕获变量的类型以及 async 的存在。有关闭包如何以及何时实现 Fn、FnMut 和 FnOnce，请参阅调用 trait 和强制转换章节。如果每个捕获变量的类型也实现了该 trait，则闭包类型实现 Send 和 Sync。

异步闭包

标记有 async 关键字的闭包表示它们是异步的，类似于异步函数。

调用异步闭包不执行任何工作，而是求值为实现 Future 的值，该值对应于闭包主体的计算。

#![allow(unused)]
fn main() {
async fn takes_async_callback(f: impl AsyncFn(u64)) {
    f(0).await;
    f(1).await;
}

async fn example() {
    takes_async_callback(async |i| {
        core::future::ready(i).await;
        println!("done with {i}.");
    }).await;
}
}

示例

在此示例中，我们定义了一个函数 ten_times，它接受一个高阶函数参数，然后我们用闭包表达式作为参数调用它，接着是一个从其环境移动值的闭包表达式。

#![allow(unused)]
fn main() {
fn ten_times<F>(f: F) where F: Fn(i32) {
    for index in 0..10 {
        f(index);
    }
}

ten_times(|j| println!("hello, {}", j));
// With type annotations
ten_times(|j: i32| -> () { println!("hello, {}", j) });

let word = "konnichiwa".to_owned();
ten_times(move |j| println!("{}, {}", word, j));
}

闭包参数上的属性

闭包参数上的属性遵循与常规函数参数相同的规则和限制。

1. async 限定符在 2015 版本中不允许使用。 ↩