# 所有可能会用到模式的位置

ch18-01-all-the-places-for-patterns.md (opens new window)
commit 0c2d41e2afce734825c3a12087d423e8c2f0ae53

模式出现在 Rust 的很多地方。你已经在不经意间使用了很多模式!本部分是一个所有有效模式位置的参考。

# match 分支

如第六章所讨论的,一个模式常用的位置是 match 表达式的分支。在形式上 match 表达式由 match 关键字、用于匹配的值和一个或多个分支构成,这些分支包含一个模式和在值匹配分支的模式时运行的表达式:

match VALUE {
    PATTERN => EXPRESSION,
    PATTERN => EXPRESSION,
    PATTERN => EXPRESSION,
}

例如这是一个来自示例 6-5 中匹配变量 xOption<i32> 值的 match 表达式:

match x {
    None => None,
    Some(i) => Some(i + 1),
}

这个 match 表达式中的模式为每个箭头左边的 NoneSome(i)

match 表达式必须是 穷尽exhaustive)的,意为 match 表达式所有可能的值都必须被考虑到。一个确保覆盖每个可能值的方法是在最后一个分支使用捕获所有的模式:比如,一个匹配任何值的名称永远也不会失败,因此可以覆盖所有匹配剩下的情况。

有一个特定的模式 _ 可以匹配所有情况,不过它从不绑定任何变量。这在例如希望忽略任何未指定值的情况很有用。本章之后的 “忽略模式中的值” 部分会详细介绍 _ 模式的更多细节。

# if let 条件表达式

第六章讨论过了 if let 表达式,以及它是如何主要用于编写等同于只关心一个情况的 match 语句简写的。if let 可以对应一个可选的带有代码的 elseif let 中的模式不匹配时运行。

示例 18-1 展示了也可以组合并匹配 if letelse ifelse if let 表达式。这相比 match 表达式一次只能将一个值与模式比较提供了更多灵活性。并且 Rust 并不要求一系列 if letelse ifelse if let 分支的条件相互关联。

示例 18-1 中的代码展示了一系列针对不同条件的检查来决定背景颜色应该是什么。为了达到这个例子的目的,我们创建了硬编码值的变量,在真实程序中则可能由询问用户获得。

文件名:src/main.rs

{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-01/src/main.rs}}

示例 18-1: 结合 if letelse ifelse if let 以及 else

如果用户指定了中意的颜色,将使用其作为背景颜色。如果没有指定中意的颜色且今天是星期二,背景颜色将是绿色。如果用户指定了他们的年龄字符串并能够成功将其解析为数字的话,我们将根据这个数字使用紫色或者橙色。最后,如果没有一个条件符合,背景颜色将是蓝色。

这个条件结构允许我们支持复杂的需求。使用这里硬编码的值,例子会打印出 Using purple as the background color

注意 if let 也可以像 match 分支那样引入覆盖变量:if let Ok(age) = age 引入了一个新的覆盖变量 age,它包含 Ok 成员中的值。这意味着 if age > 30 条件需要位于这个代码块内部;不能将两个条件组合为 if let Ok(age) = age && age > 30,因为我们希望与 30 进行比较的被覆盖的 age 直到大括号开始的新作用域才是有效的。

if let 表达式的缺点在于其穷尽性没有为编译器所检查,而 match 表达式则检查了。如果去掉最后的 else 块而遗漏处理一些情况,编译器也不会警告这类可能的逻辑错误。

# while let 条件循环

一个与 if let 结构类似的是 while let 条件循环,它允许只要模式匹配就一直进行 while 循环。示例 18-2 展示了一个使用 while let 的例子,它使用 vector 作为栈并以先进后出的方式打印出 vector 中的值:

{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-02/src/main.rs:here}}

列表 18-2: 使用 while let 循环只要 stack.pop() 返回 Some 就打印出其值

这个例子会打印出 3、2 接着是 1。pop 方法取出 vector 的最后一个元素并返回 Some(value)。如果 vector 是空的,它返回 Nonewhile 循环只要 pop 返回 Some 就会一直运行其块中的代码。一旦其返回 Nonewhile 循环停止。我们可以使用 while let 来弹出栈中的每一个元素。

# for 循环

for 循环中,模式是 for 关键字直接跟随的值,正如 for x in y 中的 x。示例 18-3 中展示了如何使用 for 循环来解构,或拆开一个元组作为 for 循环的一部分:

{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-03/src/main.rs:here}}

列表 18-3: 在 for 循环中使用模式来解构元组

示例 18-3 的代码会打印出:

{{#include ../listings/ch18-patterns-and-matching/listing-18-03/output.txt}}

这里使用 enumerate 方法适配一个迭代器来产生一个值和其在迭代器中的索引,他们位于一个元组中。第一个产生的值是元组 (0, 'a')。当这个值匹配模式 (index, value)index 将会是 0 而 value 将会是 'a',并打印出第一行输出。

# let 语句

在本章之前,我们只明确的讨论过通过 matchif let 使用模式,不过事实上也在别的地方使用过模式,包括 let 语句。例如,考虑一下这个直白的 let 变量赋值:

let x = 5;

不过你可能没有发觉,每一次像这样使用 let 语句就是在使用模式!let 语句更为正式的样子如下:

let PATTERN = EXPRESSION;

let x = 5; 这样的语句中变量名位于 PATTERN 位置,变量名不过是形式特别朴素的模式。我们将表达式与模式比较,并为任何找到的名称赋值。所以例如 let x = 5; 的情况,x 是一个代表 “将匹配到的值绑定到变量 x” 的模式。同时因为名称 x 是整个模式,这个模式实际上等于 “将任何值绑定到变量 x,不管值是什么”。

为了更清楚的理解 let 的模式匹配方面的内容,考虑示例 18-4 中使用 let 和模式解构一个元组:

{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-04/src/main.rs:here}}

示例 18-4: 使用模式解构元组并一次创建三个变量

这里将一个元组与模式匹配。Rust 会比较值 (1, 2, 3) 与模式 (x, y, z) 并发现此值匹配这个模式。在这个例子中,将会把 1 绑定到 x2 绑定到 y 并将 3 绑定到 z。你可以将这个元组模式看作是将三个独立的变量模式结合在一起。

如果模式中元素的数量不匹配元组中元素的数量,则整个类型不匹配,并会得到一个编译时错误。例如,示例 18-5 展示了尝试用两个变量解构三个元素的元组,这是不行的:

{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-05/src/main.rs:here}}

示例 18-5: 一个错误的模式结构,其中变量的数量不符合元组中元素的数量

尝试编译这段代码会给出如下类型错误:

{{#include ../listings/ch18-patterns-and-matching/listing-18-05/output.txt}}

为了修复这个错误,可以使用 _.. 来忽略元组中一个或多个值,如 “忽略模式中的值” 部分所示。如果问题是模式中有太多的变量,则解决方法是通过去掉变量使得变量数与元组中元素数相等。

# 函数参数

函数参数也可以是模式。列表 18-6 中的代码声明了一个叫做 foo 的函数,它获取一个 i32 类型的参数 x,现在这看起来应该很熟悉:

{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-06/src/main.rs:here}}

列表 18-6: 在参数中使用模式的函数签名

x 部分就是一个模式!类似于之前对 let 所做的,可以在函数参数中匹配元组。列表 18-7 将传递给函数的元组拆分为值:

文件名:src/main.rs

{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-07/src/main.rs}}

列表 18-7: 一个在参数中解构元组的函数

这会打印出 Current location: (3, 5)。值 &(3, 5) 会匹配模式 &(x, y),如此 x 得到了值 3,而 y得到了值 5

因为如第十三章所讲闭包类似于函数,也可以在闭包参数列表中使用模式。

现在我们见过了很多使用模式的方式了,不过模式在每个使用它的地方并不以相同的方式工作;在一些地方,模式必须是 irrefutable 的,意味着他们必须匹配所提供的任何值。在另一些情况,他们则可以是 refutable 的。接下来让我们讨论这两个概念。