1. 泛型函數(shù)

func swapTwoValues<T>(_ a: inout T, _ b: inout T) {
    let t = a
    a = b
    b = t
}

var someInt = 3
var anotherInt = 7
swapTwoValues(&someInt, &anotherInt)
print("\(someInt), \(anotherInt)")
// print "7, 3"

var someString = "hello"
var anotherString = "world"
swapTwoValues(&someString, &anotherString)

T 是占位類型名，用來代替實際類型名。

2. 泛型類型

下面的例子定義了一個泛型的棧（stack）結(jié)構(gòu)體，從而能夠處理任意類型的值。

struct Stack<Element> {
    var items = [Element]()
    mutating func push(item: Element) {
        items.append(item)
    }
    mutating func pop() -> Element {
        return items.removeLast()
    }
}

var stackOfStrings = Stack<String>()
stackOfStrings.push(item: "A")
stackOfStrings.push(item: "B")
stackOfStrings.push(item: "C")

let fromTheTop = stackOfStrings.pop()

3. 擴展一個泛型類型

extension Stack {
    var topItem: Element? {
        return items.isEmpty ? nil : items[items.count - 1]
    }
}

stackOfStrings.topItem // "B"

4. 類型約束

func findIndex(ofString valueToFind: String, in array: [String]) -> Int? {
    for(index, value) in array.enumerated() {
        if value == valueToFind {
            return index
        }
    }
    return nil
}
let strings = ["A", "B", "C"]
if let foundIndex = findIndex(ofString: "B", in: strings) {
    print("\(foundIndex)")
}
// print "1"

上面的例子展示了在一個字符串?dāng)?shù)組中找到對應(yīng)字符串的索引，但是并不適用于包含其他類型的元素的數(shù)組。

func findIdex<T: Equatable>(array: [T], _ valueToFind: T) -> Int? {
    for (index, value) in array.enumerated() {
        if value == valueToFind {
            return index
        }
    }
    return nil
}

Equatable 給占位類型 T 添加了類型約束，意味著上面的函數(shù)只能包含 Equatable 類型的元素。不是所有的 Swift 類型都可以用 == 進行比較，除非該類型遵循了 Equatable 協(xié)議。

5. 關(guān)聯(lián)類型

關(guān)聯(lián)類型為協(xié)議中的某個類型提供了一個占位名，其代表的實際類型在協(xié)議被采納時才會被指定，用關(guān)鍵字 associatedtype 關(guān)鍵字來指定關(guān)聯(lián)類型。

protocol Container {
    associatedtype ItemType
    mutating func append(item: ItemType)
    var count: Int { get }
    subscript(i: Int) -> ItemType  { get }
}

我們還可以通過擴展一個存在的類型來指定關(guān)聯(lián)類型，比如：

extension Array: Container {} 

6. 泛型Where語句

where 字據(jù)可以給一個關(guān)聯(lián)類型添加類型約束，語法如下：

func genericFunc<S>(p: S) -> returnType where #判斷語句# {
}