學習記錄，有搬運

Swift泛型能夠讓你根據自己的需求，寫出通用于的，靈活的，可復用的函數。泛型是Swfit最強大的特性之一，廣泛用于個基礎庫.
泛型可將類型參數化，提高代碼復用率，減少代碼量

泛型函數

函數使用了一個“占位符類型”，其規(guī)定參數和只能是同一個類型。或者說都是所表示的類型
泛型函數可用于任何類型
如下：
inout修飾語傳送門

func swapValue<T>(a: inout T,b: inout T) {
        let temp = a
        a = b
        b  = temp
}        
var aa = 10
var bb = 20
swapValue(a: &aa, b: &bb)
//或者
var aa = "10"
var bb = "20"
swapValue(a: &aa, b: &bb)

其中會自動推斷類型為或者，還可以是任意其他類型，如[],這樣就不用判斷類型，直接調用函數即可

泛型類型

Swift允許你定義自己的泛型類型。它們是可以用于任意類型的自定義類、結構體、枚舉，和、方式類似。
比如，自定義一個類型，實現方便地存儲數據到數組。
如下：

struct Stack<Element> {
    //Element為占位類型，可隨意命名
    var items = [Element]()
    mutating func push(item:Element) {
        items.insert(item, at: 0)
    }
    mutating func pop(){
        items.removeFirst()
    }
}
//創(chuàng)建時，指定占位類型為String類型
var stack = Stack<String>()
stack.push(item: "a")
stack.push(item: "b")
stack.push(item: "c")
Swift.print(stack)
Swift.print("pop")
stack.pop()
Swift.print(stack)

關聯(lián)類型(AssociatedType)

定義一個協(xié)議時，有時候在協(xié)議中聲明一個或多個關聯(lián)類型是很有用的。關聯(lián)類型即，把一個"占位類型"給協(xié)議中用到的類型。直到采納協(xié)議時才指定T的實際類型。關聯(lián)類型通過associatedType關鍵字指定。

protocol Stackable {
    associatedtype Element // 關聯(lián)類型，這時還未確定具體是什么類型
    var items:[Element]  { get set }
    mutating func push(item:Element)
    mutating func pop()
    func top() -> Element?
    func size() -> Int
}
extension Stackable{//通過分類實現默認函數
    mutating func push(item:Element){
        items.insert(item, at: 0)
    }
    mutating func pop(){
        items.removeFirst()
    }
    func top() -> Element?{
        items.first
    }
    func size() -> Int{
        items.count
    }
}

class StringStack: Stackable,CustomStringConvertible {
    //給關聯(lián)類型設定為String
    typealias Element = String
    var items: [String] = [String]()
    //重寫控制臺打印內容
    var description: String{
        var dict: [String: Any] = [:]
        // 遍歷所有屬性
        Mirror(reflecting: self).children.forEach { (child) in
            guard let key = child.label else { return }
            dict[key] = child.value
        }
        return "\(Self.self): \(dict)"
    }
}

協(xié)議中也可以申明多個關聯(lián)類型

類型約束

指出一個類型形式參數，必須繼承自特定類，或遵循一個特定協(xié)議、組合協(xié)議。

protocol Runable {
    
}
class Person {
    func swapValues<T:Person & Runable>(a: inout T,b: inout T) {
        (a,b) = (b,a)
    }
}

可選項的本質是類型

public enum CustomOptional<Wrapped> {
    case none
    case some(Wrapped)
}
 var age1:CustomOptional = .some(10)
 var age2 = CustomOptional<Int>.some(10)
 var age3:CustomOptional<Int> = .some(10)
 age3 = .none