泛型参数(Generic Parameters and Arguments)
1.0 翻译:fd5788 校对:yankuangshi, stanzhai
2.0 翻译+校对:wardenNScaiyi
本页包含内容:
本节涉及泛型类型、泛型函数以及泛型初始化器(initializer)的参数,包括形参和实参。声明泛型类型、函数或初始化器时,须指定相应的类型参数。类型参数相当于一个占位符,当实例化泛型类型、调用泛型函数或泛型初始化器时,就用具体的类型实参替代之。
关于 Swift 语言的泛型概述,见泛型(第二部分第23章)。
泛型形参子句
泛型形参子句指定泛型类型或函数的类型形参,以及这些参数的关联约束和关联类型要求(requirement)。泛型形参子句用尖括号(<>)包住,并且有以下两种形式:
<
泛型形参列表
>
<泛型形参列表
where关联类型要求
>
泛型形参列表中泛型形参用逗号分开,其中每一个采用以下形式:
类型形参
:约束
泛型形参由两部分组成:类型形参及其后的可选约束。类型形参只是占位符类型(如 T,U,V,Key,Value 等)的名字而已。你可以在泛型类型、函数的其余部分或者初始化器声明,包括函数或初始化器的签名中使用它(与其任何相关类型)。
约束用于指明该类型形参继承自某个类或者遵守某个协议或协议的一部分。例如,在下面的泛型函数中,泛型形参T: Comparable
表示任何用于替代类型形参T
的类型实参必须满足Comparable
协议。
func simpleMax<T: Comparable>(x: T, _ y: T) -> T {
if x < y {
return y
}
return x
}
如,Int
和Double
均满足Comparable
协议,该函数接受任何一种类型。与泛型类型相反,调用泛型函数或初始化器时不需要指定泛型实参子句。类型实参由传递给函数或初始化器的实参推断而出。
simpleMax(17, 42) // T被推断出为Int类型
simpleMax(3.14159, 2.71828) // T被推断出为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
有关联类型Element
是因为Generator
声明了Element
,而T
遵守Generator
协议)。
也可以用操作符==
来指定两个类型等效的关联关系。例如,有这样一个约束:T
和U
遵守Generator
协议,同时要求它们的关联类型等同,可以这样来表达:<T: Generator, U: Generator where T.Element == U.Element>
。
当然,替代类型形参的类型实参必须满足所有类型形参的约束和关联类型要求。
泛型函数或初始化器可以重载,但在泛型形参子句中的类型形参必须有不同的约束或关联类型要求,抑或二者皆不同。当调用重载的泛型函数或始化器时,编译器会用这些约束来决定调用哪个重载函数或始化器。
泛型形参子句语法
泛型参数子句 → < 泛型参数列表 约束子句 可选 >
泛型参数列表 → 泛形参数 | 泛形参数 , 泛型参数列表
泛形参数 → 类型名称
泛形参数 → 类型名称 : 类型标识
泛形参数 → 类型名称 : 协议合成类型
约束子句 → where 约束列表
约束列表 → 约束 | 约束 , 约束列表
约束 → 一致性约束 | 同类型约束
一致性约束 → 类型标识 : 类型标识
一致性约束 → 类型标识 : 协议合成类型
同类型约束 → 类型标识 == 类型标识
泛型实参子句
泛型实参子句指定泛型类型的类型实参。泛型实参子句用尖括号(<>)包住,形式如下:
<
泛型实参列表
>
泛型实参列表中类型实参有逗号分开。类型实参是实际具体类型的名字,用来替代泛型类型的泛型形参子句中的相应的类型形参。从而得到泛型类型的一个特化版本。如,Swift标准库的泛型字典类型定义如下:
struct Dictionary<KeyTypel: Hashable, ValueType>: Collection, DictionaryLiteralConvertible {
/* .. */
}
泛型Dictionary
类型的特化版本,Dictionary<String, Int>
就是用具体的String
和Int
类型替代泛型类型KeyType: Hashable
和ValueType
产生的。每一个类型实参必须满足它所替代的泛型形参的所有约束,包括任何where
子句所指定的额外的关联类型要求。上面的例子中,类型形参Key
类型要求满足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) → < 泛型参数列表 >
泛型参数列表 → 泛型参数 | 泛型参数 , 泛型参数列表
泛型参数 → 类型