9、深入理解模式匹配与泛型编程

深入理解模式匹配与泛型编程

1. 模式匹配简介

支持代数数据类型的编程语言通常具备一系列处理复合类型字段或类型变体的特性。模式匹配便是其中之一，它能让我们定义针对类型不同变体执行不同操作的函数，同时从复合类型中提取单个字段，并且保证语言的类型安全。

许多支持模式匹配的语言编译器，若我们未正确处理类型的所有字段或变体，会发出警告或错误提示，这有助于编写更安全、健壮的代码。

以下是使用 switch 语句进行简单模式匹配的示例：

let theTeam = MLSTeam.montreal 
switch theTeam { 
case .montreal: 
    print("Montreal Impact") 
case .toronto: 
    print("Toronto FC") 
case .newYork: 
    print("Newyork Redbulls") 
case .columbus: 
    print("Columbus Crew") 
case .losAngeles: 
    print("LA Galaxy") 
case .seattle: 
    print("Seattle Sounders") 
}  

在这个例子中，Swift 编译器会推断 theTeam 为 MLSTeam 类型，所以每个 case 无需再写 MLSTeam 。

我们使