模式匹配

模式

模式由如下内容组成：
（1）字面值
（2）解构的数组、枚举、结构体或者元组
（3）变量
（4）通配符
（5）占位符

可能用到模式的位置：

• match
• if let
• while let
• for
• let
• 函数参数

反驳

模式有两种：refutable（可反驳的）和 irrefutable（不可反驳的）。能匹配任何传递的可能值的模式被称为是不可反驳的。对值进行匹配可能会失败的模式被称为可反驳的。

不可反驳的：函数、let语句、for循环。原因：因为通过不匹配的值程序无法进行有意义的工作。

if let和while let表达式被限制为只能接受可反驳的模式，因为它们的定义就是为了处理有可能失败的条件。

语法

匹配

• 匹配字面值

  match x {
      1 => println!("one"),
      _ => println!("anything"),
  }
  

• 匹配命名变量

  let y = 10;  //1处
  match x {
      Some(50) => println!("Got 50"),
      Some(y) => println!("Matched, y = {:?}", y), //此处的y和上面1处的y不一样，此处是引入的变量y覆盖之前的y
      _ => println!("Default case, x = {:?}", x),
  }
  

• 多个模式

  match x {
      1 | 2 => println!("one or two"),
      _ => println!("anything"),
  }
  

• 范围

  match x {
      'a'..='j' => println!("early ASCII letter"),
      'k'..='z' => println!("late ASCII letter"),
      _ => println!("something else"),
  }
  

解构

• 结构体

  let p = Point { x: 0, y: 7 };
      let Point { x: a, y: b } = p;
      assert_eq!(0, a);
      assert_eq!(7, b);
     //let Point { x, y } = p;   //创建了同名的变量，可以简写
  

• 枚举

• 元组

忽略

• 使用_忽略整个值或部分值；
• 用..忽略剩余值，必须是无歧义的（一般只用一个）。

其他

• 匹配守卫：匹配守卫是一个指定于match分支模式之后的额外的if条件，它必须满足才能选择此分支。

• 绑定：@运算符允许我们在创建一个存放值的变量，并且测试这个变量的值是否匹配模式。

  match msg {
      Message::Hello { id: id_variable @ 3..=7 } => {  //创建id_variable 存放id的值，同时测试值是否在3到7的范围
          println!("Found an id in range: {}", id_variable)
      },
    _ => {}
  }