0x00 回顾与开篇
我们已经通过两节课介绍了Rust的函数使用方法，尤其是要学会使用Rust的高阶函数，它在后续的项目编写中会变得很常用。这节课学习函数的另一种表现形式——闭包（Closure），有些人也被称其为匿名函数，但不准确。
0x01 闭包的定义
闭包（Closure）通常是指词法闭包，是一个持有外部环境变量的函数。外部环境是指闭包定义时所在的词法作用域。外部环境变量，在函数式编程范式中也被称为自由变量，是指并不是在闭包内定义的变量。将自由变量和自身绑定的函数就是闭包。闭包通常有参数列表（由两条竖线包裹）和表达式组成，语法形式如下。
| parameters | expression
示例代码如下：
let add = |a, b| a + b; // let add: fn(i32, i32) -> i32 = |a, b| a + b; let result = add(1, 2); // let result = add(1.2, 3.4); dbg!(result);
代码运行结果：
result = 3
解释下上面的代码，第一行代码声明了一个函数类型，其使用闭包语法创建的。我们没有为其指定类型，它会根据上下文推断为fn(i32, i32) -> i32类型，相当于第二行注释。再看第4行注释的代码，如果将它打开则会报错，因为前面已经将其推断为fn(i32, i32) -> i32类型，不再接收其它类型。从上面的代码来看，又感觉闭包是简化版的函数。
0x02 从函数到闭包
下面用一个例子来看下从函数到闭包经过了哪些变化。
首先我们先定义一个函数
fn add(a:i32, b:i32) -> i32 {a + b}
转成闭包，使用let关键字声明，括号变成管道符号。最后添加分号结束。
let add = |a:i32, b:i32|->i32 {a + b};
简化，去除参数类型的声明。闭包并不像函数那样严格要求注明函数类型和返回值类型，去除括号。
let add = |a, b| {a + b};
继续简化，
let add = |a, b| a + b;
0x03 捕获变量
在闭包中还存在一个特点，它可以捕获和使用其被定义时所在的作用域中的变量。
示例代码如下：
let k = 8; let add_var = |a| a + k; let result = add_var(10); dbg!(result);
代码运行结果：
result = 18
0x04 小结
本节介绍了Rust的闭包。总结下闭包的特点吧。
- 闭包不严格要求注明参数和返回值类型
- 不注明类型的闭包，若多次调用但传递不同类型，则会发生错误
- 闭包可以捕获和使用其所在作用域中的变量
- 闭包通常适用于相对较小的场景上下文
- 闭包性能要快于函数指针（后续章节会详细介绍）
本节课仅仅是简单介绍了闭包的使用，关于闭包其实还有更多的知识点。在后续的Rust进阶课程中我会再次讲解闭包。
