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

1、泛型函数

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

func log4<T>(msg : T) {

println(msg)

}

log4(3)

log4("sorry")

log4(1.02)

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

示例如下：

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

}

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

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

2、泛型约束

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

例如一个比较函数：

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

return(a==b)

}

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

修改如下：

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

return (a==b)

}