match 基础

match 是 YaoXiang 最强大的控制流结构。它让你根据一个值的形态，选择不同的处理路径。如果你用过其他语言的 switch，你会发现 match 是一个全面升级的版本。

基本语法

语法规范中 match 表达式的定义：

match Expr { MatchArm+ }
MatchArm : Pattern ('|' Pattern)* ('if' Expr)? '=>' Expr ','

分解来看：

• match 后面跟一个要匹配的值
• {} 中包含一个或多个 匹配臂（MatchArm）
• 每个匹配臂：模式 后面跟 =>，然后是结果表达式
• 每个臂用逗号结尾

一个最简单的例子：

number = 2

text = match number {
    0 => "零",
    1 => "一",
    2 => "二",
}
print(text)  // "二"

match 是表达式

和 if 一样，match 也是表达式——它计算出一个值。所有匹配臂的返回值类型必须一致：

score = 85

grade = match score {
    90..100 => "A",    // 范围模式（进阶内容）
    80..89 => "B",
    70..79 => "C",
    60..69 => "D",
    _ => "F",          // 通配符：匹配所有剩余情况
}
print(grade)  // "B"

注意：范围模式 90..100 等属于进阶内容，将在 模式匹配进阶 中深入讲解。本章先聚焦于基础模式。

基础模式

字面量模式

用具体的值来匹配：

response = 404

message = match response {
    200 => "OK",
    301 => "Moved",
    404 => "Not Found",
    500 => "Server Error",
    _ => "Unknown",
}
print(message)  // "Not Found"

标识符模式

用变量名来捕获匹配到的值：

result: Result(Int, String) = ok(42)

description = match result {
    ok(value) => "成功，值是: " + value.to_string(),
    err(error) => "失败，原因: " + error,
}
print(description)  // "成功，值是: 42"

ok(value) 中的 value 是一个标识符模式——它捕获了 ok 包裹的实际值，你可以在 => 后面的表达式里使用它。

通配符模式

_ 是通配符，匹配任何值。通常放在最后，作为兜底：

command = "exit"

action = match command {
    "start" => "启动服务",
    "stop" => "停止服务",
    "restart" => "重启服务",
    _ => "未知指令: " + command,
}
print(action)  // "未知指令: exit"

匹配必须穷尽

YaoXiang 的 match 要求覆盖所有可能的情况——如果编译器发现你漏掉了某些可能的值，会直接报错。这是 match 安全性的体现。

// 这段代码会编译失败
// value = true
// result = match value {
//     true => "是",
//     // 缺少 false 分支——编译错误！
// }

// 正确——使用 _ 兜底
value = true
result = match value {
    true => "是",
    _ => "否",      // _ 确保 false 也有处理
}

当你明确知道只有有限的几种情况时（比如匹配枚举），编译器会帮你检查是否每个变体都覆盖到了。这是防止漏写分支bug的利器。

多模式组合

一个匹配臂可以匹配多个模式，用 | 分隔：

day = "sunday"

type = match day {
    "monday" | "tuesday" | "wednesday" | "thursday" | "friday" => "工作日",
    "saturday" | "sunday" => "休息日",
    _ => "无效",
}
print(type)  // "休息日"

匹配臂按顺序执行

match 从第一个臂开始尝试匹配，第一个匹配成功的分支会生效，后面的不会被执行：

number = 5

result = match number {
    _ => "其他",     // 通配符匹配一切，这里会匹配
    5 => "五",       // 永远不会被执行——上面已经匹配了
}
print(result)  // "其他"

这个特性意味着把通配符 _ 放在最后是一个好习惯。

小结

要点	说明
语法	match 值 { 模式 => 表达式, ... }
表达式	match 计算出一个值，所有分支类型一致
字面量模式	精确匹配具体值：200 => "OK"
标识符模式	捕获值到变量：ok(value) => ...
通配符 _	匹配任何值，做兜底
穷尽性	必须覆盖所有可能，编译器会检查
多模式	模式1 | 模式2 => 表达式
顺序执行	从上到下，第一个匹配的分支生效

下一步：本文覆盖了 match 的基础用法。更高级的模式（嵌套模式、卫表达式、结构体解构等）请参阅 模式匹配进阶。