2 模式匹配 on 编程那些事儿

2.1 不可失败模式

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/pattern-matching/infallible.html

2.1 不可失败模式

第 1 天我们简要看过如何用模式_解构_（destructure）复合值。下面复习一下，并介绍模式还能表达的其他内容：

2.2 匹配值

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/pattern-matching/match.html

2.2 匹配值

match 关键字可以把一个值与一个或多个_模式_（pattern）进行匹配。模式可以是简单值（类似 C/C++ 的 switch），也可以表达更复杂的条件：

2.3 解构结构体

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/pattern-matching/destructuring-structs.html

2.3 解构结构体

与元组一样，结构体也可以通过匹配来解构：

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18


// Copyright 2022 Google LLC
// SPDX-License-Identifier: Apache-2.0
struct Move {
 delta: (i32, i32),
 repeat: u32,
}

#[rustfmt::skip]
fn main() {
 let m = Move { delta: (10, 0), repeat: 5 };

 match m {
 Move { delta: (0, 0), .. } => println!("Standing still"),
 Move { delta: (x, 0), repeat } => println!("{repeat} step x: {x}"),
 Move { delta: (0, y), repeat: 1 } => println!("Single step y: {y}"),
 _ => println!("Other move"),
 }
}

修改 m 中的字面量，使它匹配其他模式。

给 Movement 增加新字段，并按需要改模式。

注意 delta: (x, 0) 是嵌套模式。

深入探索

试一下 match &m，并查看捕获的类型。模式语法不变，但捕获会变成共享引用。这就是 match ergonomics，在为枚举实现方法时写 match self 常常很有用。

对 match &mut m 同样成立：捕获会变成独占引用。

捕获与常量表达式的区别有时很难一眼看出。试着把第一个分支里的 10 改成变量，会发现它微妙地不工作；改成 const 后又会正常。

2.4 解构枚举

Tue, 11 Aug 2026 11:30:00 +0800

译文 · 基于 Comprehensive Rust

原文链接: https://google.github.io/comprehensive-rust/pattern-matching/destructuring-enums.html

2.4 解构枚举

与元组一样，枚举也可以通过匹配来解构：

模式还可以把变量绑定到值的各个部分。这就是检查类型结构的方式。先从一个简单的 enum 开始：