模式与匹配

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

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

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

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

本章是与模式相关的所有内容的参考。我们将介绍使用模式的有效位置、可反驳模式和不可反驳模式之间的区别，以及您可能会看到的不同类型的模式语法。到本章结束时，您将了解如何使用模式以清晰的方式表达许多概念。