swift 当协议遇见了泛型

由于泛型比较简单，并没有单独拿出来介绍！我们在定义函数的时候，有时候只是由于参数或者返回值类型不同，而具体的实现过程是一模一样的，这个时候我们就可以定义泛型函数而使可以传入不同的参数类型；

func swapTwoStrings(inout a: String, inout b: String) {
    let temporaryA = a
    a = b
    b = temporaryA
}

func swapTwoDoubles(inout a: Double, inout b: Double) {
    let temporaryA = a
    a = b
    b = temporaryA
}

//上面两个函数的泛型实现
func swapTwoValues<T>(inout a: T, inout b: T) {
    let temporaryA = a
    a = b
    b = temporaryA
}

Swift的泛型有点奇怪，针对Class和Function，都是通过<Type>来定义。而当我们需要给协议实现一个泛型的时候，需要使用associatedtype关键字来定义泛型：这里需要注意，泛型协议并不能像普通协议那样作为一个类型使用，这是因为 GenericProtocol 表示一组类型，并不是一个单一类型。比如你有一个关于 GenericProtocol 的随机数组，并不能确定每个元素的 magic() 方法返回的类型到底是什么，因为数组中每个元素可能都是不同的。

protocol GenericProtocol {
    associatedtype AbstractType
    func magic() -> AbstractType
}

class Animal : GenericProtocol {
    typealias AbstractType = Void
    // void 可以改为string  int 等类型。  当然magic的参数也可以定义泛型参数来使用  这里没有任何参数
    func magic() -> Void {
        print("xieyi hixing" )

    }

}

---

---

究竟为什么泛型协议不像普通的class struct使用<T>来修饰，以及泛型协议的具体应用可以参见这位大神的文章。

http://www.jianshu.com/p/ef4a9b56f951