泛型

目录

一、泛型引入——一个打印机案例引发的思考
二、泛型写法——提高代码复用性
三、类型约束
四、关联类型

打印机案例

func myPrintInt(arg:Int){
    print(arg)
}
func myPrintDouble(arg:Double){
    print(arg)
}
func myPrintString(arg:String){
    print(arg)
}

【思考】如果此时我们打印其他类型的值,就需要针对不同的类型写类似的方法，但是这些方法仅仅只是参数类型不同。
解决方案：能不能让这个类型暂定，等我传的时候再定。一个函数解决所有类型，如何解决？—— 泛型

知识点一 泛型写法

1、给参数类型选择一个代号，并用<>包裹，放在函数名后面，如上面例子中的<T>，用它来指定参数类型， Array<String>
2、真正调用的时候会被实际的类型替代，如传递的是Int，就替换为Int，如果传入的是Double类型就替换为Double等等

func myPrint<T>(arg:T){
    print(arg)
}

myPrint(arg:1)
myPrint(arg:3.3)
myPrint(arg:"haha")
myPrint(arg:[1,2,3,4])

知识点二 类型约束

类型约束，即给类型添加约束
上面的函数可以用于任意类型。但是，有时在用于泛型函数需要遵循特定的类型,比如是某个类型或者必须遵循某个协议
类型约束直接在类型参数后面指明约束条件；

• 案例一：遵循某个类型

func myPrint2<T:UIView>(arg:T){//传进来的类型必须是UIView类
    print(arg)
}
myPrint2(arg:1)

• 案例二：遵循某个协议

protocol ProtocolA{
    func work()
}
func myPrint3<T:ProtocolA>(arg:T){//传进来的类型必须遵循ProtocolA协议
    print(arg)
}
myPrint3(arg:1)

知识点三 关联类型

在协议中怎么使用泛型

• 示范错误案例
  在协议中，某个类型不确定，我需要使用一个类型占位符，按照上面的写法，直接写报错。

protocol SomeProtocol<T>{
    func method1(arg:T)
    func method2(arg:T)
}

• 关联类型正确案例
  关联类型通过 associatedtype 关键字指定

protocol SomeProtocol{
    associatedtype T
   // associatedtype T:UIView  给关联类型添加约束
    func method1(arg:T)
    func method2(arg:T)
}

class A:SomeProtocol{
    func method1(arg: String) {//只要参数传进来，立马和T关联--关联类型
        <#code#>
    }
    func method2(arg: String) {//第二个方法参数自动变为String
        <#code#>
    }
    
}

• 给关联类型添加约束