From d7b0fa80655fd7fecb38474e2131825e9b0beba5 Mon Sep 17 00:00:00 2001 From: KaiserY Date: Thu, 10 Feb 2022 15:15:40 +0800 Subject: [PATCH] update to ch18-03 --- src/ch18-00-patterns.md | 10 +- src/ch18-01-all-the-places-for-patterns.md | 76 +---- src/ch18-02-refutability.md | 35 +-- src/ch18-03-pattern-syntax.md | 317 +++------------------ 4 files changed, 62 insertions(+), 376 deletions(-) diff --git a/src/ch18-00-patterns.md b/src/ch18-00-patterns.md index add1c4f..1e58329 100644 --- a/src/ch18-00-patterns.md +++ b/src/ch18-00-patterns.md @@ -6,11 +6,11 @@ 模式是 Rust 中特殊的语法，它用来匹配类型中的结构，无论类型是简单还是复杂。结合使用模式和 `match` 表达式以及其他结构可以提供更多对程序控制流的支配权。模式由如下一些内容组合而成： -- 字面值 -- 解构的数组、枚举、结构体或者元组 -- 变量 -- 通配符 -- 占位符 +* 字面值 +* 解构的数组、枚举、结构体或者元组 +* 变量 +* 通配符 +* 占位符 这些部分描述了我们要处理的数据的形状，接着可以用其匹配值来决定程序是否拥有正确的数据来运行特定部分的代码。 diff --git a/src/ch18-01-all-the-places-for-patterns.md b/src/ch18-01-all-the-places-for-patterns.md index d1214cc..72232e4 100644 --- a/src/ch18-01-all-the-places-for-patterns.md +++ b/src/ch18-01-all-the-places-for-patterns.md @@ -2,7 +2,7 @@ > [ch18-01-all-the-places-for-patterns.md](https://github.com/rust-lang/book/blob/main/src/ch18-01-all-the-places-for-patterns.md) >
-> commit 426f3e4ec17e539ae9905ba559411169d303a031 +> commit 8a1aad812b90126974853f80d9217e07bd226650 模式出现在 Rust 的很多地方。你已经在不经意间使用了很多模式！本部分是一个所有有效模式位置的参考。 @@ -33,25 +33,7 @@ match VALUE { 文件名: src/main.rs ```rust -fn main() { - let favorite_color: Option<&str> = None; - let is_tuesday = false; - let age: Result = "34".parse(); - - if let Some(color) = favorite_color { - println!("Using your favorite color, {}, as the background", color); - } else if is_tuesday { - println!("Tuesday is green day!"); - } else if let Ok(age) = age { - if age > 30 { - println!("Using purple as the background color"); - } else { - println!("Using orange as the background color"); - } - } else { - println!("Using blue as the background color"); - } -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-01/src/main.rs}} ``` 示例 18-1: 结合 `if let`、`else if`、`else if let` 以及 `else` @@ -69,15 +51,7 @@ fn main() { 一个与 `if let` 结构类似的是 `while let` 条件循环，它允许只要模式匹配就一直进行 `while` 循环。示例 18-2 展示了一个使用 `while let` 的例子，它使用 vector 作为栈并以先进后出的方式打印出 vector 中的值： ```rust -let mut stack = Vec::new(); - -stack.push(1); -stack.push(2); -stack.push(3); - -while let Some(top) = stack.pop() { - println!("{}", top); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-02/src/main.rs:here}} ``` 列表 18-2: 使用 `while let` 循环只要 `stack.pop()` 返回 `Some` 就打印出其值 @@ -91,24 +65,18 @@ while let Some(top) = stack.pop() { 示例 18-3 中展示了如何使用 `for` 循环来解构，或拆开一个元组作为 `for` 循环的一部分： ```rust -let v = vec!['a', 'b', 'c']; - -for (index, value) in v.iter().enumerate() { - println!("{} is at index {}", value, index); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-03/src/main.rs:here}} ``` 列表 18-3: 在 `for` 循环中使用模式来解构元组 示例 18-3 的代码会打印出： -```text -a is at index 0 -b is at index 1 -c is at index 2 +```console +{{#include ../listings/ch18-patterns-and-matching/listing-18-03/output.txt}} ``` -这里使用 `enumerate` 方法适配一个迭代器来产生一个值和其在迭代器中的索引，他们位于一个元组中。第一个 `enumerate` 调用会产生元组 `(0, 'a')`。当这个值匹配模式 `(index, value)`，`index` 将会是 0 而 `value` 将会是 `'a'`，并打印出第一行输出。 +这里使用 `enumerate` 方法适配一个迭代器来产生一个值和其在迭代器中的索引，他们位于一个元组中。第一个产生的值是元组 `(0, 'a')`。当这个值匹配模式 `(index, value)`，`index` 将会是 0 而 `value` 将会是 `'a'`，并打印出第一行输出。 ### `let` 语句 @@ -129,7 +97,7 @@ let PATTERN = EXPRESSION; 为了更清楚的理解 `let` 的模式匹配方面的内容，考虑示例 18-4 中使用 `let` 和模式解构一个元组： ```rust -let (x, y, z) = (1, 2, 3); +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-04/src/main.rs:here}} ``` 示例 18-4: 使用模式解构元组并一次创建三个变量 @@ -139,22 +107,15 @@ let (x, y, z) = (1, 2, 3); 如果模式中元素的数量不匹配元组中元素的数量，则整个类型不匹配，并会得到一个编译时错误。例如，示例 18-5 展示了尝试用两个变量解构三个元素的元组，这是不行的： ```rust,ignore,does_not_compile -let (x, y) = (1, 2, 3); +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-05/src/main.rs:here}} ``` 示例 18-5: 一个错误的模式结构，其中变量的数量不符合元组中元素的数量 尝试编译这段代码会给出如下类型错误： -```text -error[E0308]: mismatched types - --> src/main.rs:2:9 - | -2 | let (x, y) = (1, 2, 3); - | ^^^^^^ expected a tuple with 3 elements, found one with 2 elements - | - = note: expected type `({integer}, {integer}, {integer})` - found type `(_, _)` +```console +{{#include ../listings/ch18-patterns-and-matching/listing-18-05/output.txt}} ``` 如果希望忽略元组中一个或多个值，也可以使用 `_` 或 `..`，如 [“忽略模式中的值”][ignoring-values-in-a-pattern] 部分所示。如果问题是模式中有太多的变量，则解决方法是通过去掉变量使得变量数与元组中元素数相等。 @@ -164,9 +125,7 @@ error[E0308]: mismatched types 函数参数也可以是模式。列表 18-6 中的代码声明了一个叫做 `foo` 的函数，它获取一个 `i32` 类型的参数 `x`，现在这看起来应该很熟悉： ```rust -fn foo(x: i32) { - // 代码 -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-06/src/main.rs:here}} ``` 列表 18-6: 在参数中使用模式的函数签名 @@ -176,14 +135,7 @@ fn foo(x: i32) { 文件名: src/main.rs ```rust -fn print_coordinates(&(x, y): &(i32, i32)) { - println!("Current location: ({}, {})", x, y); -} - -fn main() { - let point = (3, 5); - print_coordinates(&point); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-07/src/main.rs}} ``` 列表 18-7: 一个在参数中解构元组的函数 @@ -195,4 +147,4 @@ fn main() { 现在我们见过了很多使用模式的方式了，不过模式在每个使用它的地方并不以相同的方式工作；在一些地方，模式必须是 *irrefutable* 的，意味着他们必须匹配所提供的任何值。在另一些情况，他们则可以是 refutable 的。接下来让我们讨论这两个概念。 [ignoring-values-in-a-pattern]: -ch18-03-pattern-syntax.html#ignoring-values-in-a-pattern +ch18-03-pattern-syntax.html#忽略模式中的值 diff --git a/src/ch18-02-refutability.md b/src/ch18-02-refutability.md index 86837fa..0d4e4f0 100644 --- a/src/ch18-02-refutability.md +++ b/src/ch18-02-refutability.md @@ -2,7 +2,7 @@ > [ch18-02-refutability.md](https://github.com/rust-lang/book/blob/main/src/ch18-02-refutability.md) >
-> commit 30fe5484f3923617410032d28e86a5afdf4076fb +> commit d44317c3122b44fb713aba66cc295dee3453b24b 模式有两种形式：refutable（可反驳的）和 irrefutable（不可反驳的）。能匹配任何传递的可能值的模式被称为是 **不可反驳的**（*irrefutable*）。一个例子就是 `let x = 5;` 语句中的 `x`，因为 `x` 可以匹配任何值所以不可能会失败。对某些可能的值进行匹配会失败的模式被称为是 **可反驳的**（*refutable*）。一个这样的例子便是 `if let Some(x) = a_value` 表达式中的 `Some(x)`；如果变量 `a_value` 中的值是 `None` 而不是 `Some`，那么 `Some(x)` 模式不能匹配。 @@ -13,19 +13,15 @@ 让我们看看一个尝试在 Rust 要求不可反驳模式的地方使用可反驳模式以及相反情况的例子。在示例 18-8 中，有一个 `let` 语句，不过模式被指定为可反驳模式 `Some(x)`。如你所见，这不能编译： ```rust,ignore,does_not_compile -let Some(x) = some_option_value; +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-08/src/main.rs:here}} ``` 示例 18-8: 尝试在 `let` 中使用可反驳模式 如果 `some_option_value` 的值是 `None`，其不会成功匹配模式 `Some(x)`，表明这个模式是可反驳的。然而, 因为 `let` 对于 `None` 匹配不能产生任何任何合法的代码，所以 `let` 语句只能接受不可反驳模式。Rust 会在编译时抱怨我们尝试在要求不可反驳模式的地方使用可反驳模式： -```text -error[E0005]: refutable pattern in local binding: `None` not covered - --> - | -3 | let Some(x) = some_option_value; - | ^^^^^^^ pattern `None` not covered +```console +{{#include ../listings/ch18-patterns-and-matching/listing-18-08/output.txt}} ``` 因为我们没有覆盖（也不可能覆盖！）到模式 `Some(x)` 的每一个可能的值, 所以 Rust 会合理地抗议。 @@ -33,36 +29,23 @@ error[E0005]: refutable pattern in local binding: `None` not covered 为了修复在需要不可反驳模式的地方使用可反驳模式的情况，可以修改使用模式的代码：不同于使用 `let`，可以使用 `if let`。如此，如果模式不匹配，大括号中的代码将被忽略，其余代码保持有效。示例 18-9 展示了如何修复示例 18-8 中的代码。 ```rust -# let some_option_value: Option = None; -if let Some(x) = some_option_value { - println!("{}", x); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-09/src/main.rs:here}} ``` 示例 18-9: 使用 `if let` 和一个带有可反驳模式的代码块来代替 `let` 我们给了代码一个得以继续的出路！虽然我们没办法在避免产生错误的情况下使用不可反驳模式，但这段使用可反驳模式的代码是完全有效的。如果为 `if let` 提供了一个总是会匹配的模式，比如示例 18-10 中的 `x`，编译器会给出一个警告： -```rust,ignore -if let x = 5 { - println!("{}", x); -}; +```rust +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-10/src/main.rs:here}} ``` 示例 18-10: 尝试把不可反驳模式用到 `if let` 上 Rust 会抱怨将不可反驳模式用于 `if let` 是没有意义的： -```text -warning: irrefutable if-let pattern - --> :2:5 - | -2 | / if let x = 5 { -3 | | println!("{}", x); -4 | | }; - | |_^ - | - = note: #[warn(irrefutable_let_patterns)] on by default +```console +{{#include ../listings/ch18-patterns-and-matching/listing-18-10/output.txt}} ``` 基于此，`match`匹配分支必须使用可反驳模式，除了最后一个分支需要使用能匹配任何剩余值的不可反驳模式。Rust允许我们在只有一个匹配分支的`match`中使用不可反驳模式，不过这么做不是特别有用，并可以被更简单的 `let` 语句替代。 diff --git a/src/ch18-03-pattern-syntax.md b/src/ch18-03-pattern-syntax.md index 1ce3098..a79ba8d 100644 --- a/src/ch18-03-pattern-syntax.md +++ b/src/ch18-03-pattern-syntax.md @@ -1,8 +1,7 @@ ## 所有的模式语法 -> [ch18-03-pattern-syntax.md](https://github.com/rust-lang/book/blob/main/src/ch18-03-pattern-syntax.md) ->
-> commit 86f0ae4831f24b3c429fa4845b900b4cad903a8b +> [ch18-03-pattern-syntax.md](https://github.com/rust-lang/book/blob/main/src/ch18-03-pattern-syntax.md) >
+> commit e72de80f114dc68f69f3920768314f7c005d0dd5 通过本书我们已领略过许多不同类型模式的例子。在本节中，我们收集了模式中所有有效的语法，并讨论了为什么可能要使用每个语法。 @@ -11,14 +10,7 @@ 如第六章所示，可以直接匹配字面值模式。如下代码给出了一些例子： ```rust -let x = 1; - -match x { - 1 => println!("one"), - 2 => println!("two"), - 3 => println!("three"), - _ => println!("anything"), -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/no-listing-01-literals/src/main.rs:here}} ``` 这段代码会打印 `one` 因为 `x` 的值是 1。如果希望代码获得特定的具体值，则该语法很有用。 @@ -30,18 +22,7 @@ match x { 文件名: src/main.rs ```rust -fn main() { - let x = Some(5); - let y = 10; - - match x { - Some(50) => println!("Got 50"), - Some(y) => println!("Matched, y = {:?}", y), - _ => println!("Default case, x = {:?}", x), - } - - println!("at the end: x = {:?}, y = {:?}", x, y); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-11/src/main.rs:here}} ``` 示例 18-11: 一个 `match` 语句其中一个分支引入了覆盖变量 `y` @@ -58,16 +39,10 @@ fn main() { ### 多个模式 -在 `match` 表达式中，可以使用 `|` 语法匹配多个模式，它代表 **或**（*or*）的意思。例如，如下代码将 `x` 的值与匹配分支相比较，第一个分支有 **或** 选项，意味着如果 `x` 的值匹配此分支的任一个值，它就会运行： +在 `match` 表达式中，可以使用 `|` 语法匹配多个模式，它代表 **或**（_or_）的意思。例如，如下代码将 `x` 的值与匹配分支相比较，第一个分支有 **或** 选项，意味着如果 `x` 的值匹配此分支的任一个值，它就会运行： ```rust -let x = 1; - -match x { - 1 | 2 => println!("one or two"), - 3 => println!("three"), - _ => println!("anything"), -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/no-listing-02-multiple-patterns/src/main.rs:here}} ``` 上面的代码会打印 `one or two`。 @@ -77,12 +52,7 @@ match x { `..=` 语法允许你匹配一个闭区间范围内的值。在如下代码中，当模式匹配任何在此范围内的值时，该分支会执行： ```rust -let x = 5; - -match x { - 1..=5 => println!("one through five"), - _ => println!("something else"), -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/no-listing-03-ranges/src/main.rs:here}} ``` 如果 `x` 是 1、2、3、4 或 5，第一个分支就会匹配。这相比使用 `|` 运算符表达相同的意思更为方便；相比 `1..=5`，使用 `|` 则不得不指定 `1 | 2 | 3 | 4 | 5`。相反指定范围就简短的多，特别是在希望匹配比如从 1 到 1000 的数字的时候！ @@ -92,20 +62,14 @@ match x { 如下是一个使用 `char` 类型值范围的例子： ```rust -let x = 'c'; - -match x { - 'a'..='j' => println!("early ASCII letter"), - 'k'..='z' => println!("late ASCII letter"), - _ => println!("something else"), -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/no-listing-04-ranges-of-char/src/main.rs:here}} ``` Rust 知道 `c` 位于第一个模式的范围内，并会打印出 `early ASCII letter`。 ### 解构并分解值 -也可以使用模式来解构结构体、枚举、元组和引用，以便使用这些值的不同部分。让我们来分别看一看。 +也可以使用模式来解构结构体、枚举和元组，以便使用这些值的不同部分。让我们来分别看一看。 #### 解构结构体 @@ -114,18 +78,7 @@ Rust 知道 `c` 位于第一个模式的范围内，并会打印出 `early ASCII 文件名: src/main.rs ```rust -struct Point { - x: i32, - y: i32, -} - -fn main() { - let p = Point { x: 0, y: 7 }; - - let Point { x: a, y: b } = p; - assert_eq!(0, a); - assert_eq!(7, b); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-12/src/main.rs}} ``` 示例 18-12: 解构一个结构体的字段为单独的变量 @@ -137,18 +90,7 @@ fn main() { 文件名: src/main.rs ```rust -struct Point { - x: i32, - y: i32, -} - -fn main() { - let p = Point { x: 0, y: 7 }; - - let Point { x, y } = p; - assert_eq!(0, x); - assert_eq!(7, y); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-13/src/main.rs}} ``` 示例 18-13: 使用结构体字段简写来解构结构体字段 @@ -162,20 +104,7 @@ fn main() { 文件名: src/main.rs ```rust -# struct Point { -# x: i32, -# y: i32, -# } -# -fn main() { - let p = Point { x: 0, y: 7 }; - - match p { - Point { x, y: 0 } => println!("On the x axis at {}", x), - Point { x: 0, y } => println!("On the y axis at {}", y), - Point { x, y } => println!("On neither axis: ({}, {})", x, y), - } -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-14/src/main.rs:here}} ``` 示例 18-14: 解构和匹配模式中的字面值 @@ -193,38 +122,7 @@ fn main() { 文件名: src/main.rs ```rust -enum Message { - Quit, - Move { x: i32, y: i32 }, - Write(String), - ChangeColor(i32, i32, i32), -} - -fn main() { - let msg = Message::ChangeColor(0, 160, 255); - - match msg { - Message::Quit => { - println!("The Quit variant has no data to destructure.") - } - Message::Move { x, y } => { - println!( - "Move in the x direction {} and in the y direction {}", - x, - y - ); - } - Message::Write(text) => println!("Text message: {}", text), - Message::ChangeColor(r, g, b) => { - println!( - "Change the color to red {}, green {}, and blue {}", - r, - g, - b - ) - } - } -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-15/src/main.rs}} ``` 示例 18-15: 解构包含不同类型值成员的枚举 @@ -244,41 +142,7 @@ fn main() { 例如，我们可以重构列表 18-15 的代码来同时支持 RGB 和 HSV 色彩模式： ```rust -enum Color { - Rgb(i32, i32, i32), - Hsv(i32, i32, i32), -} - -enum Message { - Quit, - Move { x: i32, y: i32 }, - Write(String), - ChangeColor(Color), -} - -fn main() { - let msg = Message::ChangeColor(Color::Hsv(0, 160, 255)); - - match msg { - Message::ChangeColor(Color::Rgb(r, g, b)) => { - println!( - "Change the color to red {}, green {}, and blue {}", - r, - g, - b - ) - } - Message::ChangeColor(Color::Hsv(h, s, v)) => { - println!( - "Change the color to hue {}, saturation {}, and value {}", - h, - s, - v - ) - } - _ => () - } -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-16/src/main.rs}} ``` 示例 18-16: 匹配嵌套的枚举 @@ -290,12 +154,7 @@ fn main() { 甚至可以用复杂的方式来混合、匹配和嵌套解构模式。如下是一个复杂结构体的例子，其中结构体和元组嵌套在元组中，并将所有的原始类型解构出来： ```rust -# struct Point { -# x: i32, -# y: i32, -# } -# -let ((feet, inches), Point {x, y}) = ((3, 10), Point { x: 3, y: -10 }); +{{#rustdoc_include ../listings/ch18-patterns-and-matching/no-listing-05-destructuring-structs-and-tuples/src/main.rs:here}} ``` 这将复杂的类型分解成部分组件以便可以单独使用我们感兴趣的值。 @@ -313,13 +172,7 @@ let ((feet, inches), Point {x, y}) = ((3, 10), Point { x: 3, y: -10 }); 文件名: src/main.rs ```rust -fn foo(_: i32, y: i32) { - println!("This code only uses the y parameter: {}", y); -} - -fn main() { - foo(3, 4); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-17/src/main.rs}} ``` 示例 18-17: 在函数签名中使用 `_` @@ -333,19 +186,7 @@ fn main() { 也可以在一个模式内部使用`_` 忽略部分值，例如，当只需要测试部分值但在期望运行的代码中没有用到其他部分时。示例 18-18 展示了负责管理设置值的代码。业务需求是用户不允许覆盖现有的自定义设置，但是可以取消设置，也可以在当前未设置时为其提供设置。 ```rust -let mut setting_value = Some(5); -let new_setting_value = Some(10); - -match (setting_value, new_setting_value) { - (Some(_), Some(_)) => { - println!("Can't overwrite an existing customized value"); - } - _ => { - setting_value = new_setting_value; - } -} - -println!("setting is {:?}", setting_value); +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-18/src/main.rs:here}} ``` 示例 18-18: 当不需要 `Some` 中的值时在模式内使用下划线来匹配 `Some` 成员 @@ -357,13 +198,7 @@ println!("setting is {:?}", setting_value); 也可以在一个模式中的多处使用下划线来忽略特定值，如示例 18-19 所示，这里忽略了一个五元元组中的第二和第四个值： ```rust -let numbers = (2, 4, 8, 16, 32); - -match numbers { - (first, _, third, _, fifth) => { - println!("Some numbers: {}, {}, {}", first, third, fifth) - }, -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-19/src/main.rs:here}} ``` 示例 18-19: 忽略元组的多个部分 @@ -372,15 +207,12 @@ match numbers { #### 通过在名字前以一个下划线开头来忽略未使用的变量 -如果你创建了一个变量却不在任何地方使用它, Rust 通常会给你一个警告，因为这可能会是个 bug。但是有时创建一个还未使用的变量是有用的，比如你正在设计原型或刚刚开始一个项目。这时你希望告诉 Rust 不要警告未使用的变量，为此可以用下划线作为变量名的开头。示例 18-20 中创建了两个未使用变量，不过当运行代码时只会得到其中一个的警告： +如果你创建了一个变量却不在任何地方使用它, Rust 通常会给你一个警告，因为这可能会是个 bug。但是有时创建一个还未使用的变量是有用的，比如你正在设计原型或刚刚开始一个项目。这时你希望告诉 Rust 不要警告未使用的变量，为此可以用下划线作为变量名的开头。示例 18-20 中创建了两个未使用变量，不过当编译代码时只会得到其中一个的警告： 文件名: src/main.rs ```rust -fn main() { - let _x = 5; - let y = 10; -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-20/src/main.rs}} ``` 示例 18-20: 以下划线开始变量名以便去掉未使用变量警告 @@ -390,13 +222,7 @@ fn main() { 注意, 只使用 `_` 和使用以下划线开头的名称有些微妙的不同：比如 `_x` 仍会将值绑定到变量，而 `_` 则完全不会绑定。为了展示这个区别的意义，示例 18-21 会产生一个错误。 ```rust,ignore,does_not_compile -let s = Some(String::from("Hello!")); - -if let Some(_s) = s { - println!("found a string"); -} - -println!("{:?}", s); +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-21/src/main.rs:here}} ``` 示例 18-21: 以下划线开头的未使用变量仍然会绑定值，它可能会获取值的所有权 @@ -404,13 +230,7 @@ println!("{:?}", s); 我们会得到一个错误，因为 `s` 的值仍然会移动进 `_s`，并阻止我们再次使用 `s`。然而只使用下划线本身，并不会绑定值。示例 18-22 能够无错编译，因为 `s` 没有被移动进 `_`： ```rust -let s = Some(String::from("Hello!")); - -if let Some(_) = s { - println!("found a string"); -} - -println!("{:?}", s); +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-22/src/main.rs:here}} ``` 示例 18-22: 单独使用下划线不会绑定值 @@ -422,17 +242,7 @@ println!("{:?}", s); 对于有多个部分的值，可以使用 `..` 语法来只使用部分并忽略其它值，同时避免不得不每一个忽略值列出下划线。`..` 模式会忽略模式中剩余的任何没有显式匹配的值部分。在示例 18-23 中，有一个 `Point` 结构体存放了三维空间中的坐标。在 `match` 表达式中，我们希望只操作 `x` 坐标并忽略 `y` 和 `z` 字段的值： ```rust -struct Point { - x: i32, - y: i32, - z: i32, -} - -let origin = Point { x: 0, y: 0, z: 0 }; - -match origin { - Point { x, .. } => println!("x is {}", x), -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-23/src/main.rs:here}} ``` 示例 18-23: 通过使用 `..` 来忽略 `Point` 中除 `x` 以外的字段 @@ -444,15 +254,7 @@ match origin { 文件名: src/main.rs ```rust -fn main() { - let numbers = (2, 4, 8, 16, 32); - - match numbers { - (first, .., last) => { - println!("Some numbers: {}, {}", first, last); - }, - } -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-24/src/main.rs}} ``` 示例 18-24: 只匹配元组中的第一个和最后一个值并忽略掉所有其它值 @@ -464,45 +266,27 @@ fn main() { 文件名: src/main.rs ```rust,ignore,does_not_compile -fn main() { - let numbers = (2, 4, 8, 16, 32); - - match numbers { - (.., second, ..) => { - println!("Some numbers: {}", second) - }, - } -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-25/src/main.rs}} ``` 示例 18-25: 尝试以有歧义的方式运用 `..` 如果编译上面的例子，会得到下面的错误： -```text -error: `..` can only be used once per tuple or tuple struct pattern - --> src/main.rs:5:22 - | -5 | (.., second, ..) => { - | ^^ +```console +{{#include ../listings/ch18-patterns-and-matching/listing-18-25/output.txt}} ``` Rust 不可能决定在元组中匹配 `second` 值之前应该忽略多少个值，以及在之后忽略多少个值。这段代码可能表明我们意在忽略 `2`，绑定 `second` 为 `4`，接着忽略 `8`、`16` 和 `32`；抑或是意在忽略 `2` 和 `4`，绑定 `second` 为 `8`，接着忽略 `16` 和 `32`，以此类推。变量名 `second` 对于 Rust 来说并没有任何特殊意义，所以会得到编译错误，因为在这两个地方使用 `..` 是有歧义的。 ### 匹配守卫提供的额外条件 -**匹配守卫**（*match guard*）是一个指定于 `match` 分支模式之后的额外 `if` 条件，它也必须被满足才能选择此分支。匹配守卫用于表达比单独的模式所能允许的更为复杂的情况。 +**匹配守卫**（_match guard_）是一个指定于 `match` 分支模式之后的额外 `if` 条件，它也必须被满足才能选择此分支。匹配守卫用于表达比单独的模式所能允许的更为复杂的情况。 这个条件可以使用模式中创建的变量。示例 18-26 展示了一个 `match`，其中第一个分支有模式 `Some(x)` 还有匹配守卫 `if x < 5`： ```rust -let num = Some(4); - -match num { - Some(x) if x < 5 => println!("less than five: {}", x), - Some(x) => println!("{}", x), - None => (), -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-26/src/main.rs:here}} ``` 示例 18-26: 在模式中加入匹配守卫 @@ -511,25 +295,14 @@ match num { 相反如果 `num` 为 `Some(10)`，因为 10 不小于 5 所以第一个分支的匹配守卫为假。接着 Rust 会前往第二个分支，这会匹配因为它没有匹配守卫所以会匹配任何 `Some` 成员。 -无法在模式中表达 `if x < 5` 的条件，所以匹配守卫提供了表现此逻辑的能力。 +无法在模式中表达 `if x % 2 == 0` 的条件，所以匹配守卫提供了表现此逻辑的能力。这种额外表现力的缺点在于当涉及匹配守卫表达式时编译器不会尝试检查穷尽性。 在示例 18-11 中，我们提到可以使用匹配守卫来解决模式中变量覆盖的问题，那里 `match` 表达式的模式中新建了一个变量而不是使用 `match` 之外的同名变量。新变量意味着不能够测试外部变量的值。示例 18-27 展示了如何使用匹配守卫修复这个问题。 文件名: src/main.rs ```rust -fn main() { - let x = Some(5); - let y = 10; - - match x { - Some(50) => println!("Got 50"), - Some(n) if n == y => println!("Matched, n = {}", n), - _ => println!("Default case, x = {:?}", x), - } - - println!("at the end: x = {:?}, y = {}", x, y); -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-27/src/main.rs}} ``` 示例 18-27: 使用匹配守卫来测试与外部变量的相等性 @@ -541,13 +314,7 @@ fn main() { 也可以在匹配守卫中使用 **或** 运算符 `|` 来指定多个模式，同时匹配守卫的条件会作用于所有的模式。示例 18-28 展示了结合匹配守卫与使用了 `|` 的模式的优先级。这个例子中重要的部分是匹配守卫 `if y` 作用于 `4`、`5` **和** `6`，即使这看起来好像 `if y` 只作用于 `6`： ```rust -let x = 4; -let y = false; - -match x { - 4 | 5 | 6 if y => println!("yes"), - _ => println!("no"), -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-28/src/main.rs:here}} ``` 示例 18-28: 结合多个模式与匹配守卫 @@ -568,26 +335,10 @@ match x { ### `@` 绑定 -*at* 运算符（`@`）允许我们在创建一个存放值的变量的同时测试其值是否匹配模式。示例 18-29 展示了一个例子，这里我们希望测试 `Message::Hello` 的 `id` 字段是否位于 `3..=7` 范围内，同时也希望能将其值绑定到 `id_variable` 变量中以便此分支相关联的代码可以使用它。可以将 `id_variable` 命名为 `id`，与字段同名，不过出于示例的目的这里选择了不同的名称。 +_at_ 运算符（`@`）允许我们在创建一个存放值的变量的同时测试其值是否匹配模式。示例 18-29 展示了一个例子，这里我们希望测试 `Message::Hello` 的 `id` 字段是否位于 `3..=7` 范围内，同时也希望能将其值绑定到 `id_variable` 变量中以便此分支相关联的代码可以使用它。可以将 `id_variable` 命名为 `id`，与字段同名，不过出于示例的目的这里选择了不同的名称。 ```rust -enum Message { - Hello { id: i32 }, -} - -let msg = Message::Hello { id: 5 }; - -match msg { - Message::Hello { id: id_variable @ 3..=7 } => { - println!("Found an id in range: {}", id_variable) - }, - Message::Hello { id: 10..=12 } => { - println!("Found an id in another range") - }, - Message::Hello { id } => { - println!("Found some other id: {}", id) - }, -} +{{#rustdoc_include ../listings/ch18-patterns-and-matching/listing-18-29/src/main.rs:here}} ``` 示例 18-29: 使用 `@` 在模式中绑定值的同时测试它