模式与匹配

模式 是 Rust 中用于匹配类型结构的特殊语法，无论是复杂类型还是简单类型。将模式与 match 表达式和其他结构结合使用，可以更好地控制程序的控制流。一个模式由以下各项的某种组合构成：

• 字面量
• 解构的数组、枚举、结构体或元组
• 变量
• 通配符
• 占位符

一些示例模式包括 x、(a, 3) 和 Some(Color::Red)。在模式有效的上下文中，这些组件描述了数据的形状。然后，我们的程序将值与模式进行匹配，以确定它是否具有正确的数据形状以继续运行特定的代码段。

要使用模式，我们将其与某个值进行比较。如果模式与值匹配，我们将在代码中使用值的部分。回想一下第 6 章中使用模式的 match 表达式，例如硬币分类机示例。如果值符合模式的形状，我们可以使用命名的部分。如果它不匹配，则与模式关联的代码将不会运行。

本章是关于模式相关的所有内容的参考。我们将介绍使用模式的有效位置、可反驳模式和不可反驳模式之间的区别，以及您可能看到的各种模式语法。到本章末尾，您将知道如何使用模式以清晰的方式表达许多概念。