原文：http://www.cocoachina.com/newbie/basic/2014/0612/8802.html

本页内容包含：泛型形參语句和泛型实參语句

本节涉及泛型类型、泛型函数以及泛型构造器的參数，包含形參和实參。声明泛型类型、函数或构造器时，须指定对应的类型參数。类型參数相当于一个占位符，当实例化泛型类型、调用泛型函数或泛型构造器时，就用详细的类型实參替代之。

关于 Swift 语言的泛型概述，见泛型(第二部分第22章)。

泛型形參语句

泛型形參语句指定泛型类型或函数的类型形參，以及这些參数的关联约束和要求。泛型形參语句用尖括号（<>）包住，而且有下面两种形式：

泛型形參列表中泛型形參用逗号分开，每个採用下面形式：

泛型形參由两部分组成：类型形參及其后的可选约束。类型形參仅仅是占位符类型（如T，U，V，KeyType，ValueType等）的名字而已。你能够在泛型类型、函数的其余部分或者构造器声明，以及函数或构造器的签名中使用它。

约束用于指明该类型形參继承自某个类或者遵守某个协议或协议的一部分。比如，在以下的泛型中，泛型形參T: Comparable表示不论什么用于替代类型形參T的类型实參必须满足Comparable协议。

func simpleMin<T: Comparable>(x: T, y: T) -> T {     if x < y {         return y     }     return x }

如，Int和Double均满足Comparable协议，该函数接受不论什么一种类型。与泛型类型相反，调用泛型函数或构造器时不须要指定泛型实參语句。类型实參由传递给函数或构造器的实參判断而出。

simpleMin(17, 42) // T is inferred to be Int simpleMin(3.14159, 2.71828) // T is inferred to be Double

Where语句

要想对类型形參及其关联类型指定额外要求，能够在泛型形參列表之后加入where语句。where语句由keywordwhere及其后的用逗号切割的多个要求组成。

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>。

当然，替代类型形參的类型实參必须满足全部类型形參所要求的约束和要求。

泛型函数或构造器能够重载，但在泛型形參语句中的类型形參必须有不同的约束或要求，抑或二者皆不同。当调用重载的泛型函数或构造器时，编译器会用这些约束来决定调用哪个重载函数或构造器。

泛型类能够生成一个子类，可是这个子类也必须是泛型类。

GRAMMAR OF A GENERIC PARAMETER CLAUSE

generic-parameter-clause → <­generic-parameter-list­requirement-clause­_opt­>­

generic-parameter-list → generic-parameter­  generic-parameter­,­generic-parameter-list­

generic-parameter → type-name­

generic-parameter → type-name­:­type-identifier­

generic-parameter → type-name­:­protocol-composition-type­

requirement-clause → where­requirement-list­

requirement-list → requirement­  requirement­,­requirement-list­

requirement → conformance-requirement­  same-type-requirement­

conformance-requirement → type-identifier­:­type-identifier­

conformance-requirement → type-identifier­:­protocol-composition-type­

same-type-requirement → type-identifier­==­type-identifier­

泛型实參语句

泛型实參语句指定泛型类型的类型实參。泛型实參语句用尖括号（<>）包住，形式例如以下：

泛型实參列表中类型实參有逗号分开。类型实參是实际详细类型的名字，用来替代泛型类型的泛型形參语句中的对应的类型形參。从而得到泛型类型的一个特化版本号。如，Swift标准库的泛型字典类型定义例如以下：

struct Dictionary<KeyType: Hashable, ValueType>: Collection, DictionaryLiteralConvertible {     /* ... */ }

泛型Dictionary类型的特化版本号，Dictionary<String, Int>就是用详细的String和Int类型替代泛型类型KeyType: Hashable和ValueType产生的。每个类型实參必须满足它所替代的泛型形參的全部约束，包含不论什么where语句所指定的额外的要求。上面的样例中，类型形參KeyType要求满足Hashable协议，因此String也必须满足Hashable协议。

能够用本身就是泛型类型的特化版本号的类型实參替代类型形參（如果已满足合适的约束和要求）。比如，为了生成一个元素类型是整型数组的数组，能够用数组的特化版本号Array<Int>替代泛型类型Array<T>的类型形參T来实现。

let arrayOfArrays: Array<Array<Int>> = [[1, 2, 3], [4, 5, 6], [7, 8, 9]]

如泛型形參语句所述，不能用泛型实參语句来指定泛型函数或构造器的类型实參。

泛型实參语法：

generic-argument-clause → <­generic-argument-list­>­

generic-argument-list → generic-argument­  generic-argument­,­generic-argument-list­

generic-argument → type