掌握Rust match模式匹配（零基础入门Rust语言控制流）

什么是 match 表达式？

在 Rust 中，match 类似于其他语言中的 switch 语句，但它更强大、更安全。它会将一个值与一系列“模式”进行比较，并执行第一个匹配成功的分支代码。

最重要的是：Rust 要求 match 必须穷尽所有可能的情况，否则编译器会报错。这避免了逻辑漏洞，是 Rust 安全性的重要体现。

基本语法

match 的基本结构如下：

match value {    pattern1 => expression1,    pattern2 => expression2,    _ => expression_default, // 通配符，匹配其余所有情况}

简单示例：数字匹配

假设我们要根据一个数字输出不同的信息：

fn main() {    let number = 3;    match number {        1 => println!("One!"),        2 => println!("Two!"),        3 => println!("Three!"),        _ => println!("Other number"),    }}

这段代码会输出：Three!。注意最后的 _ 是通配符，表示“其他所有情况”。如果没有它，而 number 是 4，编译器就会报错，因为没有覆盖所有可能的值。

匹配枚举（Enum）——Rust 的经典用法

Rust 中大量使用枚举（enum），而 match 是处理枚举的最佳方式。

#[derive(Debug)]enum Coin {    Penny,    Nickel,    Dime,    Quarter,}fn value_in_cents(coin: Coin) -> u8 {    match coin {        Coin::Penny => 1,        Coin::Nickel => 5,        Coin::Dime => 10,        Coin::Quarter => 25,    }}fn main() {    let my_coin = Coin::Dime;    println!("{} cents", value_in_cents(my_coin));}

这里我们为每种硬币定义了对应的分值。由于枚举的所有变体都被明确列出，所以不需要 _ 通配符 —— 编译器知道已经穷尽了所有情况。

匹配 Option<T>

Option<T> 是 Rust 中处理“可能存在或不存在的值”的标准方式。它有两个变体：Some(value) 和 None。

fn main() {    let some_number: Option = Some(5);    let absent_number: Option = None;    match some_number {        Some(x) => println!("Got a value: {}", x),        None => println!("No value here!"),    }    match absent_number {        Some(x) => println!("Got a value: {}", x),        None => println!("No value here!"),    }}

输出结果为：
Got a value: 5
No value here!

匹配元组和结构体

match 还可以解构元组、数组甚至结构体。

fn main() {    let point = (3, 5);    match point {        (0, 0) => println!("Origin"),        (0, y) => println!("On Y axis at {}", y),        (x, 0) => println!("On X axis at {}", x),        (x, y) => println!("At ({}, {})", x, y),    }}

这个例子展示了如何通过模式匹配提取元组中的值。

守卫（Match Guards）

你可以在模式后添加 if 条件，称为“守卫”，用于进一步限制匹配条件。

fn main() {    let num = Some(10);    match num {        Some(x) if x % 2 == 0 => println!("{} is even", x),        Some(x) => println!("{} is odd", x),        None => println!("No number"),    }}

这里只有当 x 是偶数时，才会进入第一个分支。

总结

通过本篇 Rust教程，你应该已经掌握了 Rust match模式匹配 的基本用法。它是 Rust语言入门 阶段必须掌握的核心概念，也是实现安全 Rust控制流 的关键工具。

记住：match 不仅能判断值，还能解构数据、绑定变量、添加条件，功能极其强大。多加练习，你会爱上这种表达方式！