绑定

在 match 中，若间接地访问一个变量，则不经过重新绑定就无法在分支中再使用它。match 提供了 @ 符号来绑定变量到名称：

  1. // `age` 函数，返回一个 `u32` 值。
  2. fn age() -> u32 {
  3.     15
  4. }
  6. fn main() {
  7.     println!("Tell me what type of person you are");
  9.     match age() {
  10.         0             => println!("I haven't celebrated my first birthday yet"),
  11.         // 可以直接匹配（`match`） 1 ..= 12，但那样的话孩子会是几岁？
  12.         // 相反，在 1 ..= 12 分支中绑定匹配值到 `n` 。现在年龄就可以读取了。
  13.         n @ 1  ..= 12 => println!("I'm a child of age {:?}", n),
  14.         n @ 13 ..= 19 => println!("I'm a teen of age {:?}", n),
  15.         // 不符合上面的范围。返回结果。
  16.         n             => println!("I'm an old person of age {:?}", n),
  17.     }
  18. }

你也可以使用绑定来“解构” enum 变体，例如 Option:

  1. fn some_number() -> Option<u32> {
  2.     Some(42)
  3. }
  5. fn main() {
  6.     match some_number() {
  7.         // 得到 `Some` 可变类型，如果它的值（绑定到 `n` 上）等于 42，则匹配。
  8.         Some(n @ 42) => println!("The Answer: {}!", n),
  9.         // 匹配任意其他数字。
  10.         Some(n)      => println!("Not interesting... {}", n),
  11.         // 匹配任意其他值（`None` 可变类型）。
  12.         _            => (),
  13.     }
  14. }

参见：

函数，枚举 和 Option