Swift：泛型

Generics

github：Swift基础实例
github：SwiftBasicTableView

泛型

1. 简介
   泛型 能使你写出来灵活、可重复使用的方法(functions)和类型(types)，这些方法和类型可作用于任何类型，只要这些被作用的类型需要服从你定义的需求。这使得你可以写出避免重复的代码，并且以清晰抽象的方式表达它的意图。
   泛型(generic) 是Swift的一大特性，比如一个Array 和 Dictionary都是泛型容器。比如Array 可以存放 Int类型值，或者 String类型值，或者存放Swift中定义的任意其他类型。

2. 泛型函数
   在 Swift:概念解释 ，Inout Parameter 实例代码中，函数 swapTwoInts 可以交换两个 Int 类型变量，如果交换两个 Double 类型变量，那么就需要再写一个相似函数，其参数类型设置为Double。如果是String类型，就需要再写个相似的函数，非常麻烦。泛型可以解决这个问题，让你写一个泛型函数(Generic functions)来解决上面相似的问题：

func swapTwoValues(inout a:T, inout _ b:T) {
    let tempValue = a
    a = b
    b = tempValue
}
var someInt = 3,someIntTwo = 5
var oneGenericValue = "one"
var twoGenericValue = "two"
swapTwoValues(&oneGenericValue, &twoGenericValue)
swapTwoValues(&someInt, &someIntTwo)
print(oneGenericValue) // two
print(someIntTwo)      // 3

• 从上面代码看泛型Generics语法：
• 函数名后跟占位类型名 T放在尖括号<>中()，尖括号<>告诉Swift，T在函数 swapTwoValues(_:_:) 中是一个占位类型名。
• T 并没有被明确表示是什么类型，但是，T 告诉我们a和b必须都是T类型，无论T代表何种类型。

3. 泛型类型(Generic Type)
   我们通过 栈，来引出泛型类型。栈中的数据是先进后出的，下图说明入栈(push)出栈(pop)顺序:
   
   
   • 首先在 栈 里有3个数据；
   • 然后 push 一个数据，这个数据放在最顶端，或者说位于栈中数据的末尾；
   • 此时，栈 拥有4个数据；
   • 然后又执行了 pop 操作，在末尾的数据被移出去；
   • 最后，栈 里还是3个数据。

下面模拟一下这个 栈，本例中栈的数据是 Int 类型:

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

let pushItem = 5
var intStack = IntStack()
intStack.push(pushItem) // 栈里有一个数据项 5

现在我们把这个结构体泛型化：

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

var stackOfStrings = GenericStack()
stackOfStrings.push("uno")
stackOfStrings.push("dos")
stackOfStrings.push("tres")
stackOfStrings.push("cuatro")
let popItem = stackOfStrings.pop() // popItem 等于 "cuatro"

下图显示泛型栈对数据 push 和 pop 的操作顺序和状态：

push.png

pop.png