泛型能讓我們使用的類型和函數(shù)使用未知的類型，許多內(nèi)置類型，例如可空類型，數(shù)組和字典都是用泛型實現(xiàn)的。

泛型類型

下面的結(jié)構(gòu)體實現(xiàn)了一個簡單的棧，可以對Int類型執(zhí)行push和pop操作。

struct Stack{
    var items = [Int]()
    
    mutating func push(newitem:Int){
        items.append(newitem)
    }
    
    mutating func pop() ->Int?{
        guard !items.isEmpty else{
            return nil
        }
        return items.removeLast()
    }
    
}

var stack=Stack()
stack.push(newitem:1)
stack.push(newitem:2)
print(stack.pop())
print(stack.pop())

但是如果我們需要對其他類型進行入棧和出棧操作，那就得再編寫一個棧類型，使用泛型可以讓這個棧支持任意類型。改寫后的代碼如下，Swift的泛型語法和Java差不多。

struct Stack<T>{
    var items = [T]()
    
    mutating func push(newitem:T){
        items.append(newitem)
    }
    
    mutating func pop() ->T?{
        guard !items.isEmpty else{
            return nil
        }
        return items.removeLast()
    }
    
}

var stack=Stack<Int>()
stack.push(newitem:1)
stack.push(newitem:2)
print(stack.pop())
print(stack.pop())

多個占位類型

泛型可支持多個占位類型，代碼如下。

struct Stack<T,U,X>{
    var items = [T]()
    var items1 = [U]()
    var items2 = [X]()
    ...
}
var stack=Stack<Int,String,Double>()

泛型函數(shù)和方法

泛型函數(shù)需要在函數(shù)參數(shù)列表前聲明占位類型，然后可以在參數(shù)和返回值中使用這些占位類型。

func getSelf<T>(arg:T)->T{
    return arg
}

print(getSelf(arg: "hello world!"))

類型約束

有時候我們需要對傳入的類型做一些限制，可以通過類型約束實現(xiàn)，有兩種約束：一種是類型必須是給定類的子類，還有一種是類型必須符合一個協(xié)議。

func checkEqual<T:Equatable>(first:T,second:T)->Bool{
    return first==second
}
print(checkEqual(first: 1, second: 1))
print(checkEqual(first: "123", second: "456"))

當(dāng)占位類型比較復(fù)雜時，我們還可以使用where語句進一步約束占位類型，如下代碼要求newitems的元素必須是T類型。

struct Stack<T>{
    var items = [T]()
    
    mutating func push(newitem:T){
        items.append(newitem)
    }
    
    mutating func pushAll<S:Sequence>(newitems:S)
        where S.Iterator.Element==T {
            for item in newitems {
                self.push(newitem: item)
                print("push \(item)")
            }
    }
    
    mutating func pop() ->T?{
        guard !items.isEmpty else{
            return nil
        }
        return items.removeLast()
    }
}


var stack=Stack<Int>()
stack.pushAll(newitems:[1,2,3,4,5,6])

關(guān)聯(lián)類型協(xié)議

協(xié)議不支持泛型，但是支持另外一種特性:關(guān)聯(lián)類型，在協(xié)議內(nèi)部可以使用associatedtype關(guān)鍵字聲明一個占位類型，符合這個協(xié)議的類型應(yīng)該在其內(nèi)部為占位類型提供typealias定義。

protocol InteratorProtocol {
    associatedtype Element
    mutating func next() -> Element?
}


struct Stack<T>:InteratorProtocol {
    typealias Element = Int
    
    mutating func next() -> Element? {
        return 0
    }
}