大家好，我是站长 polarisxu。
这是 Rust 劝退系列的第 8 个教程，探讨 Rust 中的模式匹配。
关于 match 表达式，很多其他语言并没有，比如 Go 语言。不过有些语言开始支持 match，比如 PHP 8.0 就有了 match 表达式。
一般地可以认为 match 和 switch 类似，所以 Rust 中没有 switch。
match 用于检查某个当前的值是否匹配一组/列值中的某一个。看一个具体的例子：
fn test_match(number: i32) -> &'static str {
match number {
// 匹配单个值
1 => {println!("One!"); "One!"},
// 匹配多个值
2 | 3 | 5 | 7 | 11 => "This is a prime",
// 匹配一个闭区间范围
13..=19 => "A teen",
// 处理其他情况
_ => "Ain't special",
}
}
看起来是一个简单的语法结构，但大概率在其他语言没见过。简单解释下：
, 分隔；=> 左侧是模式，因此叫做模式匹配，比如 | 表示匹配多个值；..= 表示匹配一个范围；右侧是在左侧匹配成功时要执行的操作；_，用来处理所有其他情况，类似 switch 的 default 分支；但只要穷尽了，可以没有 _；{} 中；日常吐槽：在 match 中匹配区间，如果想和 for in 一样，使用
..来表示半闭半开区间，结果报错。看到资料说应该使用…，但却提示该语法已废弃！为啥语法结构还不保持一致呢？！
看一个接收 match 结果的例子：
let boolean = true;
let binary = match boolean {
false => 0,
true => 1,
}; // 注意这里的分号
println!("{} -> {}", boolean, binary);
上面介绍了常规的 match 操作。match 还有很多其他的用法。
当元组和 match 一起时，可以解构元组。
fn main() {
// 试一试将不同的值赋给 `pair`
let pair = (0, -2);
println!("Tell me about {:?}", pair);
// match 可以解构一个元组
match pair {
// 解构出第二个值
(0, y) => println!("First is `0` and `y` is `{:?}`", y),
(x, 0) => println!("`x` is `{:?}` and last is `0`", x),
_ => println!("It doesn't matter what they are"),
// `_` 表示不将值绑定到变量
}
}
关于枚举和指针、引用和 match 的结合，以后遇到再讲解。
在 match 分支中可以加上过滤条件。接着上面元组解构的例子：
fn main() {
let pair = (2, -2);
println!("Tell me about {:?}", pair);
match pair {
(x, y) if x == y => println!("These are twins"),
// `if` 条件部分是一个卫语句
(x, y) if x + y == 0 => println!("Antimatter, kaboom!"),
(x, _) if x % 2 == 1 => println!("The first one is odd"),
_ => println!("No correlation..."),
}
}
这是什么意思呢？看一个例子：（来自 rust by example）
// `age` 函数，返回一个 `u32` 值。
fn age() -> u32 {
15
}
fn main() {
println!("Tell me type of person you are");
match age() {
0 => println!("I'm not born yet I guess"),
// 可以直接 `match` 1 ..= 12，但怎么把岁数打印出来呢？
// 在 1 ..= 12 分支中绑定匹配值到 `n` 。现在年龄就可以读取了。
n @ 1 ..= 12 => println!("I'm a child of age {:?}", n),
n @ 13 ..= 19 => println!("I'm a teen of age {:?}", n),
// 不符合上面的范围。返回结果。
n => println!("I'm an old person of age {:?}", n),
}
}
match 后是一个函数，我们希望在分支中，根据匹配结果，使用 age 函数的返回值。当然，这个例子有点多此一举，完全可以在 match 之前用变量存储 age 函数的返回值。
那换一个例子：
fn some_number() -> Option<u32> {
Some(41)
}
fn main() {
match some_number() {
Some(n @ 40..=42) => println!("The Answer: {}!", n),
Some(n) => println!("Not interesting... {}", n),
_ => (),
}
}
这个例子很好的讲解了绑定的作用：分支中想要使用匹配的结果，通过 @ 符号可以将匹配的结果和某个变量绑定，然后就可以使用这个变量了。
这两个结构其他语言没见过，可以理解为是某些场景下替代 match，让代码更简洁，因为 match 必须穷尽所有情况，而 if let 和 while let 没有此限制。
以下代码：
let some_u8_value = Some(3u8);
match some_u8_value {
Some(3) => println!("three"),
_ => (), // 有点多余
}
改为 if let：
let some_u8_value = Some(3u8);
if let Some(3) = some_u8_value {
println!("three");
}
while let 语法和 if let 类似。这里就不举例子了。
Rust 中的 match 虽然和其他语言的 switch 类似，很显然，match 的复杂度比 switch 高。当然，不管复杂与否，最关键还是要实际使用，需要不断实际练习。
通常，match 和 Option、枚举一起使用，因此，在讲解这两个知识点时，一般会使用到 match。
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。