バインディング

変数に間接的にアクセスすると、再バインドせずにその変数で分岐して使用することはできません。match は、値を名前にバインドするための @ 記号を提供します。

// `u32` を返す関数 `age`。
fn age() -> u32 {
    15
}

fn main() {
    println!("Tell me what type of person you are");

    match age() {
        0             => println!("I haven't celebrated my first birthday yet"),
        // 1 ..= 12 に対して直接 `match` することもできるが、その場合
        // 子どもの年齢はいくつになるのか？
        // `match` n として `if` ガードを使うこともできるが、
        // 網羅性チェックには寄与しない。
        // （ただし、この場合は末尾に「キャッチオール」パターンがあるため
        // 問題にはならない）
        // 代わりに、1 ..= 12 のシーケンスを `n` にバインドする。
        // これで年齢を報告できる。
        n @ 1  ..= 12 => println!("I'm a child of age {:?}", n),
        n @ 13 ..= 19 => println!("I'm a teen of age {:?}", n),
        // 複数の値をマッチする場合にも、同様のバインディングを行える。
        n @ (1 | 7 | 15 | 13) => println!("I'm a teen of age {:?}", n),
        // 何もバインドしない。結果を返す。
        n             => println!("I'm an old person of age {:?}", n),
    }
}

Option などの enum バリアントを「分解」するためにバインディングを使うこともできます。

fn some_number() -> Option<u32> {
    Some(42)
}

fn main() {
    match some_number() {
        // `Some` バリアントを取得し、その値が `n` にバインドされ、
        // 42 と等しい場合にマッチする。
        // `Some(42)` を使って `"The Answer: 42!"` を出力することもできるが、
        // 後でそれを変更したくなった場合、
        // `42` を 2 か所で変更する必要がある。
        // `Some(n) if n == 42` を使って `"The Answer: {n}!"` を出力することもできるが、
        // 網羅性チェックには寄与しない。
        // （ただし、この場合は次のアームが「キャッチオール」パターンであるため
        // 問題にはならない）
        Some(n @ 42) => println!("The Answer: {}!", n),
        // その他の数値にマッチする。
        Some(n)      => println!("Not interesting... {}", n),
        // それ以外（`None` バリアント）にマッチする。
        _            => (),
    }
}

関連項目:

functions、enums および Option