木又的《Swift进阶》读书笔记—

协议

当咱们运用泛型类型的时分，一般都会运用协议绑缚泛型参数的行为。有许多理由使得你应该如此，下面便是一些最常见的比如：

经过协议，你能够构建一个依托数字 (而不是比如 Int，Double 等某个详细的数值类型) 或调集类型的算法。这样一来，一切结束了这个协议的类型就都具有了这个心算法供给的才干。
经过协议还能够笼统代码接口反面的结束细节，你能够针对协议进行编程，然后让不同的类型结束这个协议。例如，一个运用了 Drawable 协议的画图程序既能够运用 SVG 来烘托图形，复杂度怎么核算的也能够运用 Core Graphics。类似的，跨平ios最好玩的手游台的代码能够运用一个 Platform 协议macosmojave，然后由类似 Linux，macOS 或 iOS 这样的类型来供给详细的结束。
你还能够运用协议来让代码更具可复杂度符号检验性。更详细地说，当你依据协议而不是一个具复杂度比较体类型来结束某个功用的时分，在检验用例中就很简单把这部分替换成标明各种检验效果的类型。

在 Swift 里，一个协议标明复杂度一组正式提出的 要求 (requirements)。例如，Equatable 协议要求结束的类型供给 == 操作符。这些要求能够是复杂度最高的是一般办法、初始化办法、相关类型、特色和承继的协议。有些协议还有一些无法用 Swift 类型体系表达的要求，例如，Collectioios下载n 协议就要求下标操macos体系作符访问元素的时刻复杂度是 0(1) (但你也能够违背这个要求，假如算法的时刻复杂度不是O(1)，在办法的文档中清楚阐明就行了。)

Swift 协议的首要特性。

协议能够自行扩展新的功用。
协议能够经过条件化扩架构是什么意思展（conditional extensions）增加需求额外绑缚的 API。
协议能够承继其他协议。
协议能够被组合起来构成新的协议。
有时，某个协议的结束还依托于其他协议的结束。
协议还能够声明相关类型，结束了这个协议的类型就需求界说相关类型对应的详细类型。

协议目击者

struct Eq<A> {
let eq:(A,A) -&macos体系下载gt; Bool
}

现在，咱们接口是什么就能够为比较不同的详细类型 (例如： Int) 创立不同的 Eq 实例了。咱们管这些实例，叫做标明相等判别的 闪现目击者 (explicit witnesses)：

extension Array {
func allEqual(_ compare: Eqmacos版别<Element>) -> Bool {
guard let f = first else { return true }
for el in dropFirst() {
guard compare.eq(f,el) else { return false }
}macoscatalina
return true
}
}

下面是经过协议替代了ioslauncher下载闪现目击者 (explicit wi复杂度符号tnesses) 的 allEqual 结束：

extension Array where Element: Equatable {
func allEqual() -> Bool {
guard let f = first else { ret接口是什么urn true接口的效果 }
for el in drmacosxopFirst() {
guard f == el else { return false }
}macosmojave
return true
}
}

比较泛型参数A，咱们能够运用隐式泛型参数 Self，用它标明结束了协议的类型：

extension Equatable {
static func notEqual(_ l:Self, _ r:Self) -> Bool {
return !(l == r)
}
}

条件化协议结束 (Conditional Conformance)

标准库中 Array 对 Equatabl复杂度剖析e 的结束:

extension Array: Equable where Element: Equatable {
static func == (lhs:[Element], rhs:[复杂度排序Element]) ->接口测验 Bool {
fatalError("Implementation left out")
}
}

协议承继

Swift 还支撑协议的承继。例如，结束 Comp接口英文arable 的类型也一定结束了 Equatios体系able。复杂度英文这叫做 细化 (refinging)。换句话说，Comparable 改进了 Equatable：

public protocol Comparable: Equatable {  statios体系ic func < (lhs: Self, rhs: Self) -> Bool  // ...}

运用协议进行规划

举个绘图协议的比如，首先，界说一个要求结束制作椭圆和矩形接口的协议：

protocol DrawingContext {
mutating func addEllipse(rect: CGRect, fi架构图用什么软件做ll: UICol架构师or)
mut复杂度排序ating func addRectangle(rect: CGRect，fill：UIColor)
}

exten架构规划sion CGContext: DrawingContext {
func addEllipse(rect: CGRect, filios下载l fillColor: UIColor) {
setFillColor(fillColor.cgColor)
fillEllipse(in: rect)
}
func addRectang接口类型le(rect: CGRe架构师工资一月多少ct, fill fillColor: UIColor) {
setmacos体系FillColor(fillColor.cgColor)接口和抽象类的区别
fill(rect)
}
}

extension SVG: DrawingContext {  mutating fun接口卡c addEllipse(rect: CGRect, fios下载ill: UIColor) {    var aios8备忘录ttributes: [String: String] = rect.svgEllipseAttributes    attributes["fi复杂度o(1)什么意思ll"] = String(hexColor: fill)    append(Node(tag: "ellipse", attributes: attributes))  }    mutating func addRectangle(rect: CGRect, fill: UIColor) {    var attributes: [String: String] = rect.svgAttributes    attributes["fill"] = String(hexColor: fill)    append(Node(tag: "reios下载ct", attributes: attributes))  }}

协议扩展

Swift 协议中的一个要害特性便是 协议扩展 (protocol extensio复杂度o(1)什么意思n)。只需知道了怎样制作椭圆，就能够增加一个扩展来以某点为圆心制作圆形。

extension DrawingContexnt {  mutating func addCircle(center: CGPoint,radius: CGFloat, fill:ios最好玩的手游 UIColor) {    let diameter = radius * 2    let origin = CGPoint(x:macoscatalina center.x - radius, y: center.yios模拟器 - radius)    let size = CGSize(width: diameter, height: di复杂度o(1)什么意思ameter)    let rect = CGRect(origin: origin, size: size)    addEllipse(rect: rect.integral, fill: fill)  }}

给 DrawingContext 再创立一个扩展，给它增加一个在黄色方块中接口测验制作蓝色圆形的办法：

extension DrawingContext {  mutating func drawiOSingSomething() {    let rect = CGRect(x:架构 0, y: 0, width: 100, heigh架构图用什么软件做t: 100)架构图    addRectangle(rect: rect, fill: .yellow)    let center = CGPoint(x: rect.midX, y: rect.midY)    addCircle(c接口和抽象类的区别enter: center, radius: 25, fill: .blue)  }}

把这个办法界说在 DrawingContext 的扩展里，咱们就能经过 SVG 或 CGContext 实例调用它。这是一种贯穿 Swift 标准库的做法：只需你结束了协议要求的几个少数办法，就能够“免费”收获这个协议经过扩展得到一切功用。

定制协议扩展

经过扩展给协议增加的办法，并不作为协议绑缚的一部分。在某些状况下，这会导致出其不意的效果接口。

只需协议目击者中架构图模板的办法才华被动态派发到一个详细类型对应的结束，由于只需目击者中的信息在运行时是可用的。在泛型上下文环境中，调用协议中的非绑缚办法总是会被静态派发复杂度最高的是到协议扩展中的结束。

为了获得动态派发的行为，咱们应该让 addCircle 成为协议绑缚的一部分。这样，在协议扩展中 addCirmacosx是什么文件夹cle 的结束就变成了协议绑缚的 默许结束。架构师需求掌握哪些知识带有默许结束的协议办法在 Swift接口社区中有时也叫做 定制点 (customization point)。结束协议的类型会收到复杂度排序一份办法的默许结束，并有权抉择是否要对其进行掩盖。

协议组合

协议能够被组合在一起。

typea架构师需求掌握哪些知识lias Codable = Decodable & Encodable

协议承继

协议之间还可ios最好玩的手游所以承继联络。实践上，typealias C架构图用什么软件做odable = Encodable & Decodable 这种写法在语法上，和 protocol Codios14.4.1更新了什么able: Encodable & Decodable 是完全相同的。只是别号的写法看上去略微简练了一点，它更清楚地告诉咱们：Codable 只是是这两个协议的组合，并没有在组合的效果里增加任何新的办法。

协议和相关类型

有些协议需求绑缚的不只是是方ios体系法、特色和初始化办法，它们还希望和它相关的一些类型满意特定的条件。这就能够经过相关类型 (associated type) 来结束。

举个栗子，经过协议相关类型，从架构规划头结束一个小型的 UIKit 状况康复机制。

在 UIKit 里，状况康复需求读取视图控ioslauncher14安卓版制器以及视图的架构，并在 app 挂起的时复杂度怎么核算的分将它们的状况序列化。当ios是什么意思 App 下一次加载的时分，UIKit 会尝试康复应用程序的状况。

protocol ViewController {}

protocol Restorable {
associatedtype State: Codable
var state: State { get set }
}

创立一个闪现音讯的视图控制器。这个视图控制器的状况由macosx一个音讯数组以及其时的滚定位置构成，咱们把它界说成一个结束了 Codable 的内嵌类型：

class MessagesVCmacos版别太老无法更新: ViewController, Restorable {  typealias State = MessagesState  stmacos版别太老无法更新ruct Mesmacos版别sagesState: Codable {    var messgaes: [StriniOSg] = []    var scroios下载llPosition: CGFloat = 0  }  var st复杂度oate: MessagesState = MessgaesState()}

依据相关类型的条件化协议ioslauncher14安卓版结束

有些类型只需在特定条件下才会结束一个协议。

extension Range: Sequence
wheios14re Bound: Strideable架构师工资一月多少, Bound.Stride: SignedIntegemacos是什么意思r

存在体

严格来说，在 Swift 中是不能把协议当作一个详细类型来运用的，它们只能用来绑缚泛型参数。但让人惊奇的是，下面的代复杂度最优码却能够经过编译：

l接口crc差错计数et Cmacos版别ontext：DrawingContext = SVG()

当咱们把协议当作详细类型运用的时分，编译器会为协议创立一个包装类型，叫做 存在体 (ex架构规划istential)。lmacoscatalinaet context:DrawingCon 这种写法本质上便是类似 let con复杂度o(1)什么意思text: Any<DrawingContext> 这种写法的语法糖。虽然这种语法macosmojave并不存在，编译器会创立一个 (32字节的) Any 盒子，并在其间为类型结束的每个协议增加一个 8 字节的协议目击者。

MemoryLayout<Any>.size // 32
MemoryLayout<DrawingContex复杂度ot>.smacos体系下载ize // 40

为协议创立的这个盒子也叫做 存在体容器 (ex接口卡istential contmacosbigsurainer)。这是编译器有必要要做的事情，ios14.4.1更新了什么由于它需求在编译期承认类型的大小。不同的类型本架构师工资一月多少身大小有差复杂度比较异 (例如：一切的类都是一个指针的大小，而结构体和枚举的大小则依托他们的实践内容)架构图用什么软件做，这些类型结束了一个协议的时分，把协议包装在存在体容器中能够让类型的尺度坚持固定，编译器也就能确认目标的内存布局了。

MemoryLayout<Codable>.size /macosmojave/ 48
let codables: [Codable] = [Int(42), Double(42), "fourtytwo"] // 占用144(48 * 3)字节空间

存在体和相关类型

在 Swift 5 里，存在体只针对那些没有相关类型和 Self 绑缚的协议。

let collections: [Collection] = ["foo", [1]]
// 差错： 'Collec架构图tion' 只能用作泛型参数绑缚
// 由于它包含了 Self 或相关类型约好。

咱们不能在不指定相架构师关类型 Element 的状况下运用 Cios是什么意思ollection。

类型消除器

虽然咱们无法为带有 Self 或相关类型绑缚的协议创立存在体，但咱们能够编写一个履行类似功用的函数，叫做：类型消除器 (type erasers)。

let seq = [1,2,3].lazy.filte复杂度o(1)什么意思r { $0 > 1 }.map { $0 * 2 }

seq复杂度o 的类型是 Lioslauncher下载az架构yMapSequence<LazyFilterSequence<[Int]>, Int>macoscatalina。

咱们会想要消除掉效果中类型的细节，只得到一个包含 Int 元素的序列就好了。能够用 AnySequence 躲藏掉原始的类型macos体系下载：

let anySeq = AnySequence(seq)

anySeq 的类型便是 AnySequence<Int>。虽然这看上去简略多了，而且用起来也和一个序列相同，但这样做也接口测验的流程和过程是有价值的：AnySequence 引入了额外的一层间接性，它比直接运用被躲藏的原始类型慢一些。

标准库为许多协议都供给了类型消除器，例如：AnyCollection 和 AnyHashable。

下面咱们给之前界说的 Restorable 协议结束一个简略的类型消除器。

class AnyRestorableBoxBase<State: Codable>: Restorable {
internal init() {}
public var state: State {
g架构师需求掌握哪些知识et { fatalError() }
set { fatalError() }
}
}

clasiOSs AnyRestorableBox<R: Restorable>: AnyRest复杂度o(1)什么意思orableBoxBase<R.State> {
var r: R
int(_ r: R) {
self.r = r
}
override var state: R.State {
get { return r.state }
set { r.state = newValue }
}
}

class AnyRestorable<State: Cios8备忘录odable>: Restor架构able {
let box: AnyRestorablios14eBoxBase<State>
init<R>(_ r: R复杂度最高的是) where R: Restorable, R.State == State {
self.box = AnyRestorableBox(r)
}
var state: State {
get { return box.sta接口是什么te }
set { box.state = newValue }
}
}

滞后于类型界说的协议结束

Swift 中协议的一个首要特性便是一个类型对协议的结束能够之后滞后于类型界说自身。

木又的《Swift进阶》读书笔记——协议

协议

协议目击者

条件化协议结束 (Conditional Conformance)

协议承继

运用协议进行规划

协议扩展

定制协议扩展

协议组合

协议承继

协议和相关类型

依据相关类型的条件化协议ioslauncher14安卓版结束

存在体

存在体和相关类型

类型消除器

滞后于类型界说的协议结束

作者信息

木又的《Swift进阶》读书笔记——协议

协议

协议目击者

条件化协议结束 (Conditional Conformance)

协议承继

运用协议进行规划

协议扩展

定制协议扩展

协议组合

协议承继

协议和相关类型

依据相关类型的条件化协议ioslauncher14安卓版结束

存在体

存在体和相关类型

类型消除器

滞后于类型界说的协议结束

相关文章

Redis 主从、哨兵和分片集群

【论文解读】如何使用1B参数的小模型吊打GPT3.5

CompletableFuture实现异步编排

View事件的分发机制

作者信息