Rust中模式匹配

模式匹配（Pattern Matching） 是一种强大的控制流工具，主要用于解构数据结构、匹配值和控制程序分支。常见匹配结构有：

• match 表达式
• if let
• while let
• for 循环
• 函数参数解构

match

match是模式匹配的核心：

• 穷尽性检查：编译器强制要求处理所有可能情况。
• 模式顺序：按顺序匹配，首个匹配成功即执行对应分支。
  • _ 匹配任何值，用于忽略不需要的值；
  • .. 忽略结构体 / 元组的部分字段；
  • |（管道符）实现或逻辑匹配，同时匹配多个；
  • @绑定，将匹配值绑定到变量；
• 返回值：每个分支的表达式结果必须是相同类型。

match value {
   
   
    pattern1 => expr1,
    pattern2 => expr2,
    _ => default_expr,
}

字面量模式

直接匹配具体的值（字面量），支持数字、字符串、布尔值等。

let x = 3;
match x {
   
   
    1 => println!("One"),
    z @ (2 | 3) => println!("or-{}", z),   // 多重匹配
    z @ 4..=6 => println!("rang-{}", z), 	// 范围匹配
    _ => println!("Other"),	// 默认匹配
}

守卫模式

在模式后添加 if 条件，进一步过滤匹配（仅当模式匹配且条件为真时生效）。

let num = 8;

match num {
   
   
    n if n % 2 == 0 => println!("Even: {}", n), // 8是偶数，匹配成功
    n => println!("Odd: {}", n),
}

let pair = (2, 3);
match pair {
   
   
    (x, y) if x + y == 5 => println!("Sum is 5"), // 2+3=5，匹配成功
    _ => println!("Sum is not 5"),
}

引用模式

当模式中的值是引用类型时，