泛型可以使我们在程序代码中定义一些可变的部分，在运行的时候指定。使用泛型可以最大限度的重用代码、保护类型的安全以及提高性能。在swift集合中。数组、set和字典都是泛型集合。
泛型函数
一个简单的泛型函数代码示例：
func isEquals<T>(a: T, b: T) -> Bool {
return (a == b)
}
T被称为占位符，函数在每次调用的时候传入示例类型才能决定T所代表的类型。
使用泛型函数
上述代码在使用时会发生变异错误，这是因为并不是所有的类型都具有可比性，T必须是遵从Comparable协议的类型。所以代码修改如下：
func isEquals<T：Comparable>(a: T, b: T) -> Bool {
return (a == b)
}
这种在泛型占位符后面加上协议类型的表示方式称为泛型约束。它能够替换T的类型。
多参数泛型
多参数泛型就是提供多个占位符。多个占位符之间使用“，”隔开。
func isEquals<T, U>(a: T, b: U) -> Bool {...}
占位符替代返回值类型
func isEquals<T, U>(a: T, b: U) -> T {...}
泛型类型
泛型不仅可以应用在函数中，还可以应用于类、结构体和枚举等类型定义。这些类型就是泛型类型。泛型类型一般都是与集合有关的类型。如数组、字典等。
struct Queue<T> {
var items = [T]()
mutating func queue(item: T) {
items.append(item)
}
mutating func dequeue() -> T? {
if items.isEmpty {
return nil
}
return items.remove(at: 0)
}
}
var queue = Queue<Int>()
queue.queue(item: 10)
print(queue.dequeue()!)
泛型扩展
泛型类型还可以支持扩展。泛型扩展和其他类型的扩展没有区别
struct Queue<T> {
var items = [T]()
mutating func queue(item: T) {
items.append(item)
}
mutating func dequeue() -> T? {
if items.isEmpty {
return nil
}
return items.remove(at: 0)
}
}
extension Queue {
func peek(position: Int) -> T? {
if position < 0 || position > items.count {
return nil
} else {
return items[position]
}
}
}
var queue = Queue<Int>()
queue.queue(item: 10)
print(queue.peek(position: 0)!)
print(queue.dequeue()!)
