@ -1,6 +1,6 @@
# 闭包closure
关于 闭包这个词语由来已久， ， ， ， ， 的 把闭包作为核心特性纳入到语言设计中来。那么到底何为闭包？
闭包这个词语由来已久， `Scheme` 语言引进之后， ， ， 地 把闭包作为核心特性纳入到语言设计中来。那么到底何为闭包？
闭包是**一种匿名函数，它可以赋值给变量也可以作为参数传递给其它函数，不同于函数的是，它允许捕获调用者作用域中的值**，例如：
```rust
@ -12,14 +12,14 @@ fn main() {
}
```
上面的代码展示了非常简单的闭包`sum`，它拥有一个入参`y`，同时捕获了作用域中的`x`的值，因此调用`sum(2)`意味着将2(参数`y`)跟1（ `3`。
上面的代码展示了非常简单的闭包 `sum` ，它拥有一个入参 `y` ，同时捕获了作用域中的 `x` 的值，因此调用 `sum(2)` 意味着将 2(参数 `y` ) 跟 1（ `3`。
可以看到 `sum` 非常符合闭包的定义：可以赋值给变量，允许捕获调用者作用域中的值。
## 使用闭包来简化代码
#### 传统函数实现
想象一下，我们要进行健身，用代码怎么实现( 写代码什么鬼，健身难道不应该去健身房嘛？答曰：健身太累了，还是虚拟健身好，点到为止) ？这里是我的想法：
想象一下，我们要进行健身，用代码怎么实现（ ）
```rust
use std::thread;
use std::time::Duration;
@ -64,10 +64,10 @@ fn main() {
}
```
可以看到，在健身时我们根据想要的强度来调整具体的动作，然后调用`muuuuu`函数来开始健身。这个程序本身很简单，没啥好说的，但是假如未来不用`muuuu`函数了，是不是得把所有`muuuu`都替换成，比如说`woooo`? 如果`muuuu` 出现了几十次，那意味着我们要修改几十处地方。
可以看到，在健身时我们根据想要的强度来调整具体的动作，然后调用 `muuuuu` 函数来开始健身。这个程序本身很简单，没啥好说的，但是假如未来不用 `muuuu` 函数了，是不是得把所有 `muuuu` 都替换成，比如说 `woooo` ？ `muuuu` 出现了几十次，那意味着我们要修改几十处地方。
#### 函数变量实现
一个可行的办法是，把函数赋值给一个变量，然后通过变量调用:
一个可行的办法是，把函数赋值给一个变量，然后通过变量调用：
```rust
fn workout(intensity: u32, random_number: u32) {
let action = muuuuu;
@ -102,7 +102,7 @@ fn workout(intensity: u32, random_number: u32) {
#### 闭包实现
上面提到`intensity`要是变化怎么办，简单，使用闭包来捕获它，这是我们的拿手好戏:
上面提到 `intensity` 要是变化怎么办，简单，使用闭包来捕获它，这是我们的拿手好戏：
```rust
fn workout(intensity: u32, random_number: u32) {
let action = || {
@ -145,7 +145,7 @@ fn main() {
在上面代码中，无论你要修改什么，只要修改闭包 `action` 的实现即可，其它地方只负责调用，完美解决了我们的问题！
Rust闭包在形式上借鉴了`Smalltalk`和`Ruby`语言，与函数最大的不同就是它的参数是通过`|parm1|`的形式进行声明，如果是多个参数就`|param1, param2,...|`, 下面给出闭包的形式定义：
Rust 闭包在形式上借鉴了 `Smalltalk` 和 `Ruby` 语言，与函数最大的不同就是它的参数是通过 `|parm1|` 的形式进行声明，如果是多个参数就 `|param1, param2,...|` ， 下面给出闭包的形式定义：
```rust
|param1, param2,...| {
语句1;
@ -159,23 +159,23 @@ Rust闭包在形式上借鉴了`Smalltalk`和`Ruby`语言，与函数最大的
|param1| 返回表达式
```
上例中还有两点值得注意:
上例中还有两点值得注意：
- ** 闭包中最后一行表达式返回的值，就是闭包执行后的返回值**，因此 `action()` 调用返回了 `intensity` 的值 `10`
- `let action = ||...` 只是把闭包赋值给变量 `action` ，并不是把闭包执行后的结果赋值给 `action` ，因此这里 `action` 就相当于闭包函数，可以跟函数一样进行调用：`action()`
## 闭包的类型推导
Rust是静态语言， ， ， 的 去声明类型， ， ， ，
Rust 是静态语言，因此所有的变量都具有类型，但是得益于编译器的强大类型推导能力，在很多时候我们并不需要显式地 去声明类型，但是显然函数并不在此列，必须手动为函数的所有参数和返回值指定类型，原因在于函数往往会作为 API 提供给你的用户，因此你的用户必须在使用时知道传入参数的类型和返回值类型。
与函数相反， ， ，
为了增加代码可读性，有时候我们会显式的 给类型进行标注，出于同样的目的，也可以给闭包标注类型：
为了增加代码可读性，有时候我们会显式地 给类型进行标注，出于同样的目的，也可以给闭包标注类型：
```rust
let sum = |x: i32, y: i32| -> i32 {
x + y
}
```
与之相比，不标注类型的闭包声明会更简洁些: `let sum = |x, y| x + y` , 需要注意的是，针对`sum`闭包，如果你不在后续代码中使用它，编译器会提示你为`x,y` 添加类型标注，因为它缺乏必要的上下文：
与之相比，不标注类型的闭包声明会更简洁些: `let sum = |x, y| x + y` ，需要注意的是，针对 `sum` 闭包，如果你只进行了声明，但是没有使用，编译器会提示你为 `x,y` 添加类型标注，因为它缺乏必要的上下文：
```rust
let sum = |x, y| x + y;
let v = sum(1,2);
@ -183,7 +183,7 @@ let v = sum(1,2);
这里我们使用了 `sum` ，同时把 `1` 传给了 `x` ， `y` ，因此编译器才可以推导出 `x,y` 的类型为 `i32` 。
下面展示了同一个功能的函数和闭包实现形式:
下面展示了同一个功能的函数和闭包实现形式：
```rust
fn add_one_v1 (x: u32) -> u32 { x + 1 }
let add_one_v2 = |x: u32| -> u32 { x + 1 };
@ -193,7 +193,7 @@ let add_one_v4 = |x| x + 1 ;
可以看出第一行的函数和后面的闭包其实在形式上是非常接近的，同时三种不同的闭包也展示了三种不同的使用方式：省略参数、返回值和花括号对。
虽然类型推导很好用，但是它不是泛型，**当编译器推导出一种类型后，它就会一直使用该类型**:
虽然类型推导很好用，但是它不是泛型，**当编译器推导出一种类型后，它就会一直使用该类型**：
```rust
let example_closure = |x| x;
@ -229,19 +229,19 @@ where
}
```
等等， ， ？ ？ ， ： ， ， Rust的语法特性就基础入门那一些嘛？ ！ ，
等等，我都跟着这本教程学完 Rust 基础了，为何还有我不认识的东东？`Fn(u32) -> u32` 是什么鬼？ ， ： ， ， Rust 的语法特性就基础入门那一些吗？太年轻了！如果是长征，你才刚到赤水河。
其实，可以看的出这一长串是`T` 的特征约束，再结合之前的已知信息：`query`是一个闭包，大概可以推测出，`Fn(u32) -> u32`是一个特征，用来表示`T`是一个闭包类型？ ， ， ！
其实，可以看得出这一长串是 `T` 的特征约束，再结合之前的已知信息：`query` 是一个闭包，大概可以推测出，`Fn(u32) -> u32` 是一个特征，用来表示 `T` 是一个闭包类型？ ， ， ！
那为什么不用具体的类型来标注`query`呢？原因很简单，每一个闭包实例都有独属于自己的类型，甚至于两个签名一模一样的闭包，它们的类型都是不同的，因此你无法用一个统一的类型来标注`query`闭包。
那为什么不用具体的类型来标注 `query` 呢？原因很简单，每一个闭包实例都有独属于自己的类型，甚至于两个签名一模一样的闭包，它们的类型都可能 是不同的，因此你无法用一个统一的类型来标注 `query` 闭包。
而标准库提供的`Fn`系列特征，再结合特征约束，就很好的解决了这个问题. `T: Fn(u32) -> u32` 意味着`query`的类型是`T`，该类型必须实现了相应的闭包特征`Fn(u32) -> u32`。从特征的角度来看它长得非常反直觉， ，
而标准库提供的 `Fn` 系列特征，再结合特征约束，就能 很好的解决了这个问题. `T: Fn(u32) -> u32` 意味着 `query` 的类型是 `T` `Fn(u32) -> u32` Rust 团队的鬼才设计。。。
特征`Fn(u32) -> u32`从表面来看，就对闭包形式进行了显而易见的限制：**该闭包拥有一个`u32`类型的参数，同时返回一个`u32`类型的值**.
特征 `Fn(u32) -> u32` 从表面来看，就对闭包形式进行了显而易见的限制：**该闭包拥有一个`u32`类型的参数，同时返回一个`u32`类型的值**。
> 需要注意的是，其实 Fn 特征不仅仅适用于闭包，还适用于函数，因此上面的 `query` 字段除了使用闭包作为值外，还能使用一个具名的函数来作为它的值
接着，为缓存实现方法:
接着，为缓存实现方法：
```rust
impl< T > Cacher< T >
where
@ -272,7 +272,7 @@ where
## 捕获作用域中的值
在之前代码中，我们一直在用闭包的匿名函数特性(赋值给变量)，然而闭包还拥有一项函数所不具备的特性: 捕获作用域中的值。
在之前代码中，我们一直在用闭包的匿名函数特性(赋值给变量)，然而闭包还拥有一项函数所不具备的特性：
```rust
fn main() {
let x = 4;
@ -287,7 +287,7 @@ fn main() {
上面代码中，`x` 并不是闭包 `equal_to_x` 的参数，但是它依然可以去使用 `x` ，因为 `equal_to_x` 在 `x` 的作用域范围内。
对于函数来说，就算你把函数定义在`main`函数体中，它也不能访问`x`:
对于函数来说，就算你把函数定义在 `main` 函数体中，它也不能访问 `x` ：
```rust
fn main() {
let x = 4;
@ -313,14 +313,14 @@ error[E0434]: can't capture dynamic environment in a fn item // 在函数中无
= help: use the `|| { ... }` closure form instead // 使用闭包替代
```
如上所示，编译器准确的告诉了我们错误，同时甚至 给出了提示：使用闭包来替代函数，这种聪明令我有些无所适从，总感觉会显得我很笨。
如上所示，编译器准确地告诉了我们错误，甚至同时 给出了提示：使用闭包来替代函数，这种聪明令我有些无所适从，总感觉会显得我很笨。
#### 闭包对内存的影响
当闭包从环境中捕获一个值时，会分配内存去存储这些值。对于有些场景来说，这种额外的内存分配会成为一种负担。与之相比，函数就不会去捕获这些环境值，因此定义和使用函数不会拥有这种内存负担。
#### 三种Fn特征
闭包捕获变量有三种途径，恰好对应函数参数的三种传入方式：转移所有权、可变借用、不可变借用，因此相应的Fn特征也有三种:
1. `FnOnce` , 该类型的闭包会拿走被捕获变量的所有权。`Once`顾名思义，说明该闭包只能运行一次：
闭包捕获变量有三种途径，恰好对应函数参数的三种传入方式：转移所有权、可变借用、不可变借用，因此相应的 `Fn` 特征也有三种：
1. `FnOnce` ， 顾名思义，说明该闭包只能运行一次：
```rust
fn fn_once< F > (func: F)
@ -380,7 +380,7 @@ false
如果你想强制闭包取得捕获变量的所有权，可以在参数列表前添加 `move` 关键字，这种用法通常用于闭包的生命周期大于捕获变量的生命周期时，例如将闭包返回或移入其他线程。
2. `FnMut` , 它以可变借用的方式捕获了环境中的值，因此可以修改该值：
2. `FnMut` ，
```rust
fn main() {
let mut s = String::new();
@ -405,7 +405,7 @@ error[E0596]: cannot borrow `update_string` as mutable, as it is not declared as
| ^^^^^^^^^^^^^ cannot borrow as mutable
```
虽然报错了，但是编译器给出了非常清晰的提示，想要在闭包内部捕获可变借用，需要把该闭包声明为可变类型，也就是`update_string`要修改为`mut update_string`:
虽然报错了，但是编译器给出了非常清晰的提示，想要在闭包内部捕获可变借用，需要把该闭包声明为可变类型，也就是 `update_string` 要修改为 `mut update_string` ：
```rust
fn main() {
let mut s = String::new();
@ -439,7 +439,25 @@ fn exec<'a, F: FnMut(&'a str)>(mut f: F) {
这段代码非常清晰的说明了 `update_string` 实现了 `FnMut` 特征
3. `Fn` 特征，它以不可变借用的方式捕获环境中的值
让我们把上面的代码中`exec`的`F`泛型参数类型修改为`Fn(& 'a str)`，然后运行看看结果:
让我们把上面的代码中 `exec` 的 `F` 泛型参数类型修改为 `Fn(&'a str)` ：
```rust
fn main() {
let mut s = String::new();
let update_string = |str| s.push_str(str);
exec(update_string);
println!("{:?}",s);
}
fn exec< 'a, F: Fn(& 'a str)>(mut f: F) {
f("hello")
}
```
然后运行看看结果：
```console
error[E0525]: expected a closure that implements the `Fn` trait, but this closure only implements `FnMut`
--> src/main.rs:4:26 // 期望闭包实现的是`Fn`特征，但是它只实现了`FnMut`特征
@ -454,7 +472,7 @@ error[E0525]: expected a closure that implements the `Fn` trait, but this closur
| ---- the requirement to implement `Fn` derives from here
```
从报错中很清晰的看出，我们的闭包实现的是`FnMut`特征，但是在`exec`中却给它标注了`Fn`特征，因此产生了不匹配，再来看看正确的不可变借用方式：
从报错中很清晰的看出，我们的闭包实现的是 `FnMut` 特征，需要的是可变借用， 但是在 `exec` 中却给它标注了 `Fn` 特征，因此产生了不匹配，再来看看正确的不可变借用方式：
```rust
fn main() {
let s = "hello, ".to_string();
@ -477,7 +495,7 @@ fn exec<'a, F: Fn(String) -> ()>(f: F) {
##### move和Fn
在上面，我们讲到了 `move` 关键字对于 `FnOnce` 特征的重要性，但是实际上使用了 `move` 的闭包依然可能实现了 `Fn` 或 `FnMut` 特征。
因为，**一个闭包实现了哪种Fn特征取决于该闭包如何使用被捕获的变量， 本身强调的就是后者：闭包如何捕获变量:
因为，**一个闭包实现了哪种 Fn 特征取决于该闭包如何使用被捕获的变量，而不是取决于闭包如何捕获它们**。`move` 本身强调的就是后者，闭包如何捕获变量：
```rust
fn main() {
let s = String::new();
@ -487,14 +505,14 @@ fn main() {
exec(update_string);
}
fn exec< F: Fn ( ) > (f: F) {
fn exec< F: Fn Once ( ) > (f: F) {
f()
}
```
我们在上面的闭包中使用了`move`关键字，因此我们的闭包捕获了它，但是由于闭包对`s`的使用仅仅是不可变借用，因为该闭包实际上**还**实现了`Fn`特征，如`exec`函数所示 。
我们在上面的闭包中使用了 `move` 关键字，所以我们的闭包捕获了它，但是由于闭包对 `s` 的使用仅仅是不可变借用，因此该闭包实际上**还**实现了 `Fn` 特征 。
细心的读者肯定发现我在上段中使用了一个`还`字，这是什么意思呢？因为该闭包不仅仅实现了`Fn`特征，还实现了`FnOnce `特征，因此 将代码修改成下面这样，依然可以编译：
细心的读者肯定发现我在上段中使用了一个 `还` 字，这是什么意思呢？因为该闭包不仅仅实现了 `FnOnce ` 特征，还实现了 `Fn` 特征，将代码修改成下面这样，依然可以编译：
```rust
fn main() {
let s = String::new();
@ -504,18 +522,18 @@ fn main() {
exec(update_string);
}
fn exec< F: Fn Once ( ) > (f: F) {
fn exec< F: Fn ( ) > (f: F) {
f()
}
```
##### 三种 Fn 的关系
实际上， ， ：
- 所有的闭包都实现了`FnOnce`特征，因此任何一个闭包都至少可以被调用一次
- 没有移出所捕获变量的所有权的闭包实现了`FnMut`特征
- 不需要对捕获变量进行改变的闭包实现了`Fn`特征
实际上，一个闭包并不仅仅实现某一种 ` Fn` 特征，规则如下：
- 所有的闭包都自动 实现了 `FnOnce` 特征，因此任何一个闭包都至少可以被调用一次
- 没有移出所捕获变量的所有权的闭包自动 实现了 `FnMut` 特征
- 不需要对捕获变量进行改变的闭包自动 实现了 `Fn` 特征
用一段代码来简单诠释上述规则:
用一段代码来简单诠释上述规则：
```rust
fn main() {
let s = String::new();
@ -566,7 +584,7 @@ fn exec<'a, F: FnMut(&'a str) -> String>(mut f: F) {
| this closure implements `FnOnce` , not `FnMut`
```
此例中，闭包从捕获环境中移出了变量`s`的所有权，因此这个闭包仅实现了`FnOnce`，未实现`FnMut`和`Fn`。再次印证之前讲的**一个闭包实现了哪种Fn特征取决于该闭包如何使用被捕获的变量，
此例中，闭包从捕获环境中移出了变量 `s` 的所有权，因此这个闭包仅自动 实现了 `FnOnce` `FnMut` 和 `Fn` Fn 特征取决于该闭包如何使用被捕获的变量，而不是取决于闭包如何捕获它们**，跟是否使用 `move` 没有必然联系。
如果还是有疑惑？没关系，我们来看看这三个特征的简化版源码：
```rust
@ -587,7 +605,7 @@ pub trait FnOnce<Args> {
看到没？从特征约束能看出来 `Fn` 的前提是实现 `FnMut` ， `FnOne` ，因此要实现 `Fn` 就要同时实现 `FnMut` 和 `FnOnce` ，这段源码从侧面印证了之前规则的正确性。
从源码中还能看出一点：`Fn`获取`& self`， & mut self`，而`FnOnce`获取`self`.
从源码中还能看出一点：`Fn` 获取 `&self` ， `&mut self` ，而 `FnOnce` 获取 `self` 。
在实际项目中，**建议先使用 `Fn` 特征**，然后编译器会告诉你正误以及该如何选择。
## 闭包作为函数返回值
@ -615,7 +633,7 @@ fn factory<T>() -> Fn(i32) -> i32 {
Rust 要求函数的参数和返回类型，必须有固定的内存大小，例如 `i32` 就是4个字节， ， ， ， ， ， ， ，
但是我们又无法知道闭包的具体类型，该怎么办呢？再看看报错提示:
同样，我们也无法知道闭包的具体类型，该怎么办呢？再看看报错提示：
```console
help: use `impl Fn(i32) -> i32` as the return type, as all return paths are of type `[closure@src/main.rs:11:5: 11:21]` , which implements `Fn(i32) -> i32`
|
@ -624,7 +642,7 @@ help: use `impl Fn(i32) -> i32` as the return type, as all return paths are of t
嗯，编译器提示我们加一个 `impl` 关键字，哦，这样一说，读者可能就想起来了，`impl Trait` 可以用来返回一个实现了指定特征的类型，那么这里 `impl Fn(i32) -> i32` 的返回值形式，说明我们要返回一个闭包类型，它实现了 `Fn(i32) -> i32` 特征。
完美解决，但是，在[特征](../../basic/trait/trait.md)那一章，我们提到过，`impl Trait`的返回方式有一个非常大的局限，就是你只能返回同样的类型，例如:
完美解决，但是，在[特征](../../basic/trait/trait.md)那一章，我们提到过，`impl Trait` 的返回方式有一个非常大的局限，就是你只能返回同样的类型，例如：
```rust
fn factory(x:i32) -> impl Fn(i32) -> i32 {
Jesse
3 years ago
committed by
GitHub