Rust 的 match 表达式通过编译期穷尽性检查处理枚举变体，要求代码必须覆盖枚举定义的所有变体。适用场景是状态流转或选项解构，风险边界在于遗漏变体会直接导致编译错误而非运行时异常。

快速处理思路

直接编写 match 表达式时，确保每个枚举变体都有对应的分支臂。如果变体携带数据，使用模式绑定提取数据。对于不需要具体处理的变体，使用通配符 _ 收尾。

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

fn handle(msg: Message) {
    match msg {
        Message::Quit => println!("Quit"),
        Message::Move { x, y } => println!("Move to {}, {}", x, y),
        Message::Write(text) => println!("Text: {}", text),
        Message::ChangeColor(r, g, b) => println!("Color: {}, {}, {}", r, g, b),
    }
}

为什么会这样

Rust 编译器通过穷尽性检查保证运行时不会出现未处理的变体情况。这种设计消除了空指针或未定义行为的隐患，将逻辑错误提前到编译阶段发现。匹配过程是零成本抽象，编译后生成的机器码与手写 if-else 链效率相当。

分步处理

第一步，定义枚举类型，明确所有可能的变体及其携带的数据类型。第二步，在函数中使用 match 关键字接上待匹配的表达式。第三步，为每个变体编写模式臂，使用 => 分隔模式和执行代码。第四步，如果枚举变体过多且部分无需处理，最后添加 _ => {} 分支。

检查点：编写完成后立即运行编译命令，观察是否有 E0004 错误码。回滚提醒：如果业务逻辑新增枚举变体，必须回头更新所有旧的 match 表达式，否则编译会阻断。

怎么验证是否生效

使用 cargo build 命令编译项目，成功则无输出或仅显示 warning。如果遗漏变体，编译器会输出 error[E0004]: non-exhaustive patterns 错误信息，并列出未覆盖的变体名称。日志位置在终端标准输出，状态判断以退出码 0 为成功，非 0 为失败。

常见坑

第一个坑是借用冲突，当 match 匹配引用类型时，注意所有权是否被移动导致后续无法使用。第二个坑是变量遮蔽，模式绑定中的变量名如果与作用域外变量同名，会遮蔽外部变量。第三个坑是通配符滥用，过早使用 _ 会导致新增变体时编译器无法提醒补充逻辑，降低代码可维护性。

常见问题

match 表达式必须覆盖所有变体吗？

必须覆盖所有变体，否则编译器报错 E0004。如果确实无法覆盖所有情况，可以使用 _ 通配符作为最后一个分支臂。

如何在 match 中提取枚举变体携带的数据？

在模式臂中直接声明变量名进行绑定，例如 Message::Write(text) 会将内部 String 绑定到 text 变量。

match 表达式可以有返回值吗？

可以有返回值，match 本身是一个表达式，每个分支臂最后一行的值将成为整个 match 表达式的结果。

参考来源

• The Rust Programming Language, Chapter 6.2 The match Control Flow Operator, https://doc.rust-lang.org/book/ch06-02-match.html
• The Rust Reference, Patterns, https://doc.rust-lang.org/reference/patterns.html