协议的基本语法
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<T:Equatable>(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<T>(_ 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
