Rust-Match表达式

在Rust中，`match` 表达式是一种强大的控制流结构，用于根据表达式的值进行模式匹配。它类似于其他编程语言中的 `switch` 语句，但功能更强大和灵活。`match` 表达式允许你将一个值与一系列模式进行比较，并根据匹配到的模式执行相应的代码块。

基本结构如下：

```rust
match value {
    pattern1 => action1,
    pattern2 => action2,
    ...
    _ => default_action, // '_' 是一个通配符，用于匹配所有剩余情况
}
```

- **value**: 这是要进行匹配的表达式。
- **pattern**: 这是一个模式，用于与 `value` 进行比较。模式可以是字面值、变量名、通配符等。
- **action**: 当 `value` 匹配到某个模式时执行的代码块。

`match` 表达式必须是 *穷尽式的*（exhaustive），意味着所有可能的值都必须被处理。如果无法处理所有可能的情况，可以使用通配符 `_` 来匹配所有未显式处理的情况。

下面是一个简单的例子：

```rust
enum TrafficLight {
    Red,
    Yellow,
    Green,
}

fn main() {
    let light = TrafficLight::Yellow;

    match light {
        TrafficLight::Red => println!("Stop!"),
        TrafficLight::Yellow => println!("Caution!"),
        TrafficLight::Green => println!("Go!"),
    }
}
```

在这个例子中，我们有一个名为 `TrafficLight` 的枚举，和一个名为 `light` 的变量，其值为 `TrafficLight::Yellow`。`match` 表达式根据 `light` 的值，打印出相应的信息。

`match` 表达式的真正力量体现在与Rust的模式匹配功能结合使用时，它可以匹配各种复杂的数据结构，包括枚举、结构体、元组和指针。这使得 `match` 成为处理复杂数据结构和实现多种控制流路径的理想选择。