31 Swift 继续聊聊协议扩展
2023-03-20 本文已影响0人
为了自由的白菜
继续聊聊协议扩展
extension
- 扩展为现有的类、结构体、枚举类型、或协议添加了新功能。这也包括了为无访问权限的源代码扩展类型的能力（即所谓的逆向建模）
- 扩展和Objective-C中的category类似。（与Objective-C的分类不同的是，Swift的扩展没有名字）
extension的能力
- 添加计算实例属性和计算类型属性
- 定义实例方法和类型方法
- 提供新初始化器
- 定义下标
- 定义和使用新内嵌类型
- 使现有的类型遵循某协议
- 扩展可以向一个类型添加新的方法，但是不能重写已有的方法
计算属性
- 扩展可以向已有的类型添加计算实例属性和计算类型属性
image-20230302214631629.png
初始化器
- 扩展可向已有的类型添加新的初始化器。这允许你扩展其他类型以使初始化器接受你的自定义类型作为形式参数，或提供该类型的原始实现中未包含的额外初始化选项
- 扩展能为类添加新的便捷初始化器，但是不能为类添加指定初始化器或反初始化器。指定初始化器和反初始化器必须由原来类的实现提供
image-20230302214910496.png
方法
- 扩展可以为已有的类型添加新的实例方法和类型方法
image-20230302215159542.png
mutating方法
- 扩展的实例方法仍可以修改（或异变）实例本身。结构体和枚举类型方法在修改self或本身的属性时必须标记实例方法为mutating，和原本实现的异变方法一样
image-20230302215338291.png
扩展能为已有的类型添加新的下标
image-20230302215504847.png
添加内嵌类型
- 扩展可以为已有的类、结构体和枚举类型添加新的内嵌类型
image-20230302215626413.png
Swift中的协议
协议的语法
- 自定义类型声明时，将协议名放在类型名的冒号之后来表示该类型采纳一个特定的协议。多个协议可以用逗号分开列出
- 若一个类拥有父类，将这个父类名放在其采纳的协议名之前，并用逗号分隔
image-20230302220637388.png
属性要求
- 协议可以要求所有遵循该协议的类型提供特定名字和类型的实例属性或类型属性。协议并不会具体说明属性是储存型属性还是计算型属性--它只具体要求属性有特定的名称和类型。协议同时要求一个属性必须明确是可读的或可读和和可写的
- 若协议要求一个属性为可读和可写的，那么该属性要求不能用常量存储属性或只读计算属性来满足。若协议只要求属性为可读的，那么任何种类的属性都能满足这个要求，而且如果你的代码需要的话，该属性也可以是可写的
image-20230302221142785.png
image-20230302221248209.png
- 在协议中定义类型属性时在前面添加static关键字。当类的实现使用class或static关键字前缀声明类型属性要求时，这个规则仍然适用
image-20230302221529786.png
方法要求
- 协议可以要求采纳的类型实现指定的实例方法和类方法。这些方法作为协议定义的一部分，书写方式与正常实例和类方法的方式完全相同，但是不需要大括号和方法的主体。允许拥有参数，与正常的方法使用同样的规则。但在协议 的定义中， 方法参数不能定义默认值
- 正如类型属性要求的那样，当协议中定义类型方法时，你总要在其之前添加statci关键字。即使在类实现时，类型方法要求使用class或static作为关键字前缀，前面的规则则仍然使用
mutating方法要求
- 若你定义了一个协议的实例方法需求，想要异变任何采用了该协议的类型实例，只需在协议里方法的定义中使用mutating关键字。这允许结构体和枚举类型能采用相应协议并满足方法要求
初始化器要求
- 协议可以要求遵循协议的类型实现指定的初始化器。和一般的初始化器一样，只用将初始化器写作协议的定义当中，只是不用写大括号也就是初始化器的实体
image-20230302222231925.png
初始化器要求的类实现
- 你可以通过实现指定初始化器或便捷初始化器来使遵循协议的类满足协议的初始化器要求。在这两种情况下，你读必须使用required关键字修饰初始化器的实现
image-20230302222404864.png
- 如果一个子类重写了父类指定的初始化器，并且遵循协议实现了初始化器要求，那么就要为这个初始化器的实现添加required和override两个修饰符
image-20230302222549108.png
将协议作为类型
- 在函数、方法或者初始化器里作为形式参数类型或者返回类型
- 作为常量、变量或者属性的类型
- 作为数组、字典或者其他存储器的元素的类型
协议继承
- 协议可以继承一个或者多个其他协议并且可以在它继承的基础之上添加更多要求。协议继承的语法与类继承的语法相似，只不过可以选项列出多个继承的协议，使用逗号分隔
image-20230302222930398.png
类专用 的协议
- 通过添加AnyObject关键字到协议的继承列表，你就可以限制协议只能被类类型采纳（并且不是结构体或者枚举）
image-20230302223059792.png
协议组合
- 可以使用协议组合来复合多个协议到一个要求里。协议组合行为就和你定义的临时局部协议一样拥有构成中所有协议的需求。协议组合不定义任何新的协议类型
- 协议组合使用SomeProtocol&AnotherProtocol的形式。你可以列举任意数量的协议，用和符合连接（&）。除了协议列表，协议组合也能包含类类型，这允许你标明一个需要的父类
image-20230302223412002.png
可选协议要求
- 你可给协议定义可选要求，这些要求不需要强制遵循协议的类型实现。可选要求使用optional修饰符作为前缀放在协议的定义中。可选要求允许你的代码与Objective-C操作。协议和可选要求必须使用@objc标志标记。注意@objc协议只能被继承自Objective-C类或其他@objc类采纳。它们不能被结构体或者枚举采纳
协议和扩展
在扩展里添加协议遵循
- 你可以扩展一个已经存在的类型来采纳和遵循一个新的协议，就算是你无法访问现有类型的源代码也行。扩展可以添加新的属性、方法和下标到已经存在的类型，并且因此允许你添加协议需要的任何需要
image-20230302224612429.png
有条件地遵循协议
- 泛型类型可能只在某些情况下满足一个协议的要求，比如当类型的泛型形式参数遵循对应协议时。你可以通过在扩展类型时列出限制让泛型类型有条件地遵循某协议。在你采纳协议的名字后面写泛型where分句
image-20230302225003215.png
使用扩展声明采纳协议
- 如果一个类型已经遵循了协议的所有需求，但是还没有声明它采纳了这个协议，你可以让通过一个空的扩展来让它采纳这个协议
image-20230302225255326.png
协议扩展
- 协议可以通过扩展来提供方法和属性的实现以遵循类型。这就允许你在协议自身定义行为，而不是在每一个遵循或者在全局函数里定义
image-20230302225440471.png
提供默认实现
- 你可以使用协议扩展来给协议的任意方法或者计算属性要求提供默认实现。如果遵循类型给这个协议的要求提供了它自己的实现，那么它就会替代扩展中提供的默认实现
给协议扩展添加限制
- 当你定义一个协议扩展，你可以明确遵循类型必须在扩展的方法和属性可用之前满足的限制。在扩展协议名字后边使用where分句来写这些限制
image-20230302225850201.png
