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 能够在保持高效的同时,实现灵活的协议调用和类型检查。

相关推荐
张较瘦_1 小时前
[论文阅读] 人工智能 + 软件工程 | 大模型破局跨平台测试!LLMRR让iOS/安卓/鸿蒙脚本无缝迁移
论文阅读·人工智能·ios
m0_6410310510 小时前
在选择iOS代签服务前,你必须了解的三大安全风险
ios
开开心心loky12 小时前
[iOS] push 和 present Controller 的区别
ui·ios·objective-c·cocoa
大熊猫侯佩12 小时前
10 个 Xcode 神技:哥谭开发者必学的 IDE 对抗术
xcode·swift·apple
HarderCoder13 小时前
Swift Package Command Plugin 实战:一键生成 Package 元数据
swift
白玉cfc17 小时前
【iOS】push,pop和present,dismiss
macos·ios·cocoa
低调小一18 小时前
Swift 语法学习指南 - 与 Kotlin 对比
微信·kotlin·swift
HarderCoder18 小时前
Swift Package Plugin 深度实战:从原理到落地,自动生成字体枚举
swift
低调小一18 小时前
iOS 开发入门指南-HelloWorld
ios
2501_9159184118 小时前
iOS 开发全流程实战 基于 uni-app 的 iOS 应用开发、打包、测试与上架流程详解
android·ios·小程序·https·uni-app·iphone·webview