4.12.枚举
4.14.模式

Rust 程序设计语言 中文版

匹配

match.md
commit fc4bb5f77060b5822f25edbabbdf7a1d48a7f8fe

一个简单的[if](If If语句.md)/else往往是不够的，因为你可能有两个或更多个选项。这样else也会变得异常复杂。Rust 有一个match关键字，它可以让你有效的取代复杂的if/else组。看看下面的代码：

let x = 5;

match x {
    1 => println!("one"),
    2 => println!("two"),
    3 => println!("three"),
    4 => println!("four"),
    5 => println!("five"),
    _ => println!("something else"),
}

match使用一个表达式然后基于它的值分支。每个分支都是val => expression这种形式。当匹配到一个分支，它的表达式将被执行。match属于“模式匹配”的范畴，match是它的一个实现。有[一个整个关于模式的部分](Patterns 模式.md)讲到了所有可能的模式。

那么这有什么巨大的优势呢？这确实有优势。第一，match强制穷尽性检查（exhaustiveness checking）。你看到了最后那个下划线开头的分支了吗？如果去掉它，Rust 将会给我们一个错误：

error: non-exhaustive patterns: `_` not covered

Rust 试图告诉我们忘记了一个值。编译器从x推断它可以是任何正的 32 位整型值；例如从 1 到 2,147,483,647。_就像一个匹配所有的分支，它会捕获所有没有被match分支捕获的所有可能值。如你所见，在上个例子中，我们提供了 1 到 5 的mtach分支，如果x是 6 或者其他值，那么它会被_捕获。

match也是一个表达式，也就是说它可以用在let绑定的右侧或者其它直接用到表达式的地方：

let x = 5;

let number = match x {
    1 => "one",
    2 => "two",
    3 => "three",
    4 => "four",
    5 => "five",
    _ => "something else",
};

有时，这是一个把一种类型的数据转换为另一个类型的好方法。

匹配枚举（Matching on enums）

match的另一个重要的作用是处理枚举的可能变量：

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

fn quit() { /* ... */ }
fn change_color(r: i32, g: i32, b: i32) { /* ... */ }
fn move_cursor(x: i32, y: i32) { /* ... */ }

fn process_message(msg: Message) {
    match msg {
        Message::Quit => quit(),
        Message::ChangeColor(r, g, b) => change_color(r, g, b),
        Message::Move { x: x, y: y } => move_cursor(x, y),
        Message::Write(s) => println!("{}", s),
    };
}

再一次，Rust编译器检查穷尽性，所以它要求对每一个枚举的变量都有一个匹配分支。如果你忽略了一个，除非你用_否则它会给你一个编译时错误。

与之前的match的作用不同，你不能用常规的if语句来做这些。你可以使用[if let](if let.md)语句，它可以被看作是一个match的简略形式。

书籍推荐