@ -1,8 +1,7 @@
## 所有的 模式语法
## 模式语法
> [ch19-03-pattern-syntax.md ](https://github.com/rust-lang/book/blob/main/src/ch19-03-pattern-syntax.md )
> < br >
> commit 6fce661a0938aa0da06526e7b8f98fd7e67a222f
<!-- https://github.com/rust - lang/book/blob/main/src/ch19 - 03 - pattern - syntax.md -->
<!-- commit 56ec353290429e6547109e88afea4de027b0f1a9 -->
在本节中，我们收集了模式中所有有效的语法，并讨论为什么以及何时你可能要使用这些语法。
@ -18,7 +17,7 @@
### 匹配命名变量
命名变量是匹配任何值的不可反驳模式，这在之前已经使用过数次。然而当其用于 `match` 表达式时情况会有些复杂。因为 `match` 会开始一个新作用域，`match` 表达式中作为模式的一部分声明的变量会覆盖 `match` 结构之外的同名变量，与所有变量一样。在示例 18 -11 中，声明了一个值为 `Some(5)` 的变量 `x` 和一个值为 `10` 的变量 `y` 。接着在值 `x` 上创建了一个 `match` 表达式。观察匹配分支中的模式和结尾的 `println!` ，并在运行此代码或进一步阅读之前推断这段代码会打印什么。
命名变量（ ） ，当在 `match` 、`if let` 或 `while let` 表达式中使用命名变量时，会出现一些复杂情况。由于这些表达式会开始一个新作用域，作为模式一部分在表达式内部声明的变量会遮蔽外部同名变量，这与所有变量的遮蔽规则一致。在示例 19 -11 中，声明了一个值为 `Some(5)` 的变量 `x` 和一个值为 `10` 的变量 `y` 。接着在值 `x` 上创建了一个 `match` 表达式。观察匹配分支中的模式和结尾的 `println!` ，并在运行此代码或进一步阅读之前推断这段代码会打印什么。
< span class = "filename" > 文件名： < / span >
@ -26,21 +25,21 @@
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-11/src/main.rs:here}}
```
< span class = "caption" > 示例 18-11: 一个 `match` 语句其中一个分支引入了覆盖 变量 `y` </ span >
< span class = "caption" > 示例 19-11: 一个 `match` 语句其中一个分支引入了遮蔽 变量 `y` </ span >
让我们看看当 `match` 语句运行的时候发生了什么。第一个匹配分支的模式并不匹配 `x` 中定义的值，所以代码继续执行。
第二个匹配分支中的模式引入了一个新变量 `y` ，它会匹配任何 `Some` 中的值。因为我们在 `match` 表达式的新作用域中，这是一个新变量，而不是开头声明为值 10 的那个 `y` 。这个新的 `y` 绑定会匹配任何 `Some` 中的值，在这里是 `x` 中的值。因此这个 `y` 绑定了 `x` 中 `Some` 内部的值。这个值是 5， `Matched, y = 5` 。
如果 `x` 的值是 `None` 而不是 `Some(5)` ，头两个分支的模式不会匹配，所以会匹配下划线。这个分支的模式中没有引入变量 `x` ，所以此时表达式中的 `x` 会是外部没有被覆盖 的 `x` 。在这个假想的例子中，`match` 将会打印 `Default case, x = None` 。
如果 `x` 的值是 `None` 而不是 `Some(5)` ，头两个分支的模式不会匹配，所以会匹配下划线。这个分支的模式中没有引入变量 `x` ，所以此时表达式中的 `x` 会是外部没有被遮蔽 的 `x` 。在这个假想的例子中，`match` 将会打印 `Default case, x = None` 。
一旦 `match` 表达式执行完毕，其作用域也就结束了，同理内部 `y` 的作用域也结束了。最后的 `println!` 会打印 `at the end: x = Some(5), y = 10` 。
为了创建能够比较外部 `x` 和 `y` 的值，而不引入覆盖变量 的 `match` 表达式， （ ） “匹配守卫提供的额外条件” ](#匹配守卫提供的额外条件 ) 这一小节讨论匹配守卫。
为了创建能够比较外部 `x` 和 `y` 的值，又不引入新的变量去遮蔽已有 `y` 的 `match` 表达式， （ ） “匹配守卫提供的额外条件” ](#匹配守卫提供的额外条件 ) 这一小节讨论匹配守卫。
### 多个模式
在 `match` 表达式中，可以使用 `|` 语法匹配多个模式，它代表 ** 或**（ ） ， `x` 的值与匹配分支相比较，第一个分支有 ** 选项，意味着如果 `x` 的值匹配此分支的任一个值，它就会运行：
在 `match` 表达式中，可以使用 `|` 语法匹配多个模式，它代表 ** 或**（ ） ， `x` 的值与匹配分支相比较，第一个分支有**或**选项，意味着如果 `x` 的值匹配此分支的任一个值，它就会运行：
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/no-listing-02-multiple-patterns/src/main.rs:here}}
@ -48,9 +47,9 @@
上面的代码会打印 `one or two` 。
### 通过 `..=` 匹配值的 范围
### 通过 `..=` 匹配值范围
`..=` 语法允许你匹配一个闭区间范围内的值。在如下代码中，当模式匹配任何在给定范围内的值时，该分支会执行：
`..=` 语法允许你匹配一个闭区间范围（ ）
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/no-listing-03-ranges/src/main.rs:here}}
@ -74,7 +73,7 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
#### 解构结构体
示例 18 -12 展示带有两个字段 `x` 和 `y` 的结构体 `Point` ，可以通过带有模式的 `let` 语句将其分解：
示例 19 -12 展示带有两个字段 `x` 和 `y` 的结构体 `Point` ，可以通过带有模式的 `let` 语句将其分解：
< span class = "filename" > 文件名： < / span >
@ -82,9 +81,9 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-12/src/main.rs}}
```
< span class = "caption" > 示例 18 -12: 解构一个结构体的字段为单独的变量< / span >
< span class = "caption" > 示例 19 -12: 解构一个结构体的字段为单独的变量< / span >
这段代码创建了变量 `a` 和 `b` 来匹配结构体 `p` 中的 `x` 和 `y` 字段。这个例子展示了模式中的变量名不必与结构体中的字段名一致。不过通常希望变量名与字段名一致以便于理解变量来自于哪些字段。因为变量名匹配字段名是常见的，同时因为 `let Point { x: x, y: y } = p;` 包含了很多重复，所以对于匹配结构体字段的模式存在简写：只需列出结构体字段的名称，则模式创建的变量会有相同的名称。示例 18-13 展示了与示例 18 -12 有着相同行为的代码，不过 `let` 模式创建的变量为 `x` 和 `y` 而不是 `a` 和 `b` ：
这段代码创建了变量 `a` 和 `b` 来匹配结构体 `p` 中的 `x` 和 `y` 字段。这个例子展示了模式中的变量名不必与结构体中的字段名一致。不过通常希望变量名与字段名一致以便于理解变量来自于哪些字段。因为变量名匹配字段名是常见的，同时因为 `let Point { x: x, y: y } = p;` 包含了很多重复，所以对于匹配结构体字段的模式存在简写：只需列出结构体字段的名称，则模式创建的变量会有相同的名称。示例 19-13 展示了与示例 19 -12 有着相同行为的代码，不过 `let` 模式创建的变量为 `x` 和 `y` 而不是 `a` 和 `b` ：
< span class = "filename" > 文件名： < / span >
@ -92,13 +91,13 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-13/src/main.rs}}
```
< span class = "caption" > 示例 18 -13: 使用结构体字段简写来解构结构体字段< / span >
< span class = "caption" > 示例 19 -13: 使用结构体字段简写来解构结构体字段< / span >
这段代码创建了变量 `x` 和 `y` ，与变量 `p` 中的 `x` 和 `y` 相匹配。其结果是变量 `x` 和 `y` 包含结构体 `p` 中的值。
也可以使用字面值作为结构体模式的一部分进行解构，而不是为所有的字段创建变量。这允许我们测试一些字段为特定值的同时创建其他字段的变量。
示例 18 -14 展示了一个 `match` 语句将 `Point` 值分成了三种情况：直接位于 `x` 轴上（此时 `y = 0` 为真）、位于 `y` 轴上（`x = 0`）或不在任何轴上的点。
示例 19 -14 展示了一个 `match` 语句将 `Point` 值分成了三种情况：直接位于 `x` 轴上（此时 `y = 0` 为真）、位于 `y` 轴上（`x = 0`）或不在任何轴上的点。
< span class = "filename" > 文件名： < / span >
@ -106,19 +105,19 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-14/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -14: 解构和匹配模式中的字面值< / span >
< span class = "caption" > 示例 19 -14: 解构和匹配模式中的字面值< / span >
第一个分支通过指定字段 `y` 匹配字面值 `0` 来匹配任何位于 `x` 轴上的点。此模式仍然创建了变量 `x` 以便在分支的代码中使用。
类似的，第二个分支通过指定字段 `x` 匹配字面值 `0` 来匹配任何位于 `y` 轴上的点，并为字段 `y` 创建了变量 `y` 。第三个分支没有指定任何字面值，所以其会匹配任何其他的 `Point` 并为 `x` 和 `y` 两个字段创建变量。
在这个例子中，值 `p` 因为其 `x` 包含 0 而匹配第二个分支，因此会打印出 `On the y axis at 7` 。
在这个例子中，值 `p` 因为其 `x` 包含 ` ` 而匹配第二个分支，因此会打印出 `On the y axis at 7` 。
记住 `match` 表达式一旦找到一个匹配的模式就会停止检查其它分支，所以即使 `Point { x: 0, y: 0}` 在 `x` 轴上也在 `y` 轴上，这些代码也只会打印 `On the x axis at 0` 。
#### 解构枚举
本书之前曾经解构过枚举（例如第六章示例 6-5） ， `Message` 枚举为例，编写一个 `match` 使用模式解构每一个内部值，如示例 18 -15 所示：
本书之前曾经解构过枚举（例如第六章示例 6-5） ， `Message` 枚举为例，编写一个 `match` 使用模式解构每一个内部值，如示例 19 -15 所示：
< span class = "filename" > 文件名： < / span >
@ -126,27 +125,27 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-15/src/main.rs}}
```
< span class = "caption" > 示例 18-15: 解构包含不同类型值成员 的枚举< / span >
< span class = "caption" > 示例 19-15: 解构包含不同类型值变体 的枚举< / span >
这段代码会打印出 `Change the color to red 0, green 160, and blue 255` 。尝试改变 `msg` 的值来观察其他分支代码的运行。
对于像 `Message::Quit` 这样没有任何数据的枚举成员 ，不能进一步解构其值。只能匹配其字面值 `Message::Quit` ，因此模式中没有任何变量。
对于像 `Message::Quit` 这样没有任何数据的枚举变体 ，不能进一步解构其值。只能匹配其字面值 `Message::Quit` ，因此模式中没有任何变量。
对于像 `Message::Move` 这样的类结构体枚举成员，可以采用类似于匹配结构体的模式。在成员 名称后，使用大括号并列出字段变量以便将其分解以供此分支的代码使用。这里使用了示例 18 -13 所展示的简写。
对于像 `Message::Move` 这样的类结构体枚举变体，可以采用类似于匹配结构体的模式。在变体 名称后，使用大括号并列出字段变量以便将其分解以供此分支的代码使用。这里使用了示例 19 -13 所展示的简写。
对于像 `Message::Write` 这样的包含一个元素，以及像 `Message::ChangeColor` 这样包含三个元素的类元组枚举成员，其模式则类似于用于解构元组的模式。模式中变量的数量必须与成员中元素的数量 一致。
对于像 `Message::Write` 这样的包含一个元素，以及像 `Message::ChangeColor` 这样包含三个元素的类元组枚举变体，其模式则类似于用于解构元组的模式。模式中变量的数量必须与变体中元素的数量完全 一致。
#### 解构嵌套的结构体和枚举
目前为止，所有的例子都只匹配了深度为一级的结构体或枚举，不过当然也可以匹配嵌套的项！例如，我们可以重构列表 18-15 的代码在 `ChangeColor` 消息中同时支持 RGB 和 HSV 色彩模式，如示例 18 -16 所示：
目前为止，所有的例子都只匹配了深度为一级的结构体或枚举，不过当然也可以匹配嵌套的项！例如，我们可以重构列表 19-15 的代码在 `ChangeColor` 消息中同时支持 RGB 和 HSV 色彩模式，如示例 19 -16 所示：
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-16/src/main.rs}}
```
< span class = "caption" > 示例 18 -16: 匹配嵌套的枚举< / span >
< span class = "caption" > 示例 19 -16: 匹配嵌套的枚举< / span >
`match` 表达式第一个分支的模式匹配一个包含 `Color::Rgb` 枚举成员的 `Message::ChangeColor` 枚举成员，然后模式绑定了 3 个内部的 `i32` 值。第二个分支的模式也匹配一个 `Message::ChangeColor` 枚举成员，但是其内部的枚举会匹配 `Color::Hsv` 枚举成员 。我们可以在一个 `match` 表达式中指定这些复杂条件，即使会涉及到两个枚举。
`match` 表达式第一个分支的模式匹配一个包含 `Color::Rgb` 枚举变体的 `Message::ChangeColor` 枚举变体，然后模式绑定了三 个内部的 `i32` 值。第二个分支的模式也匹配一个 `Message::ChangeColor` 枚举变体，但是其内部的枚举会匹配 `Color::Hsv` 枚举变体 。我们可以在一个 `match` 表达式中指定这些复杂条件，即使会涉及到两个枚举。
#### 解构结构体和元组
@ -158,15 +157,15 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
这将复杂的类型分解成部分组件以便可以单独使用我们感兴趣的值。
通过模式解构是一个方便利用部分值片段的手段 ，比如结构体中每个单独字段的值。
通过模式解构是一个方便将值的各个片段分离开来单独使用的方式 ，比如结构体中每个单独字段的值。
### 忽略模式中的值
有时忽略模式中的一些值是有用的，比如 `match` 中最后捕获全部情况的分支实际上没有做任何事，但是它确实对所有剩余情况负责。有一些简单的 方法可以忽略模式中全部或部分值：使用 `_` 模式（我们已经见过了），在另一个模式中使用 `_` 模式，使用一个以下划线开始的名称，或者使用 `..` 忽略所剩部分的值。让我们来分别探索如何以及为什么要这么做。
有时忽略模式中的一些值是有用的，比如 `match` 中最后捕获全部情况的分支实际上没有做任何事，但是它确实负责匹配了所有剩余的可能值。有一些 方法可以忽略模式中全部或部分值：使用 `_` 模式（我们已经见过了），在另一个模式中使用 `_` 模式，使用一个以下划线开始的名称，或者使用 `..` 忽略所剩部分的值。让我们来分别探索如何以及为什么要这么做。
#### 使用 `_` 忽略整个值
我们已经使用过下划线作为匹配但不绑定任何值的通配符模式了。虽然这作为 `match` 表达式最后的分支特别有用，也可以将其用于任意模式，包括函数参数中，如示例 18 -17 所示：
我们已经使用过下划线作为匹配但不绑定任何值的通配符模式了。虽然这作为 `match` 表达式最后的分支特别有用，也可以将其用于任意模式，包括函数参数中，如示例 19 -17 所示：
< span class = "filename" > 文件名： < / span >
@ -174,7 +173,7 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-17/src/main.rs}}
```
< span class = "caption" > 示例 18 -17: 在函数签名中使用 `_` </ span >
< span class = "caption" > 示例 19 -17: 在函数签名中使用 `_` </ span >
这段代码会完全忽略作为第一个参数传递的值 `3` ，并会打印出 `This code only uses the y parameter: 4` 。
@ -182,31 +181,31 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
#### 使用嵌套的 `_` 忽略部分值
也可以在一个模式内部使用`_` 忽略部分值，例如，当只需要测试部分值但在期望运行的代码中没有用到其他部分时。示例 18 -18 展示了负责管理设置值的代码。业务需求是用户不允许覆盖现有的自定义设置，但是可以取消设置，也可以在当前未设置时为其提供设置 。
也可以在一个模式内部使用`_` 忽略部分值，例如，当只需要测试部分值但在期望运行的代码中没有用到其他部分时。示例 19 -18 展示了负责管理设置值的代码。业务需求是用户不允许覆盖现有的自定义设置，但是可以取消设置，也可以在当前未设置时为其提供一个值 。
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-18/src/main.rs:here}}
```
< span class = "caption" > 示例 18-18: 当不需要 `Some` 中的值时在模式内使用下划线来匹配 `Some` 成员 </ span >
< span class = "caption" > 示例 19-18: 当不需要 `Some` 中的值时在模式内使用下划线来匹配 `Some` 变体 </ span >
这段代码会打印出 `Can't overwrite an existing customized value` 接着是 `setting is Some(5)` 。在第一个匹配分支，我们不需要匹配或使用任一个 `Some` 成员中的值；重要的部分是需要测试 `setting_value` 和 `new_setting_value` 都为 `Some` 成员的情况。在这种情况 ，我们打印出为何不改变 `setting_value` ，并且不会改变它。
这段代码会打印出 `Can't overwrite an existing customized value` 接着是 `setting is Some(5)` 。在第一个匹配分支，我们不需要匹配或使用任一个 `Some` 变体中的值，但需要检测 `setting_value` 和 `new_setting_value` 是否均为 `Some` 变体。在这种情况下 ，我们打印出为何不改变 `setting_value` ，并且不会改变它。
对于所有其他情况（`setting_value` 或 `new_setting_value` 任一为 `None` ），这由第二个分支的 `_` 模式体现，这时确实希望允许 `new_setting_value` 变为 `setting_value` 。
也可以在一个模式中的多处使用下划线来忽略特定值，如示例 18 -19 所示，这里忽略了一个五元元组中的第二和第四个值：
也可以在一个模式中的多处使用下划线来忽略特定值，如示例 19 -19 所示，这里忽略了一个五元元组中的第二和第四个值：
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-19/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -19: 忽略元组的多个部分< / span >
< span class = "caption" > 示例 19 -19: 忽略元组的多个部分< / span >
这会打印出 `Some numbers: 2, 8, 32` ，值 4 和 16 会被忽略。
这会打印出 `Some numbers: 2, 8, 32` ，值 ` ` 和 ` ` 会被忽略。
#### 通过在名字前以一个 `_` 开头 来忽略未使用的变量
#### 通过在变量名开头加 `_` 来忽略未使用的变量
如果你创建了一个变量却不在任何地方使用它， ， 8 -20 中创建了两个未使用变量，不过当编译代码时只会得到其中一个的警告：
如果你创建了一个变量却不在任何地方使用它， ， 9 -20 中创建了两个未使用变量，不过当编译代码时只会得到其中一个的警告：
< span class = "filename" > 文件名： < / span >
@ -214,41 +213,41 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-20/src/main.rs}}
```
< span class = "caption" > 示例 18 -20: 以下划线开始变量名以便去掉未使用变量警告< / span >
< span class = "caption" > 示例 19 -20: 以下划线开始变量名以便去掉未使用变量警告< / span >
这里得到了警告说未使用变量 `y` ，不过没有警告说使用 `_x` 。
这里得到了警告说未使用变量 `y` ，不过没有警告说未 使用 `_x` 。
注意，只使用 `_` 和使用以下划线开头的名称有些微妙的不同：比如 `_x` 仍会将值绑定到变量，而 `_` 则完全不会绑定。为了展示这个区别的意义，示例 18 -21 会产生一个错误。
注意，只使用 `_` 和使用以下划线开头的名称有些微妙的不同：比如 `_x` 仍会将值绑定到变量，而 `_` 则完全不会绑定。为了展示这个区别的意义，示例 19 -21 会产生一个错误。
```rust,ignore,does_not_compile
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-21/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -21: 以下划线开头的未使用变量仍然会绑定值，它可能会获取值的所有权< / span >
< span class = "caption" > 示例 19 -21: 以下划线开头的未使用变量仍然会绑定值，它可能会获取值的所有权< / span >
我们会得到一个错误，因为 `s` 的值仍然会移动进 `_s` ，并阻止我们再次使用 `s` 。然而只使用下划线本身，并不会绑定值。示例 18 -22 能够无错编译，因为 `s` 没有被移动进 `_` ：
我们会得到一个错误，因为 `s` 的值仍然会移动进 `_s` ，并阻止我们再次使用 `s` 。然而只使用下划线本身，并不会绑定值。示例 19 -22 能够无错编译，因为 `s` 没有被移动进 `_` ：
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-22/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -22: 单独使用下划线不会绑定值< / span >
< span class = "caption" > 示例 19 -22: 单独使用下划线不会绑定值< / span >
上面的代码能很好的运行；因为没有把 `s` 绑定到任何变量；它没有被移动。
#### 用 `..` 忽略剩余值
对于有多个部分的值，可以使用 `..` 语法来只使用特定部分并忽略其它值，同时 避免不得不每一个忽略值列出下划线。`..` 模式会忽略模式中剩余的任何没有显式匹配的值部分。在示例 18 -23 中，有一个 `Point` 结构体存放了三维空间中的坐标。在 `match` 表达式中，我们希望只操作 `x` 坐标并忽略 `y` 和 `z` 字段的值：
对于有多个部分的值，可以使用 `..` 语法来只使用特定部分并忽略其它值，从而 避免不得不每一个忽略值列出下划线。`..` 模式会忽略模式中剩余的任何没有显式匹配的值部分。在示例 19 -23 中，有一个 `Point` 结构体存放了三维空间中的坐标。在 `match` 表达式中，我们希望只操作 `x` 坐标并忽略 `y` 和 `z` 字段的值：
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-23/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -23: 通过使用 `..` 来忽略 `Point` 中除 `x` 以外的字段</ span >
< span class = "caption" > 示例 19 -23: 通过使用 `..` 来忽略 `Point` 中除 `x` 以外的字段</ span >
这里列出了 `x` 值，接着仅仅包含了 `..` 模式。这比不得不列出 `y: _` 和 `z: _` 要来得简单，特别是在处理有很多字段的结构体，但只涉及一到两个字段时的情形。
`..` 会扩展为所需要的值的数量。示例 18-24 展示了元组中 `..` 的应用 ：
`..` 会扩展为所需要的值的数量。示例 19-24 展示了如何在元组中使用 `..` ：
< span class = "filename" > 文件名： < / span >
@ -256,11 +255,11 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-24/src/main.rs}}
```
< span class = "caption" > 示例 18 -24: 只匹配元组中的第一个和最后一个值并忽略掉所有其它值< / span >
< span class = "caption" > 示例 19 -24: 只匹配元组中的第一个和最后一个值并忽略掉所有其它值< / span >
这里用 `first` 和 `last` 来匹配第一个和最后一个值。`..` 将匹配并忽略中间的所有值。
然而使用 `..` 必须是无歧义的。如果期望匹配和忽略的值是不明确的， 8 -25 展示了一个带有歧义的 `..` 例子，因此其不能编译：
然而使用 `..` 必须是无歧义的。如果期望匹配和忽略的值是不明确的， 9 -25 展示了一个带有歧义的 `..` 例子，因此其不能编译：
< span class = "filename" > 文件名： < / span >
@ -268,9 +267,9 @@ Rust 知道 `'c'` 位于第一个模式的范围内，并会打印出 `early ASC
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-25/src/main.rs}}
```
< span class = "caption" > 示例 18 -25: 尝试以有歧义的方式运用 `..` </ span >
< span class = "caption" > 示例 19 -25: 尝试以有歧义的方式运用 `..` </ span >
如果编译上面的例子，会得到下面的 错误：
当编译这个示例时，会得到如下 错误：
```console
{{#include ../listings/ch19-patterns-and-matching/listing-19-25/output.txt}}
@ -280,23 +279,23 @@ Rust 不可能决定在元组中匹配 `second` 值之前应该忽略多少个
### 匹配守卫提供的额外条件
**匹配守卫**（ ） `match` 分支模式之后的额外 `if` 条件，它也必须被满足才能选择此分支。匹配守卫用于表达比单独的模式所能允许的更为复杂的情况。
**匹配守卫**（ ） `match` 分支模式之后的额外 `if` 条件，它也必须被满足才能选择此分支。匹配守卫用于表达比单独的模式所能允许的更为复杂的情况。但是注意，它们仅在 `match` 表达式中可用，不能用于 `if let` 或 `while let` 表达式。
这个条件可以使用模式中创建的变量。示例 18 -26 展示了一个 `match` ，其中第一个分支有模式 `Some(x)` 还有匹配守卫 `if x % 2 == 0` (当 `x` 是偶数的 时候 为真)：
这个条件可以使用模式中创建的变量。示例 19 -26 展示了一个 `match` ，其中第一个分支有模式 `Some(x)` 还有匹配守卫 `if x % 2 == 0` (当 `x` 是偶数时为真)：
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-26/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -26: 在模式中加入匹配守卫< / span >
< span class = "caption" > 示例 19 -26: 在模式中加入匹配守卫< / span >
上例会打印出 `The number 4 is even` 。当 `num` 与模式中第一个分支比较时，因为 `Some(4)` 匹配 `Some(x)` 所以可以匹配。接着匹配守卫检查 `x` 除以 `2` 的余数是否等于 `0` ，因为它等于 `0` ，所以第一个分支被选择。
相反如果 `num` 为 `Some(5)` ，因为 `5` 除以 `2` 的余数是 `1` 不等于 `0` 所以第一个分支的匹配守卫为假 。接着 Rust 会前往第二个分支，这次匹配因为它没有匹配守卫所以会匹配任何 `Some` 成员 。
相反如果 `num` 为 `Some(5)` ，因为 `5` 除以 `2` 的余数是 `1` 不等于 `0` 所以第一个分支的匹配守卫为 `false` 。接着 Rust 会前往第二个分支，这次匹配因为它没有匹配守卫所以会匹配任何 `Some` 变体 。
无法在模式中表达类似 `if x % 2 == 0` 的条件，所以通过匹配守卫提供了表达类似逻辑的能力。这种替代表达方式的缺点是，编译器不会尝试为包含匹配守卫的模式检查穷尽性。
在示例 18-11 中，我们提到可以使用匹配守卫来解决模式中变量覆盖 的问题，那里 `match` 表达式的模式中新建了一个变量而不是使用 `match` 之外的同名变量。新变量意味着不能够测试外部变量的值。示例 18 -27 展示了如何使用匹配守卫修复这个问题。
在示例 19-11 中，我们提到可以使用匹配守卫来解决模式中变量遮蔽 的问题，那里 `match` 表达式的模式中新建了一个变量而不是使用 `match` 之外的同名变量。新变量意味着不能够测试外部变量的值。示例 19 -27 展示了如何使用匹配守卫修复这个问题。
< span class = "filename" > 文件名： < / span >
@ -304,21 +303,21 @@ Rust 不可能决定在元组中匹配 `second` 值之前应该忽略多少个
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-27/src/main.rs}}
```
< span class = "caption" > 示例 18 -27: 使用匹配守卫来测试与外部变量的相等性< / span >
< span class = "caption" > 示例 19 -27: 使用匹配守卫来测试与外部变量的相等性< / span >
现在这会打印出 `Default case, x = Some(5)` 。现在第二个匹配分支中的模式不会引入一个覆盖 外部 `y` 的新变量 `y` ，这意味着可以在匹配守卫中使用外部的 `y` 。相比指定会覆盖 外部 `y` 的模式 `Some(y)` ，这里指定为 `Some(n)` 。此新建的变量 `n` 并没有覆盖任何值，因为 `match` 外部没有变量 `n` 。
现在这会打印出 `Default case, x = Some(5)` 。现在第二个匹配分支中的模式不会引入一个遮蔽 外部 `y` 的新变量 `y` ，这意味着可以在匹配守卫中使用外部的 `y` 。相比指定会遮蔽 外部 `y` 的模式 `Some(y)` ，这里指定为 `Some(n)` 。此新建的变量 `n` 并没有覆盖任何值，因为 `match` 外部没有变量 `n` 。
匹配守卫 `if n == y` 并不是一个模式所以没有引入新变量。这个 `y` ** 正是** 外部的 `y` 而不是新的覆盖 变量 `y` ，这样就可以通过比较 `n` 和 `y` 来表达寻找一个与外部 `y` 相同的值的概念 了。
匹配守卫 `if n == y` 并不是一个模式所以没有引入新变量。这个 `y` ** 正是**外部的 `y` 而不是新的遮蔽 变量 `y` ，这样就可以通过比较 `n` 和 `y` 来表达寻找一个与外部 `y` 相同的值了。
也可以在匹配守卫中使用 ** 运算符 `|` 来指定多个模式，同时匹配守卫的条件会作用于所有的模式。示例 18 -28 展示了结合匹配守卫与使用了 `|` 的模式的优先级。这个例子中重要的部分是匹配守卫 `if y` 作用于 `4` 、`5` ** 和** `6` ，即使这看起来好像 `if y` 只作用于 `6` ：
也可以在匹配守卫中使用**或**运算符 `|` 来指定多个模式，同时匹配守卫的条件会作用于所有的模式。示例 19 -28 展示了结合匹配守卫与使用了 `|` 的模式的优先级。这个例子中重要的部分是匹配守卫 `if y` 作用于 `4` 、`5` ** 和** `6` ，即使这看起来好像 `if y` 只作用于 `6` ：
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-28/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -28: 结合多个模式与匹配守卫< / span >
< span class = "caption" > 示例 19 -28: 结合多个模式与匹配守卫< / span >
这个匹配条件表明此分支值匹配 `x` 值为 `4` 、`5` 或 `6` ** 同时** `y` 为 `true` 的情况。运行这段代码时会发生的是第一个分支的模式因 `x` 为 `4` 而匹配，不过匹配守卫 `if y` 为假 ，所以第一个分支不会被选择。代码移动到第二个分支，这会匹配，此程序会打印出 `no` 。这是因为 `if` 条件作用于整个 `4 | 5 | 6` 模式，而不仅是最后的值 `6` 。换句话说，匹配守卫与模式的优先级关系看起来像这样：
这个匹配条件表明此分支值匹配 `x` 值为 `4` 、`5` 或 `6` ** 同时** `y` 为 `true` 的情况。运行这段代码时会发生的是第一个分支的模式因 `x` 为 `4` 而匹配，不过匹配守卫 `if y` 为 `false` ，所以第一个分支不会被选择。代码移动到第二个分支，这会匹配，此程序会打印出 `no` 。这是因为 `if` 条件作用于整个 `4 | 5 | 6` 模式，而不仅是最后的值 `6` 。换句话说，匹配守卫与模式的优先级关系看起来像这样：
```text
(4 | 5 | 6) if y => ...
@ -330,23 +329,23 @@ Rust 不可能决定在元组中匹配 `second` 值之前应该忽略多少个
4 | 5 | (6 if y) => ...
```
可以通过运行代码时的情况看出这一点 ：如果匹配守卫只作用于由 `|` 运算符指定的值列表的最后一个值，这个分支就会匹配且程序会打印出 `yes` 。
运行代码后，优先级行为就很明显了 ：如果匹配守卫只作用于由 `|` 运算符指定的值列表的最后一个值，这个分支就会匹配且程序会打印出 `yes` 。
### `@` 绑定
_at_ 运算符（`@`）允许我们在创建一个存放值的变量的同时测试其值是否匹配模式。示例 18 -29 展示了一个例子，这里我们希望测试 `Message::Hello` 的 `id` 字段是否位于 `3..=7` 范围内，同时也希望能将其值绑定到 `id_variable` 变量中以便此分支相关联的代码可以使用它。可以将 `id_variable` 命名为 `id` ，与字段同名，不过出于示例的目的这里选择了不同的名称。
_at_ 运算符（`@`）允许我们在创建一个存放值的变量的同时测试其值是否匹配模式。示例 19 -29 展示了一个例子，这里我们希望测试 `Message::Hello` 的 `id` 字段是否位于 `3..=7` 范围内，同时也希望能将其值绑定到 `id_variable` 变量中以便此分支相关联的代码可以使用它。可以将 `id_variable` 命名为 `id` ，与字段同名，不过出于示例的目的这里选择了不同的名称。
```rust
{{#rustdoc_include ../listings/ch19-patterns-and-matching/listing-19-29/src/main.rs:here}}
```
< span class = "caption" > 示例 18 -29: 使用 `@` 在模式中绑定值的同时测试它</ span >
< span class = "caption" > 示例 19 -29: 使用 `@` 在模式中绑定值的同时测试它</ span >
上例会打印出 `Found an id in range: 5` 。通过在 `3..=7` 之前指定 `id_variable @` ，我们捕获了任何匹配此范围的值并同时测试其值匹配这个范围模式。
第二个分支只在模式中指定了一个范围，分支相关代码没有一个包含 `id` 字段实际值的变量。`id` 字段的值可以是 10、11 或 12， `id` 字段中的值，因为没有将 `id` 值保存进一个变量。
最后一个分支指定了一个没有范围的变量，此时确实拥有可以用于分支代码的变量 `id` ， `id` 字段的值进行测试：任何值都会匹配此分支 。
最后一个分支指定了一个没有范围的变量，此时确实拥有可以用于分支代码的变量 `id` 。 因为这里使用了结构体字段简写语法。不过此分支中没有像头两个分支那样对 `id` 字段的值进行测试：任何值都会匹配该模式 。
使用 `@` 可以在一个模式中同时测试和保存变量值。
须语
2 months ago
committed by
GitHub