Rust 闭包 | 编程教程

简介

在本实验中，我们将探索闭包，它是 Rust 中的函数，能够通过引用其作用域之外的变量来捕获封闭环境。

注意：如果实验未指定文件名，你可以使用任何你想要的文件名。例如，你可以使用 main.rs，并通过 rustc main.rs &&./main 进行编译和运行。

Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/MemorySafetyandManagementGroup(["Memory Safety and Management"]) rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/DataTypesGroup -.-> rust/type_casting("Type Conversion and Casting") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/MemorySafetyandManagementGroup -.-> rust/lifetime_specifiers("Lifetime Specifiers") subgraph Lab Skills rust/variable_declarations -.-> lab-99322{{"探索 Rust 闭包与环境捕获"}} rust/integer_types -.-> lab-99322{{"探索 Rust 闭包与环境捕获"}} rust/type_casting -.-> lab-99322{{"探索 Rust 闭包与环境捕获"}} rust/function_syntax -.-> lab-99322{{"探索 Rust 闭包与环境捕获"}} rust/expressions_statements -.-> lab-99322{{"探索 Rust 闭包与环境捕获"}} rust/lifetime_specifiers -.-> lab-99322{{"探索 Rust 闭包与环境捕获"}} end

闭包

闭包是能够捕获封闭环境的函数。例如，一个捕获 x 变量的闭包：

|val| val + x

闭包的语法和功能使其在即时使用时非常方便。调用闭包与调用函数完全一样。然而，输入和返回类型可以被推断出来，并且输入变量名必须被指定。

闭包的其他特点包括：

在输入变量周围使用 || 而不是 ()。
对于单个表达式，可选的主体分隔符 ({})（否则是必需的）。
能够捕获外部环境变量。

fn main() {
    let outer_var = 42;

    // 普通函数不能引用封闭环境中的变量
    //fn function(i: i32) -> i32 { i + outer_var }
    // TODO：取消注释上面一行并查看编译器错误。编译器
    // 建议我们定义一个闭包代替。

    // 闭包是匿名的，这里我们将它们绑定到引用上
    // 注释与函数注释相同，但可以省略
    // 包围主体的 `{}` 也可以省略。这些无名函数
    // 被赋给适当命名的变量。
    let closure_annotated = |i: i32| -> i32 { i + outer_var };
    let closure_inferred  = |i     |          i + outer_var  ;

    // 调用闭包。
    println!("closure_annotated: {}", closure_annotated(1));
    println!("closure_inferred: {}", closure_inferred(1));
    // 一旦闭包的类型被推断出来，就不能再用另一种类型推断了。
    //println!("cannot reuse closure_inferred with another type: {}", closure_inferred(42i64));
    // TODO：取消注释上面一行并查看编译器错误。

    // 一个不接受参数并返回 `i32` 的闭包。
    // 返回类型是推断出来的。
    let one = || 1;
    println!("closure returning one: {}", one());

}

总结

恭喜你！你已经完成了闭包实验。你可以在 LabEx 中练习更多实验来提升你的技能。