Swift 泛型

泛型能够让开发者编写自定义需求已经任意类型的灵活可用的的函数和类型。能够让我们避免重复的代码。用一种清晰和抽象的方式来表达代码的意图。

1.泛型解决的问题

下面是一个非泛型的例子

func swapTwoIntValue(inout a:Int,inout b:Int){
    //使用inout关键字可以修改传入的数值的原始值。
    let tempValue = a
    a = b
    b = tempValue
}

这个函数用来交换两个整形的数值

var oneInt = 3
var twoInt = 4
swapTwoIntValue(&oneInt, b: &twoInt)
print(oneInt,twoInt) //oneInt = 4,twoInt = 3

对于这个例子，假如我们想交换两个Double类型、或者是其他类型的值，就需要针对每个类型写不同的方法，只是参数类型不同。为了解决这个问题，Swift提供了泛型，帮助我们来解决这个问题。

注意:Swift是安全的语言，不允许两个不同类型互换值

2.泛型函数

下面是一个泛型的函数

func SwapTwoValues <T> (inout a: T,inout b :T){
    let  tempValue = a
    a = b
    b = tempValue
}

这个函数主体、功能跟上面的例子类似，用来交换两个同样类型的值，但是这个函数用 T 占位符来代替实际的类型。并没有指定具体的类型，但是传入的a ,b 必须是同一类型T。在调用这个函数的时候才能指定 T 是那种具体的类型。还有函数名后跟的那个 <T> 是函数定义的一个占位类型名，并不会查找T的具体类型

SwapTwoValues(&oneInt, b: &twoInt)
print("oneInt:\(oneInt),twoInt:\(twoInt)") // oneInt:3,twoInt:4

var oneStr = "hello"
var twoStr = "world"

SwapTwoValues(&oneStr, b: &twoStr)
print("oneStr:\(oneStr),twoStr:\(twoStr)")// oneStr:world,twoStr:hello

var oneDouble = 10.01
var twoDouble = 20.02
SwapTwoValues(&oneDouble, b: &twoDouble)
print("oneDouble:\(oneDouble),twoDouble:\(twoDouble)")// oneDouble:20.02,twoDouble:10.01

这个例子用泛型完美的解决了上述的问题，只需要定义一个泛型函数，只要保证 传入的两个参数是同一个类型，就不用根据传入参数的类型不同而写不同的方法。

3.类型参数

在上面的泛型函数例子中，占位符T是类型参数的一个例子。类型参数指定并命名一个占位符类型，并用<>包裹，放在函数名后面。一旦一个参数类型确定，就可以指定参数类型，或者返回值的类型，还可以用作函数体的注释类型。在调用的时候会被实际的类型替代，如传递的是Int，就替换为Int，如果传入的是Double类型就替换为Double等等

4.命名类型参数

上面的泛型例子的 T，只是一个描述性的名字，通常用单一的字母来命名，例如：T、U、V等。T代表只是一个占位符，命名规则同驼峰命名法

5.泛型类型

除了定义泛型函数，还可以定义泛型类型。如Array，Dictionary的用法

下面展示一个非泛型版本栈

struct IntStack{
    var items = [Int]()
    
    //压栈
    mutating func push(item:Int){
        items .append(item)
    }
    //出栈
    mutating func pop()->Int{
        return items.removeLast()
    }
}

这个是一个泛型版本的栈

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

首先在函数名后面加<泛型类型名>，<>里面表明类型参数名。然后在函数主体里面完成跟非泛型栈类似的功能。这样这个泛型结构体就不只能压栈Int类型的值，还可以是其它类型

var stack = Stack<String>() //要在类型名后面加<类型名>
stack.push("uno")
stack.push("dos")
stack.push("tres")
stack.push("cuatro")

print(stack.pop()) // cuatro

6.扩展一个泛型类型

可以扩展一个泛型类型，给这个泛型类型添加属性、方法、下标等。

extension Stack{
    //给泛型Stack扩展一个计算型属性topItem，返回最上面的item
    var topItem:Element?{
        return items.isEmpty ? nil : items[items.count-1]
    }
}

print("stack's top item is : \(stack.topItem!)") //stack's top item is : tres

7.类型约束

在上面的SwapTwoVlues 和 Stack中，可以作用任何类型。但是也可以添加一个约束，比如指定一个类型必须采纳某协议或者是指定类等。在Swift中（Bool,Int,Doube,String默认都是哈希的），Dictionary的键就需要必须是可哈希的，方便字典查找是否已包含某个键的值。

类型约束语法

可以在类型参数名后面加一个类型或者协议名，通过冒号隔开，多个类型参数之间用逗号隔开

func somFuntion<C:SomeClass,P:SomeProtocol>(someClass:C,someProtocol:P){
    
}

在定义的这个函数中，有两个类型约束，第一次类型参数C代表是某个类，第二个参数P代表某个协议。

类型约束实践

这个非泛型类型的方法用来查找某个字符串是否在字符数组中，存在返回index

func findStrInArray(array:[String],strToFind:String)->Int?{
    for  (index,value) in array.enumerate(){
        if strToFind == value{
            return index
        }
    }
    return nil
}

下面这是针对上面非泛型方法泛型版本的方法

func findIndex <S:Equatable> (array:[S],_ valueToFind:S)->Int? {
    for  (index,value) in array.enumerate(){
        if value == valueToFind { //如果没指定S：Equatable 这句话会编译不通过
            return index
        }
    }
    return nil
}

在这个泛型例子中，不是所有的类型都可以 用 == 来比较的，所有必须指定泛型类型参数的约束为 Swift提供的 Equatable 协议,这表示S代表的类型必须是支持 Equatable 协议的。所有的Swift标准类型默认都是支持Equatable协议的.

let value = findIndex([3.14159, 0.1, 0.25], 9.3)
// doubleIndex 类型为 Int?，其值为 nil，因为 9.3 不在数组中
let stringIndex = findIndex(["Mike", "Malcolm", "Andrea"], "Andrea")
// stringIndex 类型为 Int?，其值为 2

8.关联类型

在定义协议的时候，有时候用一个或者多个关联类型作为定义协议的一部分，关联类型作为协议的一部分，为某个类型提供了一个占位符，其实际类型会在采纳的时候被指定。并用关键字typealias 关键字来指定关联名

关联类型实践

下面定义一个协议，协议指定了一个关联类型

protocol Container{
    typealias itemType //声明一个关联类型
    mutating func append(item:itemType)
    var count:Int{get}
    subscript(i:Int)->itemType {get}
}

下面是非泛型的版本采纳 Container 协议

struct intStack: Container {
    // IntStack 的原始实现部分
    var items = [Int]()
    mutating func push(item: Int) {
        items.append(item)
    }
    mutating func pop() -> Int {
        return items.removeLast()
    }
    
    // Container 协议的实现部分
    typealias ItemType = Int
    mutating func append(item: Int) {
        self.push(item)
    }
    var count: Int {
        return items.count
    }
    subscript(i: Int) -> Int {
        return items[i]
    }
}

下面是一个泛型版本的

struct genericStack<Element>:Container{
    // genericStack<Element> 的原始实现部分
    var items = [Element]()
    mutating func push(item: Element) {
        items.append(item)
    }
    mutating func pop() -> Element {
        return items.removeLast()
    }
    
    // Container 协议的实现部分
    typealias ItemType = Element
    mutating func append(item: Element) {
        self.push(item)
    }
    var count: Int {
        return items.count
    }
    subscript(i: Int) -> Element {
        return items[i]
    }
}

通过扩展一个存在类型来指定关联类型

通过扩展添加协议的一致性描述了如何利用一个已存在类型符合一个协议，这包括了使用关联协议

Swift中的Array都满足了Container协议的要求，意味着可以扩展Array采纳Container协议,你可以通过一个空扩展来实现这点.

extension Array :Container{}

定义这个扩展之后，可以用Array当做Container类型使用。

Where子句

类型约束能够让我们为泛型类型添加一些约束和条件。为关联类型添加一些约束也是很有必要的。可以在参数列表中使用where子句来为关联类型添加约束。

下面的例子判断两个采纳Container协议的类型是否所有的元素顺序及值都相等。

func allItemsMatch<C1:Container,C2:Container where C1.itemType == C2.itemType,C1.itemType:Equatable>(someContainer:C1,_ anotherContainer:C2) -> Bool{
    if someContainer.count != anotherContainer.count{
        return false
    }
    
    for i in 0...someContainer.count-1{
        if someContainer[i] != anotherContainer[i]{
            return false
        }
    }
    return true
}

这个泛型函数在类型参数里面添加了where子句约束，C1,C2都必须是采纳Container协议的类型，并且C1、C2的泛型类型必须相同，而且C1的泛型类型必须是采纳Equatable的。

var stackOfStrings = genericStack<String>()
stackOfStrings.append("uno")
stackOfStrings.append("dos")
stackOfStrings.append("tres")

var arrayOfStrings = ["uno", "dos", "tres"] //array类型的满足Container类型，参考上面的extension Array

if allItemsMatch(stackOfStrings, arrayOfStrings) {
    print("All items match.")
} else {
    print("Not all items match.")
}

//结果是：All items match.