類(lèi)型參數(shù)
占位類(lèi)型T是類(lèi)型參數(shù)的一個(gè)例子。類(lèi)型參數(shù)指定并命名一個(gè)占位類(lèi)型，并且緊隨在函數(shù)名后面活烙，使用一對(duì)尖括號(hào)括起來(lái)<T>。
一旦一個(gè)類(lèi)型參數(shù)被指定遣鼓，你可以用它來(lái)定義一個(gè)函數(shù)的參數(shù)類(lèi)型啸盏，或者作為函數(shù)的返回類(lèi)型，還可以用作函數(shù)主體中的注釋類(lèi)型骑祟。在這些情況下回懦，類(lèi)型參數(shù)會(huì)在函數(shù)調(diào)用時(shí)被實(shí)際類(lèi)型所替換。
func swapTwoValues<T>(_ a: inout T, _ b: inout T) {
let temporaryA = a
a = b
b = temporaryA
}
在下面的兩個(gè)例子中次企，T分別代表Int和String：
var a = 10
var b = 20
swap(&a, &b)
print("a: \(a), b: \(b)") // a: 20, b: 10
var x = "hello"
var y = "world"
swap(&x, &y)
print("x: \(x), y: \(y)") // x: world, y: hello
命名類(lèi)型參數(shù)
在大多數(shù)情況下怯晕，類(lèi)型參數(shù)具有一個(gè)描述性名字，例如 Dictionary<Key, Value>中的Key和Value缸棵，以及 Array<Element>中的Element舟茶，這可以告訴閱讀代碼的人這些類(lèi)型參數(shù)和泛型函數(shù)之間的關(guān)系。然而堵第，當(dāng)它們之間沒(méi)有有意義的關(guān)系時(shí)吧凉，通常使用單個(gè)字母來(lái)命名，例如T踏志、U阀捅、V。
泛型類(lèi)型
除了泛型函數(shù)针余，Swift還允許你定義泛型類(lèi)型饲鄙。這些自定義類(lèi)凄诞、結(jié)構(gòu)體和枚舉可以適用于任何類(lèi)型。
struct Stack<Element> {
var items = [Element]()
}
擴(kuò)展一個(gè)泛型類(lèi)型
當(dāng)你擴(kuò)展一個(gè)泛型類(lèi)型的時(shí)候忍级，你并不需要在擴(kuò)展的定義中提供類(lèi)型參數(shù)列表幔摸。原始類(lèi)型定義中聲明的類(lèi)型參數(shù)列表在擴(kuò)展中可以直接使用，并且這些來(lái)自原始類(lèi)型中的參數(shù)名稱(chēng)會(huì)被用作原始定義中類(lèi)型參數(shù)的引用颤练。
extension Stack {
var firstItem: Element? {
return items.isEmpty ? nil : items[0]
}
}
類(lèi)型約束
有的時(shí)候如果能將使用在泛型函數(shù)和泛型類(lèi)型中的類(lèi)型添加一個(gè)特定的類(lèi)型約束，將會(huì)是非常有用的驱负。類(lèi)型約束可以指定一個(gè)類(lèi)型參數(shù)必須繼承自指定類(lèi)嗦玖，或者符合一個(gè)特定的協(xié)議或協(xié)議組合。
你可以在一個(gè)類(lèi)型參數(shù)名后面放置一個(gè)類(lèi)名或者協(xié)議名跃脊，并用冒號(hào)進(jìn)行分隔宇挫，來(lái)定義類(lèi)型約束，它們將成為類(lèi)型參數(shù)列表的一部分酪术。對(duì)泛型函數(shù)添加類(lèi)型約束的基本語(yǔ)法如下所示（作用于泛型類(lèi)型時(shí)的語(yǔ)法與之相同）：
func someFunction<T: SomeClass, U: SomeProtocol>(someT: T, someU: U) {
// 這里是泛型函數(shù)的函數(shù)體部分
}
關(guān)聯(lián)類(lèi)型
定義一個(gè)協(xié)議時(shí)器瘪，有的時(shí)候聲明一個(gè)或多個(gè)關(guān)聯(lián)類(lèi)型作為協(xié)議定義的一部分將會(huì)非常有用。關(guān)聯(lián)類(lèi)型為協(xié)議中的某個(gè)類(lèi)型提供了一個(gè)占位名（或者說(shuō)別名）绘雁，其代表的實(shí)際類(lèi)型在協(xié)議被采納時(shí)才會(huì)被指定橡疼。你可以通過(guò)associatedtype關(guān)鍵字來(lái)指定關(guān)聯(lián)類(lèi)型。
protocol Container {
associatedtype ItemType
mutating func append(_ item: ItemType)
var count: Int { get }
subscript(i: Int) -> ItemType { get }
}
Stack結(jié)構(gòu)體遵從Container協(xié)議：
struct Stack<Element>: Container {
var items = [Element]()
// Container 協(xié)議實(shí)現(xiàn)
typealias ItemType = Element
var count: Int {
return items.count
}
mutating func append(_ item: Element ) {
items.append(item)
}
subscript(i: Int) -> Element {
return items[i]
}
}
實(shí)例
var stack = Stack(items: [2, 3, 5])
stack.append(7)
for i in 0..<stack.count {
print(stack[i])
}
// a
// b
// c
// d
泛型 Where 語(yǔ)句
為關(guān)聯(lián)類(lèi)型定義約束也是非常有用的庐舟。你可以在參數(shù)列表中通過(guò)where子句為關(guān)聯(lián)類(lèi)型定義約束欣除。你能通過(guò)where子句要求一個(gè)關(guān)聯(lián)類(lèi)型遵從某個(gè)特定的協(xié)議，以及某個(gè)特定的類(lèi)型參數(shù)和關(guān)聯(lián)類(lèi)型必須類(lèi)型相同挪略。你可以通過(guò)將where關(guān)鍵字緊跟在類(lèi)型參數(shù)列表后面來(lái)定義where子句历帚，where子句后跟一個(gè)或者多個(gè)針對(duì)關(guān)聯(lián)類(lèi)型的約束，以及一個(gè)或多個(gè)類(lèi)型參數(shù)和關(guān)聯(lián)類(lèi)型間的相等關(guān)系杠娱。你可以在函數(shù)體或者類(lèi)型的大括號(hào)之前添加where子句挽牢。
func allItemsMatch<C1: Container, C2: Container> (_ someContainer: C1, _ anotherContainer: C2) -> Bool
where C1.ItemType == C2.ItemType, C1.ItemType: Equatable {
// 檢查兩個(gè)容器含有相同數(shù)量的元素
if someContainer.count != anotherContainer.count {
return false
}
// 檢查每一對(duì)元素是否相等
for i in 0..<someContainer.count {
if someContainer[i] != anotherContainer[i] {
return false
}
}
// 所有元素都匹配，返回 true
return true
}
具有泛型 where 子句的擴(kuò)展
你也可以使用泛型where子句作為擴(kuò)展的一部分摊求。
extension Stack where Element: Equatable {
func isFirst(_ item: Element) -> Bool {
guard let firstItem = items.first else {
return false
}
return firstItem == item
}
}
