泛型是Swift強大特征中的一個，許多Swift 的標準庫是通過泛型來構建的。Swift 中的數(shù)組和字典就是最好的體現(xiàn)。[type] type可以是任何的類型。
1、泛型解決的問題：
當一個函數(shù)的功能相同，唯一的區(qū)別是傳入的參數(shù)的類型不同。泛型就是一個很好的特性。將參數(shù)變?yōu)橐粋€泛型類型的變量，就可以很好的解決這個問題。（所有的參數(shù)類型都用泛型類型來代替，從而提高了代碼的復用）
2. ** 泛型函數(shù) **
// 兩個值的交換
// int 值
func swapTwoInt( a: inout Int, b: inout Int) {
let temporaryA = a
a = b
b = temporaryA
}
var a = 100
var b = 50
swapTwoInt(a: &a, b: &b)
print("a: \(a)")
print("b: \(b)")
a: 50
b: 100
// 字符串
func swapTwoString(a: inout String, b: inout String) {
let temporaryA = a
a = b
b = temporaryA
}
var c = "zhangsan"
var d = "lisi"
swapTwoString(a: &c, b: &d)
print("c: \(c)")
print("d: \(d)")
c: lisi
d: zhangsan
// 使用 泛型 寫的交換函數(shù)
// 使用泛型函數(shù)可以交換任意類型的數(shù)據(jù), 只要 a, b 數(shù)據(jù)類型相同就可以
func swapToValue<T>(_ a: inout T, _ b: inout T) {
let temp = a
a = b
b = temp
}
// 使用泛型函數(shù)進行轉換
swapToValue(&a, &b)
swapToValue(&c, &d)
print("a: \(a)")
print("b: \(b)")
print("c: \(c)")
print("d: \(d)")
a: 50
b: 100
c: lisi
d: zhangsan
**T 的說明: **
函數(shù)的泛型版本中使用了 ** 占位類型名 **, 這里用 T 來表示 ( T : type 的第一個字母). 用來代替實際的類型名稱.
- 在上述的函數(shù)中, T 沒有指明是什么類型. 但是指明了 a 和 b 必須為同一個類型.
泛型函數(shù)的泛型類型只有在泛型函數(shù)調用的時候才可以知道泛型的類型是什么. - T 寫在函數(shù)的后面,并用尖括號括起來 <T> 表名 T 是在函數(shù)內部定義的. swift 不會去查找 T 的實際類型.
swapToValue 的調用和平常的調用沒有區(qū)別, 只有一個條件, 參數(shù) a 和 b 的類型都是一樣的.
T 所代表的類型是通過函數(shù)的參數(shù)來推斷的.
類型參數(shù)
T 在函數(shù)中所表示的就是 類型參數(shù).
類型參數(shù)指定并命名一個占位類型, 寫在函數(shù)名的后面用 <> 括起來.如 <T>
可以提供多個類型參數(shù), 寫法是在尖括號中用 逗號 括起來.
<T, U, K> // 這里代表提供三個類型的占位類型
命名類型參數(shù)
大寫字母開頭的駝峰命名法
Dictionary<Key, Value>
Array<Element>
Key , Value, Element 都是類型參數(shù)
常用的命名有
T, U, V, K 等
類型約束
通過類型約束可以指定 類型 必須繼承某個類 或者遵守某個協(xié)議
Dictionary<Key, Value>
并不是所有的類型都可以做 key
// 完整的類型聲明
public struct Dictionary<Key : Hashable, Value> : Collection, ExpressibleByDictionaryLiteral { }
key 必須遵守 Hashable 協(xié)議.
只有遵守 Hashable 協(xié)議, 才可以保證 key 的唯一性.
類型約束語法
func someFunction<T: SomeClass, U: SomeProtocol>(someT: T, someU: U) {
// 這里是泛型函數(shù)的函數(shù)體部分
}
關聯(lián)類型
關聯(lián)類型一般用在協(xié)議.
在協(xié)議中申明一個或多個關聯(lián)類型將會非常有用.
使用關鍵字 associatedtype
protocol Container {
// 協(xié)議中聲明的關聯(lián)類型
// 協(xié)議本身并不知道 ItemType 是什么類型
associatedtype ItemType
mutating func append(item: ItemType)
var count: Int { get }
subscript(i: Int) -> ItemType { get }
}
// Stack 遵守了容器協(xié)議
struct Stack<Element>: Container {
// Stack<Element> 的原始實現(xiàn)部分
var items = [Element]()
mutating func push(item: Element) {
items.append(item)
}
mutating func pop() -> Element {
return items.removeLast()
}
// Container 協(xié)議的實現(xiàn)部分
// 通過容器的實現(xiàn)來知道 關聯(lián)類型 的具體類型是什么類型
// 這里來確認 關聯(lián)類型是什么類型.
typealias ItemType = Element // 刪除這一行,一樣的可以工作. 類型可以推斷出來
mutating func append(item: Element) {
self.push(item)
}
var count: Int {
return items.count
}
subscript(i: Int) -> Element {
return items[i]
}
}
// 通過已經存在的類型來指定關聯(lián)類型的真實類型
extension Array: Container { }
where 子句
給類型參數(shù)添加強制性的約束
3. 泛型類型
Swift 允許定義泛型類型 .
自定義的泛型枚舉, 結構體, 類可以用于任何類型.
struct IntStack {
var items = [Int]()
mutating func push(item: Int) {
items.append(item)
}
mutating func pop() -> Int {
return items.removeLast()
}
}
var intStack = IntStack()
// 壓棧
intStack.push(item: 0)
intStack.push(item: 1)
intStack.push(item: 2)
intStack.push(item: 3)
intStack.push(item: 4)
intStack.push(item: 5)
intStack.push(item: 6)
intStack.push(item: 7)
intStack.push(item: 8)
// 彈棧
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
print(intStack)
intStack.pop()
// 泛型結構體
struct Stack<Element>{
var items = [Element]()
mutating func push(item: Element) {
items.append(item)
}
mutating func pop() -> Element {
return items.removeLast()
}
}
// 調用的時候要 指定數(shù)據(jù)類型
var tempStack = Stack<Int>()
tempStack.push(item: 0)
tempStack.push(item: 1)
tempStack.push(item: 2)
tempStack.push(item: 3)
tempStack.push(item: 4)
tempStack.push(item: 5)
print(tempStack)
tempStack.pop()
print(tempStack)
tempStack.pop()
print(tempStack)
tempStack.pop()
print(tempStack)
tempStack.pop()
print(tempStack)
tempStack.pop()
print(tempStack)
tempStack.pop()
// 調用的時候要 指定數(shù)據(jù)類型
var tempStack = Stack<Int>()
通過創(chuàng)建的時候指定類型. 這個結構體可以用于任何類型.
擴展泛型類型
// 泛型的擴展
extension Stack {
var topItem: Element? {
return items.isEmpty ? nil : items[items.count - 1]
}
}
