Swift 协议&泛型

协议的基本语法

protocol MyProtocol {
    func teach()
}

class、struct、甚至enum都可以遵循协议，如果需要遵循多个协议，使用逗号分隔
遵循协议时一般我们的class需要写父类的时候，都会在父类后面或者在单独写一个extension

class Teacher: NSObject, MyProtocol {
    func teach() {
        print("Teacher")
    }
}

extension Teacher: MyProtocol{
    func teach() {
        print("Teacher")
    }
}

协议中添加属性
本质就是get、set方法，其中get方法必须提供

protocol MyProtocol {
    func teach()
    var age:Int { get set }
}

协议中定义初始化方法
当我们实现初始化方法的时候，需要使用required关键字

class Teacher: MyProtocol {
    var age: Int
    required init(name: String) {
        <#code#>
    }
}

为协议添加可选方法

protocol MyProtocol {
    func teach()
}

extension MyProtocol{
    func teach() {
        print("MyProtocol")
    }
}

将协议作为类型的3中情况

作为函数、方法中的参数类型或者返回类型
作为属性的类型
作为数组、字典或者其它容器中的元素类型

当把协议作为类型的时候，
extension中声明的方法是属于静态调用，也就是在编译链接之后当前代码的地址就已经确定了，我们是无法重写的，看下面代码会打印什么

protocol MyProtocol {
//    func teach()
}

extension MyProtocol{
    func teach() {
        print("MyProtocol")
    }
}

class Teacher: MyProtocol {
    func teach() {
        print("Teacher")
    }
}


let objct:Teacher = Teacher()
let objct1:MyProtocol = Teacher()

objct.teach()
objct1.teach()

Teacher
MyProtocol
Program ended with exit code: 0

区别在于一个声明的是Teache类型，一个是MyProtocol类型
原因是协议类型调用方法的时候，本质是通过PWT(协议目击表),来获取对应的函数地址，而类是通过类的函数表来查找函数

新的问题PWT存放在哪里，objct和objct1的内存大小是否一直？

let objct:Teacher = Teacher()
let objct1:MyProtocol = Teacher()

print(MemoryLayout.size(ofValue: objct))
print(MemoryLayout.stride(ofValue: objct))

print(MemoryLayout.size(ofValue: objct1))
print(MemoryLayout.stride(ofValue: objct1))

8
8
40
40
Program ended with exit code: 0

我们可以看到，虽然实际都是Teacher，但是打印的结果是不一样的，本质是编译器生成了一种特殊的数据类型Existential Container，用于管理遵守了相同协议的类型。因为这些数据类型的内存空间尺寸不同，使用Existential Container进行管理可以实现存储一致性

类型约束

比如要求我们的参数都遵循Equatable协议

func test(a:T,b:T) -> Bool

关联类型

在定义协议的时候，使用关联类型给协议汇中用到的类型起一个占位符名称

protocol MyProtocol {
    associatedtype Item
    func test()->Item
}

class Teacher: MyProtocol {
    typealias Item = Int
    
    func test() -> Int {
        return 18
    }
}

where语句

当前泛型制定指定类型的特有方法

extension MyProtocol where Item == Int {
    func testInt() {
        print("testInt")
    }
}

泛型

一个简单的泛型使用

func testGenric(_ value: T) -> T{
    let tmp = value
    return tmp
}
testGenric(10)
testGenric(Teacher())

思考一个问题，tmp的内存大小是怎样的？系统是怎么知道需要开辟多大内存空间的？

泛型类型使用VWT进行内存管理，VWT由编译器生成，其存储了该类型的size、aligment(对齐方式)以及针对该类型的基本内存操作
当对泛型类型进行内存操作（如：内存拷贝）时，最终会调用对应泛型类型的VWT中的基本内存操作。泛型类型不同，其对应的VWT也不同

对于一个值类型，如Interger。该类型的copy和move操作会进行内存拷贝，destory操作则不进行任何操作
对于一个引用型，如class。该类型的copy操作会对引用计数加1，move操作会拷贝指针，不会更新引用计数，destory操作会引用计数减1