KaiserY · 更新于 2018-11-28 11:00:43

匹配

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的简略形式。

上一篇: 枚举 下一篇: 模式