共计 2803 个字符，预计需要花费 8 分钟才能阅读完成。
本节波及泛型类型、泛型函数以及泛型结构器的参数，包含形参和实参。申明泛型类型、函数或结构器时，须指定相应的类型参数。类型参数相当于一个占位符，当实例化泛型类型、调用泛型函数或泛型结构器时，就用具体的类型实参代替之。
对于 Swift 语言的泛型概述，见泛型 (第二局部第 22 章)。
泛型形参语句
泛型形参语句指定泛型类型或函数的类型形参，以及这些参数的关联束缚和要求。泛型形参语句用尖括号（<>）包住，并且有以下两种模式：
1. <generic parameter list> <generic parameter list where requirements >
1. <generic parameter list> <generic parameter list where requirements >
泛型形参列表中泛型形参用逗号离开，每一个采纳以下模式：
1. type parameter : constrain
泛型形参由两局部组成：类型形参及其后的可选束缚。类型形参只是占位符类型（如 T，U，V，KeyType，ValueType 等）的名字而已。你能够在泛型类型、函数的其余部分或者结构器申明，以及函数或结构器的签名中应用它。
束缚用于指明该类型形参继承自某个类或者恪守某个协定或协定的一部分。例如，在上面的泛型中，泛型形参 T: Comparable 示意任何用于代替类型形参 T 的类型实参必须满足 Comparable 协定。
1. func simpleMin<T: COmparable>(x: T, y: T) -> T {
2. if x < y {
3. return y
4. }
5. return x
6. }
如，Int 和 Double 均满足 Comparable 协定，该函数承受任何一种类型。与泛型类型相同，调用泛型函数或结构器时不须要指定泛型实参语句。类型实参由传递给函数或结构器的实参推断而出。
1. simpleMin(17, 42)
2. // T is inferred to be Int
3. simpleMin(3.14159, 2.71828)
4. // T is inferred to be Double
材料收录处
Where 语句
要想对类型形参及其关联类型指定额定要求，能够在泛型形参列表之后增加 where 语句。where 语句由关键字 where 及其后的用逗号宰割的多个要求组成。
where 语句中的要求用于指明该类型形参继承自某个类或恪守某个协定或协定的一部分。只管 where 语句有助于表白类型形参上的简略束缚（如 T: Comparable 等同于 T where T: Comparable，等等），然而仍然能够用来对类型形参及其关联束缚提供更简单的束缚。如，<T where T: C, T: P> 示意泛型类型 T 继承自类 C 且恪守协定 P。
如上所述，能够强制束缚类型形参的关联类型恪守某个协定。<T: Generator where T.Element: Equatable> 示意 T 恪守 Generator 协定，而且 T 的关联类型 T.Element 恪守 Eauatable 协定（T 有关联类型是因为 Generator 申明了 Element，而 T 恪守 Generator 协定）。
也能够用操作符 == 来指定两个类型等效的要求。例如，有这样一个束缚：T 和 U 恪守 Generator 协定，同时要求它们的关联类型等同，能够这样来表白：<T: Generator, U: Generator where T.Element == U.Element>。
当然，代替类型形参的类型实参必须满足所有类型形参所要求的束缚和要求。
泛型函数或结构器能够重载，但在泛型形参语句中的类型形参必须有不同的束缚或要求，抑或二者皆不同。当调用重载的泛型函数或结构器时，编译器会用这些束缚来决定调用哪个重载函数或结构器。
泛型类能够生成一个子类，然而这个子类也必须是泛型类。
泛型参数子句的语法。
参数子句→<Generic-PARAMETER-LISTREQUIRECTION- 子句 >。
Generic-PARAMETER-LIST→通用参数通用参数列表，通用参数列表。
泛型参数→类型名称。
泛型参数→类型名称：类型标识符。
泛型参数协定类型名称：→组成类型。
Requirements- 子句→WHERE？Requirements-List？
Requirements-List→Requirements-Requirements，Requirements-List。
Requirements→Conformance-Requirements-Same-Type-Requirements。
一致性 - 要求→类型 - 标识符：类型 - 标识符。
一致性 - 要求协定类型 - 标识符：→- 组合 - 类型。
雷同类型要求→类型标识符== 类型标识符
泛型实参语句
泛型实参语句指定泛型类型的类型实参。泛型实参语句用尖括号（<>）包住，模式如下：
1. < generic argument list >
泛型实参列表中类型实参有逗号离开。类型实参是理论具体类型的名字，用来代替泛型类型的泛型形参语句中的相应的类型形参。从而失去泛型类型的一个特化版本。如，Swift 规范库的泛型字典类型定义如下：
1. struct Dictionary<KeyTypel: Hashable, ValueType>: Collection, DictionaryLiteralConvertibl
e {/* .. */}
泛型 Dictionary 类型的特化版本，Dictionary<String, Int> 就是用具体的 String 和 Int 类型代替泛型类型 KeyType: Hashable 和 ValueType 产生的。每一个类型实参必须满足它所代替的泛型形参的所有束缚，包含任何 where 语句所指定的额定的要求。下面的例子中，类型形参 KeyType 要求满足 Hashable 协定，因而 String 也必须满足 Hashable 协定。
能够用自身就是泛型类型的特化版本的类型实参代替类型形参（假如已满足适合的束缚和要求）。例如，为了生成一个元素类型是整型数组的数组，能够用数组的特化版本 Array 代替泛型类型 Array 的类型形参 T 来实现。
1. let arrayOfArrays: Array<Array<Int>> = [[1, 2, 3], [4, 5, 6], [7, 8, 9]]
如泛型形参语句所述，不能用泛型实参语句来指定泛型函数或结构器的类型实参。
泛型论元从句的语法。
泛型自变量子句列表 <- 泛型 - 参数 - 列表 ->→。
泛型参数列表→泛型参数泛型参数，泛型参数列表。
泛型参数→类型
材料收录处
因为文章篇幅无限，只能点到即止地介绍以后一些工作成绩和思考，各个 Swift 还有一些新的方向在摸索，如果你对 iOS 底层原理、架构设计、构建零碎、如何面试有趣味理解，你也能够关注我及时获取最新材料以及面试相干材料。如果你有什么意见和倡议欢送给我留言！
写的不好的中央欢送大家指出，心愿大家多留言探讨，让咱们共同进步！
喜爱 iOS 的小伙伴能够关注我，一起学习交换！！！
