切片模式

你有没有试过，用模式匹配去匹配切片的内容和结构？ Rust 2018 将让你做到这一点。

例如，我们想要接受一个名单列表并回复问候语。使用切片模式，我们可以用以下方式轻松完成：

1. fn main() {
2. greet(&[]);
3. // output: Bummer, there's no one here :(
4. greet(&["Alan"]);
5. // output: Hey, there Alan! You seem to be alone.
6. greet(&["Joan", "Hugh"]);
7. // output: Hello, Joan and Hugh. Nice to see you are at least 2!
8. greet(&["John", "Peter", "Stewart"]);
9. // output: Hey everyone, we seem to be 3 here today.
10. }

12. fn greet(people: &[&str]) {
13. match people {
14. [] => println!("Bummer, there's no one here :("),
15. [only_one] => println!("Hey, there {}! You seem to be alone.", only_one),
16. [first, second] => println!(
17. "Hello, {} and {}. Nice to see you are at least 2!",
18. first, second
19. ),
20. _ => println!("Hey everyone, we seem to be {} here today.", people.len()),
21. }
22. }

现在，你不必检查长度了。

你也可以匹配 array 如下：

1. let arr = [1, 2, 3];

3. assert_eq!("ends with 3", match arr {
4. [_, _, 3] => "ends with 3",
5. [a, b, c] => "ends with something else",
6. });

更多的细节

穷举模式

在第一个例子中，注意匹配的 _ => ...。 如果开始匹配，那么将会匹配一切情况，所以有“穷尽所有模式”的处理方式。 如果我们忘记使用 _ => ... 或者 identifier => ... 模式，我们会得到如下的错误提醒：

1. error[E0004]: non-exhaustive patterns: `&[_, _, _]` not covered

如果我们再增加一项，我们将得到如下：

1. error[E0004]: non-exhaustive patterns: `&[_, _, _, _]` not covered

如此。

数组和精确的长度

在第二个例子中，数组是有固定长度的，我们需要匹配所有长度项，如果只匹配2，4项的话，会报错：

1. error[E0527]: pattern requires 2 elements but array has 3

和

1. error[E0527]: pattern requires 4 elements but array has 3

管道中

在切片模式方面，计划采用更先进的形式，但尚未稳定。要了解更多信息，请跟踪 the tracking issue。