HoRain云--Rust条件语句全解析：if与match实战指南

Rust条件语句详解：if与match表达式对比本文系统介绍了Rust中两种核心条件语句：if表达式和match表达式的用法与区别。 if表达式：支持基础条件判断、多重分支（else if），可作为表达式返回值（需类型一致），并通过if let简化单一模式匹配。 match表达式：基于模式匹配，强制穷尽性检查，支持解构枚举/元组，提供多模式匹配（|）和条件守卫（if）。实用技巧：包括match

云夏之末

620人浏览 · 2025-09-19 09:30:00

云夏之末 · 2025-09-19 09:30:00 发布

🎬 HoRain云小助手：个人主页

🔥 个人专栏: 《Linux 系列教程》《c语言教程》

⛺️生活的理想，就是为了理想的生活!

⛳️ 推荐

前些天发现了一个超棒的服务器购买网站，性价比超高，大内存超划算！忍不住分享一下给大家。点击跳转到网站。

专栏介绍

专栏名称	专栏介绍
《C语言》	本专栏主要撰写C干货内容和编程技巧，让大家从底层了解C，把更多的知识由抽象到简单通俗易懂。
《网络协议》	本专栏主要是注重从底层来给大家一步步剖析网络协议的奥秘，一起解密网络协议在运行中协议的基本运行机制！
《docker容器精解篇》	全面深入解析 docker 容器，从基础到进阶，涵盖原理、操作、实践案例，助您精通 docker。
《linux系列》	本专栏主要撰写Linux干货内容，从基础到进阶，知识由抽象到简单通俗易懂，帮你从新手小白到扫地僧。
《python 系列》	本专栏着重撰写Python相关的干货内容与编程技巧，助力大家从底层去认识Python，将更多复杂的知识由抽象转化为简单易懂的内容。
《试题库》	本专栏主要是发布一些考试和练习题库（涵盖软考、HCIE、HRCE、CCNA等）

Rust 的条件语句是其控制流设计的核心之一，它通过 if 表达式和 match 表达式提供了强大而安全的条件分支能力。下面我将为你梳理 Rust 条件语句的核心概念、使用方法以及一些最佳实践。

📊 核心条件语句对比

特性	`if` 表达式	`match` 表达式
主要用途	基于布尔条件的简单分支	基于模式匹配的复杂分支
返回值	可以返回值（所有分支类型必须一致）	可以返回值（所有分支类型必须一致）
穷尽性检查	无	有（必须覆盖所有可能情况）
适用场景	条件较少、逻辑简单	多分支、枚举解构、复杂模式匹配
简化形式	`if let`（处理单一模式）	`if let` 和 `while let`

🧩 一、`if` 表达式

1. 基础用法

if 表达式根据布尔条件执行不同的代码分支。条件必须是严格的 bool 类型。

let number = 7;
if number < 5 {
    println!("条件为真");
} else {
    println!("条件为假");
}

2. 多重条件 (`else if`)

使用 else if 处理多个条件：

let number = 6;
if number % 4 == 0 {
    println!("可被 4 整除");
} else if number % 3 == 0 {
    println!("可被 3 整除"); // 此分支将执行
} else {
    println!("不可被 4 或 3 整除");
}

3. `if` 作为表达式返回值的特性

Rust 的 if 是一个表达式，因此可以赋值给变量。所有分支的返回值类型必须相同，且必须有 else 分支。

let condition = true;
let number = if condition { 5 } else { 6 }; // number 的值为 5
println!("The value of number is: {}", number);

4. `if let` 简化匹配

if let 是 match 的语法糖，用于只关心一种匹配模式而忽略其他所有情况的场景。

let some_value = Some(3);
// 只匹配 Some(value)，如果是 None 则跳过
if let Some(x) = some_value {
    println!("x = {}", x); // 打印: x = 3
}
// 等价于：
match some_value {
    Some(x) => println!("x = {}", x),
    _ => (),
}

🎯 二、`match` 表达式

match 是 Rust 中最强大和灵活的条件控制工具之一，它允许将一个值与一系列模式进行比较，并根据匹配的模式执行代码。

1. 基础语法与穷尽性

match 要求穷尽所有可能的情况，通常使用通配符 _ 作为默认分支。

let number = 2;
match number {
    1 => println!("One"),
    2 => println!("Two"), // 此分支将执行
    3 => println!("Three"),
    _ => println!("Anything else"), // 处理所有其他情况
}

2. 匹配与解构

match 的强大之处在于其模式匹配能力，可以解构枚举、元组、结构体等复杂类型。

enum Message {
    Quit,
    Move { x: i32, y: i32 },
    Write(String),
}

let msg = Message::Move { x: 10, y: 20 };
match msg {
    Message::Quit => println!("Quit"),
    Message::Move { x, y } => { // 解构 Move，提取 x 和 y
        println!("Move to x: {}, y: {}", x, y);
    }
    Message::Write(text) => println!("Text message: {}", text),
}

3. 匹配多个模式与条件守卫

使用 | 可以匹配多个模式，if 关键字（条件守卫）可以为匹配分支提供额外的条件检查。

let pair = (2, -2);
match pair {
    (x, y) if x == y => println!("Twins"),
    (x, y) if x + y == 0 => println!("Antimatter!"), // 此分支将执行
    (x, _) if x % 2 == 1 => println!("First is odd"),
    _ => println!("No correlation"),
}

💡 三、实用技巧与最佳实践

matches! 宏
用于快速检查一个值是否匹配某个模式，返回布尔值，非常适合在条件判断中使用。
```
let some_value = Some(5);
if matches!(some_value, Some(5)) { // 检查是否为 Some(5)
    println!("It's five!");
}
```

while let 循环
与 if let 类似，while let 允许在模式匹配成功时持续执行循环。

let mut stack = Vec::new();
stack.push(1);
stack.push(2);
stack.push(3);
// 只要 stack.pop() 返回 Some(value) 就继续循环
while let Some(top) = stack.pop() {
    println!("{}", top); // 依次打印 3, 2, 1
}

变量遮蔽（Shadowing）
在 match 或 if let 中，可以绑定新变量，这会遮蔽（Shadow）外部同名变量，且仅在当前分支内有效。

let age = Some(30);
if let Some(age) = age { // 此处的 age 是新的 i32 类型变量，遮蔽了外部的 Option<i32>
    println!("年龄是: {}", age); // 打印: 年龄是: 30
}
// 此处外部的 age 仍然是 Some(30)