课程名称:领略Rust之美,挑战双高语言
课程章节: 第4章 Rust 流程控制 4-7 Rust中的match
课程讲师:叶枭
课程内容:
今天学习的内容是 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 中的模式匹配,是流程控制的一种语法,在一些特定场景下使用它会非常优雅。