绑定
间接访问变量时,无法在分支中使用该变量而不重新绑定。match 提供了 @ 符号,用于将值绑定到名称:
// 一个返回 `u32` 的 `age` 函数。
fn age() -> u32 {
15
}
fn main() {
println!("告诉我你是什么类型的人");
match age() {
0 => println!("我还没有过第一个生日"),
// 我们可以直接 `match` 1 ..= 12,但那样的话如何确定
// 孩子的确切年龄呢?
// 可以 `match` n 并使用 `if` 守卫,但这并不是
// 穷尽性检查。
// (虽然在这种情况下无关紧要,因为底部有一个
// "兜底" 模式)
// 因此,将 1 ..= 12 序列绑定到 `n`。
// 现在可以报告年龄了。
n @ 1 ..= 12 => println!("我是 {:?} 岁的儿童", n),
n @ 13 ..= 19 => println!("我是 {:?} 岁的青少年", n),
// 匹配多个值时也可以进行类似的绑定。
n @ (1 | 7 | 15 | 13) => println!("我是 {:?} 岁的青少年", n),
// 没有绑定。直接返回结果。
n => println!("我是 {:?} 岁的成年人", n),
}
}
你也可以使用绑定来“解构“ enum 变体,例如 Option:
fn some_number() -> Option<u32> {
Some(42)
}
fn main() {
match some_number() {
// 匹配到 `Some` 变体,检查其绑定到 `n` 的值
// 是否等于 42。
// 也可以使用 `Some(42)` 并打印 `"The Answer: 42!"`,
// 但这样一来,若以后想修改这个值,就得在两个地方
// 修改 `42`。
// 也可以使用 `Some(n) if n == 42` 并打印 `"The Answer: {n}!"`,
// 但那样就无法参与穷尽性检查了。
// (尽管在本例中这无关紧要,因为
// 下一个分支是一个“兜底”模式)
Some(n @ 42) => println!("答案是:{}!", n),
// 匹配任何其他数字
Some(n) => println!("不感兴趣... {}", n),
// 匹配其他任何情况(`None` 变体)
_ => (),
}
}