为何使用泛型

在编程语言中,往往有很多的数据类型,如果我们需要对每个类型都进行相同的操作,那么就需要为每种类型都编写一段相同的代码,比如我们想要比较两个值得大小.一般会写成这样

func maxInt(a:Int,b:Int) ->Int{
    return a>b?a:b
}

这样写是没有问题的,但是参数只能接受Int类型的,如果再想比较float的值呢?那么就需要再写一个这样的方法,但是如果再有其他的类型的呢?这样就会造成很多重复的代码.而泛型就是为了解决这个问题存在的.

基本的使用

为了解决上面的问题,我们可以做这样的事情,我们可以用一个任意的类型,让这个方法可以接受所有的类型,于是代码就变成了这样

func maxAny<T>(a:T,b:T) ->T{
    return a>b?a:b
}

这里的 T 是一个类型占位符,由于没有为 T 设定协议,所以它表示任意类型.让函数的两个参数都是 T 类型,这样函数就可以接受任何类型了.但是这行代码会出现一个错误:
Binary operator '>' cannot be applied to two 'T' operands
为啥呢? 因为 > 比较符只能作用于符合 Comparable 协议的类型,而任意类型的 T 不符合任何协议.这里先不管,我们使用输出语句试试这个方法是否真的能接受任何数据类型

func maxAny<T>(a:T,b:T) -> T {
    print(a)
    return b
}
//调用方法,分别传String和Int的类型
self.maxAny("a",b: "asd")
self.maxAny(12,b: 13)
//输出结果
a
12
两种类型都输出正常,表示这个方法确实可以接受两种类型

那么如何让 a 和 b 可以比较呢?只要为 T 添加 Comparable 协议即可

func maxAny<T:Comparable>(a:T,b:T) ->T{
    return a>b?a:b
}

这样就表示,只有符合 Comparable 协议的类型才可以作为方法的参数传递进来.Comparable 协议是专门用来比较的协议,不支持比较的类型不会添加这个协议,比如 String 类型.

print(self.maxAny(2,b: 3)) ;
print(self.maxAny(3.2,b: 4.2))
//分别调用方法传递Int类型和double类型的参数
//输出结果
3
4.2

这里就完成了,只要一个方法,就可以传递多种类型的参数,这个就是使用泛型的主要目的

常见的泛型使用

swift中,Array是可以接受任何类型的.但是我们可以使用泛型,让Array只接受一种数据类型.

var array:Array<Int> = Array()//声明一个数组
array.append(10)//将整数加入数组
array.append("str")//将String加入数组

这时就会发现,第三行代码报错了,Cannot convert value of type 'String' to expected argument type 'Int' 就是说String类型无法转换成预期中得Int类型,这说明数组就只能存放Int类型的了.这样有什么好处呢?这样我们可以很方便的清楚数组中得类型,使用起来更安全.除了数组,字典也同样支持泛型.

在类中使用泛型

模拟一个类似于Array的类

class Test<T> {
    var items = [T]()
    func append(item:T){
        items.append(item)
    }
} //接下来是使用
var a:Test<Int> = Test()
a.append(12)
a.append("asd") //这里第三行同样会报错,和Array类型是一样的

这样做的好处就是这个类本身可以接收任意的类型,也可以指定类接收的类型.