Rust（19）： 模式匹配

今天学习的内容是 Rust 中的 match 模式匹配。

前面介绍了 if 条件表达式，用于根据条件是否成立来决定执行哪条逻辑；然后又介绍了循环表达式，来重复执行一段逻辑。

Rust 中还有一个用于流程控制的语法，叫做模式匹配，就是将一个值去和列出的一系列模式按顺序进行匹配，当匹配到一个模式之后，就执行对应的分支（arm）逻辑。模式匹配是函数式编程中的一个概念。在其他语言中，实现类似功能的语法叫作 switch 语句。

模式匹配的语法，使用关键字 match 声明一个要匹配的值，后面使用一对大括号 {}，将匹配的模式封装起来，每个模式使用一个胖剪头 => 对应一条处理分支，有点像函数的函数体；多个模式之间不需要用逗号或者分号进行分割。

看看 match 的通用形式：

match target {
    模式1 => 表达式1,
    模式2 => {
        语句1;
        语句2;
        表达式2
    },
    _ => 表达式3
}

下面是一个枚举类型使用模式匹配的例子：

enum Alphabet {
    A,
    B
}
​
fn main() {
    let letter = Alphabet::A;
    
    match letter {
        Alphabet::A => {
            println!("字母A");
        }
        Alphabet::B => {
              println!("字母B");
        }
    }
}

_ 通配符

在 switch 语句里有一个 default case，当上面所有的 case 都不满足的时候，就会走这个逻辑。

在模式匹配中也有一个 _ 通配符，意思是当其他模式没有匹配上时，就会它所指定的分支。

比如 u8 类型可以表示 0-255 这中间的数字，如果只想匹配到 1，3，5，7，9 ，其他的不作处理，就可以使用 _：

fn main() {
    let n: u8 = 5;
    match n {
        1 => println!("1"),
        3 => println!("3"),
        5 => println!("5"),
        7 => println!("7"),
        _ => (),
    }
}

小结

这节课学习了 Rust 中的模式匹配，是流程控制的一种语法，在一些特定场景下使用它会非常优雅。