草庐IT

iOS开发-Swift进阶之协议Protocol!

iOS是大鑫呀 2023-03-28 原文
swift进阶总汇

本文主要分析protocol的用法及底层存储结构

协议的基本用法

  • 【语法格式】:协议的语法格式
//协议的语法格式 protocol MyProtocol { //body }
  • class、struct、enum都可以遵守协议,如果需要遵守多个协议,可以使用逗号分隔
//1-2、class、struct、enum都可以遵守协议,如果需要遵守多个协议,可以使用逗号分隔 struct CJLTeacher: Protocol1, Protocol2 { //body }
  • 如果class中有superClass,一般是放在遵守的协议之前
//1-3、如果class中有superClass,一般是放在遵守的协议之前 struct CJLTeacher: NSObject, Protocol1, Protocol2 { //body } 协议中添加属性

  • 协议中可以添加属性,但是需要注意一下几点:

  • 1、协议同时要求一个属性必须明确是可读的/可读可写的

  • 属性要求定义为变量属性,即使用var而不是let

protocol CJLTest { var age: Int {get set} } 协议中定义方法

  • 在协议中定义方法,只需要定义当前方法的名称、参数列表和返回值

  • 在具体的类中遵守协议,并实现协议中的方法

protocol MyProtocol { func doSomething() static func teach() } class CJLTeacher: MyProtocol{ func doSomething() { print("CJLTeacher doSomething") } static func teach() { print("teach") } } var t = CJLTeacher() t.doSomething() CJLTeacher.teach()
  • 协议中也可以定义初始化方法,当实现初始化器时,必须使用required关键字
protocol MyProtocol { init(age: Int) } class CJLTeacher: MyProtocol{ var age: Int required init(age: Int) { self.age = age } }
  • 如果一个协议只能被实现,需要协议继承自AnyObject。如果此时结构体遵守该协议,会报错

协议进阶 - 将协议作为类型

协议除了上述的基本用法,还有以下几种用法:

  • 1、作为函数、方法或者初始化程序中的参数类型或者返回值

  • 2、作为常量、变量或属性的类型

  • 3、作为数组、字典或其他容器中项目的类型

通过继承基类实现 下面一段代码的打印结果是什么?(通过继承基类实现)

class Shape{ var area: Double{ get{ return 0 } } } class Circle: Shape{ var radius: Double init(_ radius: Double) { self.radius = radius } override var area: Double{ get{ return radius * radius * 3.14 } } } class Rectangle: Shape{ var width, height: Double init(_ width: Double, _ height: Double) { self.width = width self.height = height } override var area: Double{ get{ return width * height } } } var circle: Shape = Circle.init(10.0) var rectangle: Shape = Rectangle.init(10.0, 20.0) var shapes: [Shape] = [circle, rectangle] for shape in shapes{ print(shape.area) } <!--打印结果--> 314.0 200.0 对于数组来说,当前的大小是固定的,因为当前存放的都是引用类型(即占8字节),其存储结构如下所示

通过协议实现

作为一个开发者,有一个学习的氛围跟一个交流圈子特别重要,这是一个我的iOS开发交流群:130 595 548,不管你是小白还是大牛都欢迎入驻 ,让我们一起进步,共同发展!(群内会免费提供一些群主收藏的免费学习书籍资料以及整理好的几百道面试题和答案文档!)

  • 上述代码的实现是通过继承基类,即基类中的area必须有一个默认实现,也可以通过协议来替代当前代码的书写方式
//2-2、通过协议实现:area必须有一个默认实现 protocol Shape { var area: Double {get} } class Circle: Shape{ var radius: Double init(_ radius: Double) { self.radius = radius } var area: Double{ get{ return radius * radius * 3.14 } } } class Rectangle: Shape{ var width, height: Double init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } var circle: Shape = Circle.init(10.0) var rectangle: Shape = Rectangle.init(10.0, 20.0) var shapes: [Shape] = [circle, rectangle] for shape in shapes{ print(shape.area) } <!--打印结果--> 314.0 200.0 当数组中的元素指定的Shape是类时,数组中存储的都是引用类型的地址,那么问题来了,如果数组指定的Shape是一个协议时,数组中存储的是什么?

  • 如果Shape协议提供了一个默认实现,此时的打印是什么?
protocol Shape { } extension Shape{ var area: Double { get{return 0} } } class Circle: Shape{ var radius: Double init(_ radius: Double) { self.radius = radius } var area: Double{ get{ return radius * radius * 3.14 } } } class Rectangle: Shape{ var width, height: Double init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } var circle: Shape = Circle.init(10.0) print(circle.area) <!--打印结果--> 0.0 打印0.0的原因是因为在Extension中声明的方法是静态调用,即在编译链接后当前底阿妈的地址就已经确定了,我们是无法重写的。这个可以通过SIL代码来验证

协议示例代码分析

下面通过一个简单的代码来分析SIL

  • 【示例1】:下面代码的打印结果是什么?
protocol MyProtocol { func teach() } extension MyProtocol{ func teach(){ print("MyProtocol") } } class MyClass: MyProtocol{ func teach(){ print("MyClass") } } let object: MyProtocol = MyClass() object.teach() let object1: MyClass = MyClass() object1.teach() <!--打印结果--> MyClass MyClass 打印一样的原因是因为在MyProtocol协议中有teach方法的声明

  • 查看SIL中两种方式的调用有什么不同?

  • 定义为MyProtocol类型的对象object,方法teach的调用在底层是通过witness_method调用,即通过PWT(协议目录表)获取对应的函数地址,其内部也是通过类的函数表查找进行调用

  • 定义为MyClass类型的对象object1,方法teach的调用在底层是通过类的函数表来查找函数,主要是基于类的实际类型

    其中,协议目录表和函数表如下所示

    查看协议中teach方法具体实现的SIL代码,在内部调用的是MyClass类的函数表中的teach方法

  • 【示例2】:如果去掉MyProtocol协议中teach方法的声明,打印结果是什么?

//如果去掉协议中的声明呢?打印结果是什么 protocol MyProtocol { } extension MyProtocol{ func teach(){ print("MyProtocol") } } class MyClass: MyProtocol{ func teach(){ print("MyClass") } } let object: MyProtocol = MyClass() object.teach() let object1: MyClass = MyClass() object1.teach() <!--打印结果--> MyProtocol MyClass 打印不一致的根本原因是MyProtocol协议扩展中实现的teach方法不能被类重写,相当于这是两个方法,并不是同一个

  • 查看底层的SIL代码

  • 第一个打印MyProtocol,是因为调用的是协议扩展中的teach方法,这个方法的地址是在编译时期就已经确定的,即通过静态函数地址调度

  • 第二个打印MyClass,同上个例子一样,是类的函数表调用

    查看SIL中的witness_table,其中已经没有teach方法

  • 声明在Protocol中的方法,在底层会存储在PWT,PWT中的方法也是通过class_method,去类的V-Table中找到对应的方法的调度。

  • 如果没有声明在Protocol中的函数,只是通过Extension提供了一个默认实现,其函数地址在编译过程中就已经确定了,对于遵守协议的类来说,这种方法是无法重写的

协议的PWT存储位置

我们在分析函数调度时,已经知道了V-Table是存储在metadata中的,那么协议的PWT存储在哪里呢?

  • 下面代码的打印结果是什么?
protocol Shape { var area: Double {get} } class Circle: Shape{ var radius: Double init(_ radius: Double) { self.radius = radius } var area: Double{ get{ return radius * radius * 3.14 } } } var circle: Shape = Circle(10.0) print(MemoryLayout.size(ofValue: circle)) print(MemoryLayout.stride(ofValue: circle)) var circle1: Circle = Circle(10.0) print(MemoryLayout.size(ofValue: circle1)) print(MemoryLayout.stride(ofValue: circle1)) <!--打印结果--> 40 40 8 8
  • 首先通过lldb调试如下

  • 查看对应的SIL代码,比往常的代码多了一步init_existential_addr,可以理解为:使用了包含Circleexistential container来初始化circle引用的内存。通俗来说就是将circle包装了存入existential container初始化的内存

    其中,SIL官方文档对init_existential_addr的解释如下

    其中的existential container是编译器生成的一种特殊的数据类型,也用于管理遵守了相同协议的协议类型。因为这些数据类型的内存空间尺寸不同,使用existential container进行管理可以实现存储一致性

  • 通过IR代码,分析如下

define i32 @main(i32 %0, i8** %1) #0 { entry: %2 = bitcast i8** %1 to i8* ; s4main6CircleCMa 等价于 type metadata accessor for main.Circle %3 = call swiftcc %swift.metadata_response @"$s4main6CircleCMa"(i64 0) #7 %4 = extractvalue %swift.metadata_response %3, 0 ; s4main6CircleCyACSdcfC 等价于 main.Circle.__allocating_init(Swift.Double) -> main.Circle %5 = call swiftcc %T4main6CircleC* @"$s4main6CircleCyACSdcfC"(double 1.000000e+01, %swift.type* swiftself %4) ; 往一个内存中存储 ; i32 0, i32 1 结构体不偏移,并选择第二个字段,相当于将metadata放入 T4main5ShapeP结构体的%swift.type*中 ==> type { [24 x i8], metadata, i8** } store %swift.type* %4, %swift.type** getelementptr inbounds (%T4main5ShapeP, %T4main5ShapeP* @"$s4main6circleAA5Shape_pvp", i32 0, i32 1), align 8 ; s4main6CircleCAA5ShapeAAWP 等价于 protocol witness table for main.Circle : main.Shape in main 协议目录表,将其放入了 T4main5ShapeP 结构体的i8**中 ==> type { [24 x i8], metadata, PWT } store i8** getelementptr inbounds ([2 x i8*], [2 x i8*]* @"$s4main6CircleCAA5ShapeAAWP", i32 0, i32 0), i8*** getelementptr inbounds (%T4main5ShapeP, %T4main5ShapeP* @"$s4main6circleAA5Shape_pvp", i32 0, i32 2), align 8 ; s4main6circleAA5Shape_pvp 等价于 main.circle : main.Shape, 将%5放入了 %T4main6CircleC** 中,即 type <{ %swift.refcounted, %TSd }>,相当于将HeapObject放入T4main6CircleC中 ==> type { HeapObject, metadata, PWT } ; 将 %T4main6CircleC* %5 实例对象地址 放入了 %T4main6CircleC** 二级指针里,也就意味着实例对象占用8字节,所以放入结构体中就是占用8字节的大小 store %T4main6CircleC* %5, %T4main6CircleC** bitcast (%T4main5ShapeP* @"$s4main6circleAA5Shape_pvp" to %T4main6CircleC**), align 8 ..... 仿写结构

然后通过上述的分析,仿写整个内部结构

<!--1、仿写整个结构--> struct HeapObject { var type: UnsafeRawPointer var refCount1: UInt32 var refCount2: UInt32 } // %T4main5ShapeP = type { [24 x i8], %swift.type*, i8** } struct protocolData { //24 * i8 :因为是8字节读取,所以写成3个指针 var value1: UnsafeRawPointer var value2: UnsafeRawPointer var value3: UnsafeRawPointer //type 存放metadata,目的是为了找到Value Witness Table 值目录表 var type: UnsafeRawPointer // i8* 存放pwt var pwt: UnsafeRawPointer } <!--2、定义协议+类--> protocol Shape { var area: Double {get} } class Circle: Shape{ var radius: Double init(_ radius: Double) { self.radius = radius } var area: Double{ get{ return radius * radius * 3.14 } } } //对象类型为协议 var circle: Shape = Circle(10.0) <!--3、将circle强转为protocolData结构体--> withUnsafePointer(to: &circle) { ptr in ptr.withMemoryRebound(to: protocolData.self, capacity: 1) { pointer in print(pointer.pointee) } } <!--4、打印结果--> protocolData(value1: 0x0000000100550100, value2: 0x0000000000000000, value3: 0x0000000000000000, type: 0x0000000100008180, pwt: 0x0000000100004028) lldb调试如下,其中value1HeapObjecttypemetadata

0x0000000100004028可以通过nm + xcrun来验证确实是 PWT

如果将class改成 struct呢?

  • 如果其中的类改成Struct呢?如下所示
protocol Shape { var area: Double {get} } struct Rectangle: Shape{ var width, height: Double init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } //对象类型为协议 var rectangle: Shape = Rectangle(10.0, 20.0) struct HeapObject { var type: UnsafeRawPointer var refCount1: UInt32 var refCount2: UInt32 } // %T4main5ShapeP = type { [24 x i8], %swift.type*, i8** } struct protocolData { //24 * i8 :因为是8字节读取,所以写成3个指针 var value1: UnsafeRawPointer var value2: UnsafeRawPointer var value3: UnsafeRawPointer //type 存放metadata,目的是为了找到Value Witness Table 值目录表 var type: UnsafeRawPointer // i8* 存放pwt var pwt: UnsafeRawPointer } //将circle强转为protocolData结构体 withUnsafePointer(to: &rectangle) { ptr in ptr.withMemoryRebound(to: protocolData.self, capacity: 1) { pointer in print(pointer.pointee) } } <!--打印结果--> protocolData(value1: 0x4024000000000000, value2: 0x4034000000000000, value3: 0x0000000000000000, type: 0x0000000100004098, pwt: 0x0000000100004028) 针对打印结果的lldb调试如下,value1存储10value2存储20

  • 查看其IR代码
define i32 @main(i32 %0, i8** %1) #0 { entry: %2 = bitcast i8** %1 to i8* ; 占用16字节 %3 = call swiftcc { double, double } @"$s4main9RectangleVyACSd_SdtcfC"(double 1.000000e+01, double 2.000000e+01) %4 = extractvalue { double, double } %3, 0 %5 = extractvalue { double, double } %3, 1 ; 指针类型是 <{ i8**, i64, <{ i32, i32, i32, i32, i32, i32, i32 }>* ; 第一个索引:i32 0 表示需要跨越全局变量 ,其实就是 <{ i8**, i64, <{ i32, i32, i32, i32, i32, i32, i32 }>的首地址 ; 第二个索引:i32 1 选择结构体的第二个字段 ; 存储到结构体的type,即metadata store %swift.type* bitcast (i64* getelementptr inbounds (<{ i8**, i64, <{ i32, i32, i32, i32, i32, i32, i32 }>*, i32, i32 }>, <{ i8**, i64, <{ i32, i32, i32, i32, i32, i32, i32 }>*, i32, i32 }>* @"$s4main9RectangleVMf", i32 0, i32 1) to %swift.type*), %swift.type** getelementptr inbounds (%T4main5ShapeP, %T4main5ShapeP* @"$s4main9rectangleAA5Shape_pvp", i32 0, i32 1), align 8 ; 使用 s4main9RectangleVAA5ShapeAAWP 结构体来存储 store i8** getelementptr inbounds ([2 x i8*], [2 x i8*]* @"$s4main9RectangleVAA5ShapeAAWP", i32 0, i32 0), i8*** getelementptr inbounds (%T4main5ShapeP, %T4main5ShapeP* @"$s4main9rectangleAA5Shape_pvp", i32 0, i32 2), align 8 ; 将double值放入内存中,有偏移,%4 、%5分别的偏移是0、1,是针对 T4main5ShapeP 结构体的偏移 store double %4, double* getelementptr inbounds (%T4main9RectangleV, %T4main9RectangleV* bitcast (%T4main5ShapeP* @"$s4main9rectangleAA5Shape_pvp" to %T4main9RectangleV*), i32 0, i32 0, i32 0), align 8 store double %5, double* getelementptr inbounds (%T4main9RectangleV, %T4main9RectangleV* bitcast (%T4main5ShapeP* @"$s4main9rectangleAA5Shape_pvp" to %T4main9RectangleV*), i32 0, i32 1, i32 0), align 8 如果struct中有3个属性呢?

  • 如果struct的结构体属性是3个呢
struct Rectangle: Shape{ var width, height: Double var width1 = 30.0 init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } <!--打印结果--> protocolData(value1: 0x4024000000000000, value2: 0x4034000000000000, value3: 0x403e000000000000, type: 0x0000000100004098, pwt: 0x0000000100004028) 从结果中可以看出,是存储在value3

如果struct中有4个属性呢?

struct Rectangle: Shape{ var width, height: Double var width1 = 30.0 var height1 = 40.0 init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } <!--打印结果--> protocolData(value1: 0x0000000100546a50, value2: 0x0000000000000000, value3: 0x0000000000000000, type: 0x00000001000040c0, pwt: 0x0000000100004050) 其中value1是一个堆区地址,堆区地址中存储了4个属性的值

协议底层存储结构总结 所以针对协议,其底层的存储结构如图所示:

  • 1、前24个字节,主要用于存储遵循了协议的class/struct的属性值,如果24字节不够存储,会在堆区开辟一个内存空间用于存储,24字节中的前8个字节存储堆区地址(如果超出24,是直接分配堆区空间,然后存储值,并不是先存储值,然后发现不够再分配堆区空间)

  • 2、后16个字节分别用于存储 vwt(值目录表)、pwt(协议目录表)

继续分析

回到下面这个例子中,其中for-in循环能区分不同的area的原因主要是因为 protocolpwtpwt其内部也是通过class_method查找,同时在运行过程中存储了metadata,所以可以根据metadata找到对应的v-table,从而完成方法的调用

//2-7、回到2-2的例子中 protocol Shape { var area: Double {get} } class Circle: Shape{ var radius: Double init(_ radius: Double) { self.radius = radius } var area: Double{ get{ return radius * radius * 3.14 } } } class Rectangle: Shape{ var width, height: Double init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } var circle: Shape = Circle.init(10.0) var rectangle: Shape = Rectangle.init(10.0, 20.0) //所谓的多态:根据具体的类来决定调度的方法 var shapes: [Shape] = [circle, rectangle] //这里能区分不同area的原因是因为 在protocol中存放了pwt(协议目录表),可以根据这个表来正确调用对应的实现方法(pwt中也是通过class_method查找,同时在运行过程中也记录了metadata,在pwt中通过metadata查找V-Table,从而完成当前方法的调用) for shape in shapes{ print(shape.area) }
  • 继续回到struct的例子,将其赋值给另一个变量,其内存存放的是否是一样的?
protocol Shape { var area: Double {get} } struct Rectangle: Shape{ var width, height: Double var width1 = 30.0 var height1 = 40.0 init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } //对象类型为协议 var rectangle: Shape = Rectangle(10.0, 20.0) //将其赋值给另一个协议变量 var rectangle1: Shape = rectangle <!--查看其内存地址--> struct HeapObject { var type: UnsafeRawPointer var refCount1: UInt32 var refCount2: UInt32 } // %T4main5ShapeP = type { [24 x i8], %swift.type*, i8** } struct protocolData { //24 * i8 :因为是8字节读取,所以写成3个指针 var value1: UnsafeRawPointer var value2: UnsafeRawPointer var value3: UnsafeRawPointer //type 存放metadata,目的是为了找到Value Witness Table 值目录表 var type: UnsafeRawPointer // i8* 存放pwt var pwt: UnsafeRawPointer } //将circle强转为protocolData结构体 withUnsafePointer(to: &rectangle) { ptr in ptr.withMemoryRebound(to: protocolData.self, capacity: 1) { pointer in print(pointer.pointee) } } 打印结果如下,两个协议变量内存存放的东西是一样

  • 如果修改rectangle1的width属性的值(需要将width属性声明到protocol),修改后的代码如下
protocol Shape { var width: Double {get set} var area: Double {get} } struct Rectangle: Shape{ var width: Double // var width, height: Double var height: Double init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } //对象类型为协议 var rectangle: Shape = Rectangle(10.0, 20.0) //将其赋值给另一个协议变量 var rectangle1: Shape = rectangle //查看其内存结构体 struct HeapObject { var type: UnsafeRawPointer var refCount1: UInt32 var refCount2: UInt32 } // %T4main5ShapeP = type { [24 x i8], %swift.type*, i8** } struct protocolData { //24 * i8 :因为是8字节读取,所以写成3个指针 var value1: UnsafeRawPointer var value2: UnsafeRawPointer var value3: UnsafeRawPointer //type 存放metadata,目的是为了找到Value Witness Table 值目录表 var type: UnsafeRawPointer // i8* 存放pwt var pwt: UnsafeRawPointer } //将circle强转为protocolData结构体 withUnsafePointer(to: &rectangle) { ptr in ptr.withMemoryRebound(to: protocolData.self, capacity: 1) { pointer in print(pointer.pointee) } } withUnsafePointer(to: &rectangle1) { ptr in ptr.withMemoryRebound(to: protocolData.self, capacity: 1) { pointer in print(pointer.pointee) } } rectangle1.width = 50.0 通过lldb调试发现,在rectangle1变量修改width之后,其存储数据的堆区地址发生了变化。这就是所谓的写时复制【当复制时,并没有值的修改,所以两个变量指向同一个堆区内存,当第二个变量修改了属性值时,会将原本堆区内存的值拷贝到一个新的堆区内存,并进行值的修改】

疑问1:如果将struct修改为class,是否也是写时复制?

如果上述例子中,遵循协议的是类(即struct 改成 class),是否也是写时复制呢?

class Rectangle: Shape{ var width: Double // var width, height: Double var height: Double init(_ width: Double, _ height: Double) { self.width = width self.height = height } var area: Double{ get{ return width * height } } } lldb调试结果如下,属性值修改前后,堆区地址并没有变化,符合对值类型和引用类型的理解

  • 值类型 在 传递过程中 并不共享状态

  • 引用类型 在 传递过程中 共享状态

问题:如果超过24字节,是先存储到value1后发现不够再分配堆区,还是直接分配?

如下所示,struct中定义4个属性

protocol Shape { var area: Double {get} } class Rectangle: Shape{ var width: Double var height: Double var width1: Double var height1: Double init(_ width: Double, _ height: Double, _ width1: Double, _ height1: Double) { self.width = width self.height = height self.width1 = width1 self.height1 = height1 } var area: Double{ get{ return width * height } } } var rectangle: Shape = Rectangle(10.0, 20.0)
  • 查看其IR代码,从代码中可以看出,是先分配堆区空间,再将属性值存储到堆区空间中
疑问3:如果是存储的值类型是String呢?

如下所示,存储的值类型是String类型,查看其底层存储情况

protocol Shape { var area: Double {get} } struct Rectangle: Shape{ var height: String init(_ height: String) { self.height = height } var area: Double{ get{ return 0 } } } var rectangle: Shape = Rectangle("CJL") //查看其内存结构体 struct HeapObject { var type: UnsafeRawPointer var refCount1: UInt32 var refCount2: UInt32 } // %T4main5ShapeP = type { [24 x i8], %swift.type*, i8** } struct protocolData { //24 * i8 :因为是8字节读取,所以写成3个指针 var value1: UnsafeRawPointer var value2: UnsafeRawPointer var value3: UnsafeRawPointer //type 存放metadata,目的是为了找到Value Witness Table 值目录表 var type: UnsafeRawPointer // i8* 存放pwt var pwt: UnsafeRawPointer } //将circle强转为protocolData结构体 withUnsafePointer(to: &rectangle) { ptr in ptr.withMemoryRebound(to: protocolData.self, capacity: 1) { pointer in print(pointer.pointee) } }
  • 查看其IR代码

  • lldb调试如下,底层也是通过value存储

总结

协议在底层的存储结构体如下:

  • 前面的24字节,官方称为Value Buffer,用来存储当前的值

  • 如果超过Value Buffer最大容量(24字节)

  • 值类型 采用 copy-write,即拷贝时拷贝content整体,当修改值时,会先检查引用计数,如果引用计数大于1,会开辟新的堆的内存空间,然后将修改的值放入新的空间中,其目的是为了提高内存的利用率,降低堆区的内存消耗,从而实现性能的提升

  • 引用类型 则是使用同一个堆区地址,因为其拷贝变量与原变量是共享状态

总结

作为一个开发者,有一个学习的氛围跟一个交流圈子特别重要,这是一个我的iOS开发交流群:130 595 548,不管你是小白还是大牛都欢迎入驻 ,让我们一起进步,共同发展!(群内会免费提供一些群主收藏的免费学习书籍资料以及整理好的几百道面试题和答案文档!)

  • class、struct、enum都可以遵守协议,有以下几点说明:

  • 1、多个协议之间需要使用逗号分隔

  • 2、如果class中有superClass,一般放在协议之前

  • 协议中可以添加属性,有以下两点说明:

  • 1、属性必须明确是 可读(get)/可读可写(get + set)

  • 2、属性使用var修饰

  • 协议中可以定义方法,只需要定义当前方法的名称+参数列表+返回值,其具体实现可以通过协议的extension实现,或者在遵守协议时实现

  • 协议中也可以定义初始化方法,当实现初始化器时,必须使用required关键字

  • 如果协议只能被class实现,需要协议继承自AnyObject

  • 协议也可以作为类型,有以下三种场景:

  • 1、作为函数、方法或者初始化程序中的参数类型或者返回值

  • 2、作为常量、变量或属性的类型

  • 3、作为数组、字典或其他容器中项目的类型

  • 协议的底层存储结构:24字节valueBuffer + vwt(8字节) + pwt(8字节)

  • (1)值类型 采用 copy-write

  • (2)引用类型 则是使用同一个堆区地址

  • 1、前24个字节,官方称为Value Buffer,主要用于存储遵循了协议的class/struct的属性值

  • 2、如果超过Value Buffer最大容量

  • 3、后16个字节分别用于存储 vwt(值目录表)、pwt(协议目录表)

有关iOS开发-Swift进阶之协议Protocol!的更多相关文章

  1. ruby - 使用 C 扩展开发 ruby​​gem 时,如何使用 Rspec 在本地进行测试? - 2

    我正在编写一个包含C扩展的gem。通常当我写一个gem时,我会遵循TDD的过程,我会写一个失败的规范,然后处理代码直到它通过,等等......在“ext/mygem/mygem.c”中我的C扩展和在gemspec的“扩展”中配置的有效extconf.rb,如何运行我的规范并仍然加载我的C扩展?当我更改C代码时,我需要采取哪些步骤来重新编译代码?这可能是个愚蠢的问题,但是从我的gem的开发源代码树中输入“bundleinstall”不会构建任何native扩展。当我手动运行rubyext/mygem/extconf.rb时,我确实得到了一个Makefile(在整个项目的根目录中),然后当

  2. Ruby Sinatra 配置用于生产和开发 - 2

    我已经在Sinatra上创建了应用程序,它代表了一个简单的API。我想在生产和开发上进行部署。我想在部署时选择,是开发还是生产,一些方法的逻辑应该改变,这取决于部署类型。是否有任何想法,如何完成以及解决此问题的一些示例。例子:我有代码get'/api/test'doreturn"Itisdev"end但是在部署到生产环境之后我想在运行/api/test之后看到ItisPROD如何实现? 最佳答案 根据SinatraDocumentation:EnvironmentscanbesetthroughtheRACK_ENVenvironm

  3. ruby - 如何验证 IO.copy_stream 是否成功 - 2

    这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同,而不是下载一半的损坏文件?documentation说IO.copy_stream返回它复制的字节数,但是当我还没有下

  4. ruby - 是否可以覆盖 gemfile 进行本地开发? - 2

    我们的git存储库中目前有一个Gemfile。但是,有一个gem我只在我的环境中本地使用(我的团队不使用它)。为了使用它,我必须将它添加到我们的Gemfile中,但每次我checkout到我们的master/dev主分支时,由于与跟踪的gemfile冲突,我必须删除它。我想要的是类似Gemfile.local的东西,它将继承从Gemfile导入的gems,但也允许在那里导入新的gems以供使用只有我的机器。此文件将在.gitignore中被忽略。这可能吗? 最佳答案 设置BUNDLE_GEMFILE环境变量:BUNDLE_GEMFI

  5. ruby - 在 Windows 机器上使用 Ruby 进行开发是否会适得其反? - 2

    这似乎非常适得其反,因为太多的gem会在window上破裂。我一直在处理很多mysql和ruby​​-mysqlgem问题(gem本身发生段错误,一个名为UnixSocket的类显然在Windows机器上不能正常工作,等等)。我只是在浪费时间吗?我应该转向不同的脚本语言吗? 最佳答案 我在Windows上使用Ruby的经验很少,但是当我开始使用Ruby时,我是在Windows上,我的总体印象是它不是Windows原生系统。因此,在主要使用Windows多年之后,开始使用Ruby促使我切换回原来的系统Unix,这次是Linux。Rub

  6. Ruby 文件 IO 定界符? - 2

    我正在尝试解析一个文本文件,该文件每行包含可变数量的单词和数字,如下所示:foo4.500bar3.001.33foobar如何读取由空格而不是换行符分隔的文件?有什么方法可以设置File("file.txt").foreach方法以使用空格而不是换行符作为分隔符? 最佳答案 接受的答案将slurp文件,这可能是大文本文件的问题。更好的解决方案是IO.foreach.它是惯用的,将按字符流式传输文件:File.foreach(filename,""){|string|putsstring}包含“thisisanexample”结果的

  7. ruby-on-rails - 在 Rails 开发环境中为 .ogv 文件设置 Mime 类型 - 2

    我正在玩HTML5视频并且在ERB中有以下片段:mp4视频从在我的开发环境中运行的服务器很好地流式传输到chrome。然而firefox显示带有海报图像的视频播放器,但带有一个大X。问题似乎是mongrel不确定ogv扩展的mime类型,并且只返回text/plain,如curl所示:$curl-Ihttp://0.0.0.0:3000/pr6.ogvHTTP/1.1200OKConnection:closeDate:Mon,19Apr201012:33:50GMTLast-Modified:Sun,18Apr201012:46:07GMTContent-Type:text/plain

  8. 世界前沿3D开发引擎HOOPS全面讲解——集3D数据读取、3D图形渲染、3D数据发布于一体的全新3D应用开发工具 - 2

    无论您是想搭建桌面端、WEB端或者移动端APP应用,HOOPSPlatform组件都可以为您提供弹性的3D集成架构,同时,由工业领域3D技术专家组成的HOOPS技术团队也能为您提供技术支持服务。如果您的客户期望有一种在多个平台(桌面/WEB/APP,而且某些客户端是“瘦”客户端)快速、方便地将数据接入到3D应用系统的解决方案,并且当访问数据时,在各个平台上的性能和用户体验保持一致,HOOPSPlatform将帮助您完成。利用HOOPSPlatform,您可以开发在任何环境下的3D基础应用架构。HOOPSPlatform可以帮您打造3D创新型产品,HOOPSSDK包含的技术有:快速且准确的CAD

  9. 【鸿蒙应用开发系列】- 获取系统设备信息以及版本API兼容调用方式 - 2

    在应用开发中,有时候我们需要获取系统的设备信息,用于数据上报和行为分析。那在鸿蒙系统中,我们应该怎么去获取设备的系统信息呢,比如说获取手机的系统版本号、手机的制造商、手机型号等数据。1、获取方式这里分为两种情况,一种是设备信息的获取,一种是系统信息的获取。1.1、获取设备信息获取设备信息,鸿蒙的SDK包为我们提供了DeviceInfo类,通过该类的一些静态方法,可以获取设备信息,DeviceInfo类的包路径为:ohos.system.DeviceInfo.具体的方法如下:ModifierandTypeMethodDescriptionstatic StringgetAbiList​()Obt

  10. Get https://registry-1.docker.io/v2/: net/http: request canceled while waiting - 2

    1.错误信息:Errorresponsefromdaemon:Gethttps://registry-1.docker.io/v2/:net/http:requestcanceledwhilewaitingforconnection(Client.Timeoutexceededwhileawaitingheaders)或者:Errorresponsefromdaemon:Gethttps://registry-1.docker.io/v2/:net/http:TLShandshaketimeout2.报错原因:docker使用的镜像网址默认为国外,下载容易超时,需要修改成国内镜像地址(首先阿里

随机推荐