|
|
|
@ -29,7 +29,7 @@ fn main() {
|
|
|
|
|
match x {
|
|
|
|
|
Some(50) => println!("Got 50"),
|
|
|
|
|
Some(y) => println!("Matched, y = {:?}", y),
|
|
|
|
|
_ => println!("Default case, x = {:?}", x),
|
|
|
|
|
_ => println!("Default case, y = {:?}", y),
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
println!("at the end: x = {:?}, y = {:?}", x, y);
|
|
|
|
@ -40,7 +40,7 @@ fn main() {
|
|
|
|
|
|
|
|
|
|
第二个匹配分支中的模式引入了一个新变量 `y`,它会匹配任何 `Some` 中的值。因为这里的 `y` 在 `match` 表达式的作用域中,而不是之前 `main` 作用域中,所以这是一个新变量,不是开头声明为值 10 的那个 `y`。这个新的 `y` 绑定会匹配任何 `Some` 中的值,在这里是 `x` 中的值。因此这个 `y` 绑定了 `x` 中 `Some` 内部的值。这个值是 5,所以这个分支的表达式将会执行并打印出 `Matched,y = 5`。
|
|
|
|
|
|
|
|
|
|
如果 `x` 的值是 `None` 而不是 `Some(5)`,头两个分支的模式不会匹配,所以会匹配模式 `_`。这个分支的模式中没有引入变量 `x`,所以此时表达式中的 `x` 会是外部没有被覆盖的 `x`,也就是 `Some(5)`。
|
|
|
|
|
如果 `x` 的值是 `None` 而不是 `Some(5)`,头两个分支的模式不会匹配,所以会匹配模式 `_`。这个分支的模式中没有引入变量 `y`,所以此时表达式中的 `y` 会是外部没有被覆盖的 `y`,也就是 `10`。
|
|
|
|
|
|
|
|
|
|
一旦 `match` 表达式执行完毕,其作用域也就结束了,同理内部 `y` 的作用域也结束了。最后的 `println!` 会打印 `at the end: x = Some(5), y = 10`。
|
|
|
|
|
|
|
|
|
@ -613,4 +613,4 @@ num @ (1 | 2)
|
|
|
|
|
|
|
|
|
|
## 课后练习
|
|
|
|
|
|
|
|
|
|
> [Rust By Practice](https://zh.practice.rs/pattern-match/patterns.html),支持代码在线编辑和运行,并提供详细的[习题解答](https://github.com/sunface/rust-by-practice)。
|
|
|
|
|
> [Rust By Practice](https://zh.practice.rs/pattern-match/patterns.html),支持代码在线编辑和运行,并提供详细的[习题解答](https://github.com/sunface/rust-by-practice)。
|
|
|
|
|