Rust — 模式与匹配

1. 模式

用来匹配类型中的结构(数据的形状)，结合 模式和match表达式 提供程序控制流的支配权

• 模式组成内容
• 字面量
• 解构的数组、枚举、结构体、元祖
• 变量
• 通配符
• 占位符

流程：匹配值 --> 是否拥有正确的数据 --> 运行特定的代码

2. 使用模式的位置

• match分支：由match关键字、一个匹配的值和一个或多个分支构成
  • 穷尽性：所有可能的值都必须考虑到
  • _: 匹配所有情况，不绑定任何变量

enum Status {     // 其中对应的值通过 Status::OK as i32方式取出     OK = 200,     NotFound = 404,     Create = 201 }  fn main() {     let status = Status::OK;      match status {         // 将枚举         Status::OK => println!("{}", Status::OK as i32),         _ => println!()     } } 

• if let 语句

只关心一种情况的match分支的简写，可选的else在模式不匹配时执行，可以灵活搭配 else if 、else if let，搭配之间不需要关联性

• while let 条件循环

只要模式匹配就一直进行while循环

fn main() {     let mut stack = Vec::new();     // 推入数据     stack.push(1);     stack.push(2);     stack.push(3);     stack.push(4);      // 弹出数据     while let Some(v) = stack.pop() {         println!("value: {}", v)     } } 

• for循环

模式是for关键字直接跟随的值

fn main() {     let valuse = vec![1, 2, 3, 4, 5];          // 遍历vector，使用了模式对元祖进行解构     for (index, value) in valuse.iter().enumerate() {         println!("index: {}, value: {}", index, value)     } } 

• let 语句

将模式与表达式进行比较，并为任何找到的名称赋值

fn main() {     // 结构元祖     let (x, y, z) = (1, 2, 3);     println!("{}, {}, {}", z, y, x);          // 普通变量声明     let x = 5; } 

• 函数参数

与let语句一致

fn function_pattern(&(x, y): &(i32, i32)) -> i32 {     x + y }  fn main() {     let num = (1, 2);     let sum = function_pattern(&num);     println!("sum: {}", sum) } 

3. 模式分类

依据：是否会匹配可能失败

• 不可反驳: 能匹配任何传递的可能值
• let语句 for循环 函数
• 可反驳: 对某些可能存在的值进行匹配会失败
• if let、 while let、match分支

4. 模式语法

• 匹配字面量

fn main() {     let name = "beimen";      match name {         "beimen" => println!("beimen"),         "chuixue" => println!("chuixue"),         _ => println!("unknown")     } }