27、Swift 中的模式匹配与泛型参数详解

Swift 中的模式匹配与泛型参数详解

1. 模式匹配概述

模式代表单个值或复合值的结构。例如，元组 (1, 2) 的结构是由逗号分隔的两个元素列表。由于模式表示值的结构而非特定值，因此可以与多种值进行匹配。比如，模式 (x, y) 可以匹配元组 (1, 2) 以及任何其他二元组。除了将模式与值匹配外，还可以提取复合值的部分或全部，并将每个部分绑定到常量或变量名。

在 Swift 中，有两种基本类型的模式：
- 能成功匹配任何类型值的模式，用于简单变量、常量和可选绑定中的解构值，包括通配符模式、标识符模式以及包含它们的值绑定或元组模式。可以为这些模式指定类型注解，以限制它们仅匹配特定类型的值。
- 可能在运行时无法匹配指定值的模式，用于完全模式匹配，包括枚举用例模式、可选模式、表达式模式和类型转换模式。这些模式用于 switch 语句的 case 标签、 do 语句的 catch 子句，或 if 、 while 、 guard 或 for-in 语句的 case 条件中。

2. 各类模式详解

2.1 通配符模式

通配符模式由下划线 _ 组成，用于匹配并忽略任何值。当不关心要匹配的值时，可以使用通配符模式。例如：