泛型(generic)可以使我们在程序中定义一些可变部分,在运行的时候指定,使用泛型可以最大程度重用代码,保护类型的安全以及提高性能。



1、泛型函数


        在函数名后面加,参数类型也被声明为T,T成为占位符,函数在每次调用时传入实际的参数类型才决定T的类型


        func log4(msg : T) {

                println(msg)


}

        


    log4(3)

    log4("sorry")

    log4(1.02)


    如果有多个不同类型,可以使用其它大写字母,一般习惯使用U,多个占位符使用逗号,隔开:


    示例如下:

    func isEquals(a :T,b : U) ->Bool {


            

}


    占位符不仅可以替代参数类型,还可以替代返回值类型:


    func isEquals(a: T,b:U) -> T{}




2、泛型约束


        有些占位符必须遵守某种协议,及T占位符后面添加冒号和协议类型,这种表示方式成为泛型约束,它能够替换T的类型。


    例如一个比较函数:


    func isEquals(a : T, b : T) ->Bool {

        return(a==b)

}

    上面的函数在编译时会出错,这是因为并不是所有类型都具有可比性,T表示的类型必须遵守Comparable协议实现的类型,comparable协议表示可比较的:


    修改如下:

    

        func isEquals(a : T, b : T) -> Bool {

            return (a==b)


}