Witness Table 的由来

"Witness Table" 是 Swift 中的一个术语,源于编译原理和类型系统的概念。它被用来表示一种机制,通过这个机制,编译器可以确保某个类型确实实现了它声明遵循的协议中的所有方法和属性。下面是对这个术语的详细解释:

1. 术语来源

"Witness"

  • 在英语中,"witness" 意为见证或证人。在编译器和类型系统中,"witness" 表示某种形式的证明或证据,证明某个类型确实遵循了特定的协议。

"Table"

  • 表示一种数据结构,用于存储和查找信息。在这里,"table" 用来存储某个类型对协议中各个方法和属性的具体实现。

2. Witness Table 的作用

证明类型实现了协议

  • Witness Table 是编译器生成的一个数据结构,其中包含了某个类型对其所遵循协议的所有方法和属性的具体实现。这就像是一个"证人",证明这个类型确实实现了协议的所有要求。

支持动态分派

  • 在运行时,当通过协议类型调用方法时,Swift 使用 Witness Table 查找具体的实现。这种机制支持协议的动态分派,使得编译时的类型检查和运行时的类型实现得以结合。

3. 工作原理

协议定义:
swift 复制代码
protocol MyProtocol {
    func doSomething()
}
类型遵循协议:
swift 复制代码
class MyClass: MyProtocol {
    func doSomething() {
        print("MyClass implementation of doSomething")
    }
}

编译器在编译 MyClass 时,会生成一个 Witness Table,其中记录了 MyClassMyProtocol 中所有方法的实现地址。

动态分派:
swift 复制代码
let object: MyProtocol = MyClass()
object.doSomething()

在运行时,object.doSomething() 调用会通过 Witness Table 找到 MyClassdoSomething() 实现并执行。

4. 示例解释

为了更好地理解 Witness Table 的作用,我们可以将其与虚表(V-Table)进行对比:

虚表(V-Table)

  • 用于类的继承和多态。
  • 每个类都有一个虚表,存储该类及其继承链中的虚方法指针。

Witness Table

  • 用于协议的动态分派。
  • 每个遵循协议的类型都有一个 Witness Table,存储该类型对协议中方法和属性的具体实现。

5. 名称背后的逻辑

"Witness"

  • 每个条目都是对协议实现的证明,就像证人提供的证词,确保类型满足协议的契约。

"Table"

  • 用于存储和快速查找信息,确保在运行时可以高效地找到类型对协议方法的实现。

总结

Witness Table 是 Swift 编译器生成的数据结构,用于确保类型实现了其遵循的协议,并支持协议的动态分派。名称中的 "Witness" 表示对协议实现的证明,而 "Table" 表示这种证明的组织结构。通过 Witness Table,Swift 能够在保持高效的同时,实现灵活的协议调用和类型检查。

相关推荐
努力成为包租婆6 小时前
iOS18 MSSBrowse闪退
ios·objective-c
画个大饼9 小时前
Swift:什么是Optional?其背后的机制是什么?什么是Unconditional Unwrapping?
开发语言·ios·swift
鸿蒙布道师13 小时前
鸿蒙NEXT开发正则工具类RegexUtil(ArkTs)
android·ios·华为·harmonyos·arkts·鸿蒙系统·huawei
二流小码农15 小时前
鸿蒙开发:如何更新对象数组
android·ios·harmonyos
GeniuswongAir16 小时前
苹果新规生效:即日起不再接受iOS 17 SDK编译的应用提交
ios
东坡肘子1 天前
Chrome 会成为 OpenAI 的下一个目标?| 肘子的 Swift 周报 #081
人工智能·swiftui·swift
恋猫de小郭1 天前
腾讯 Kuikly 正式开源,了解一下这个基于 Kotlin 的全平台框架
android·前端·ios
超人强2 天前
一文搞定App启动流程、时间监测、优化措施
ios
一牛2 天前
Appkit: 菜单是如何工作的
macos·ios·objective-c