iOS Swift 运行时如何工作

Question

在ObjC中，使用Messaging、static binding、dynamic typing、dynamic binding、dynamic method resolution、dynamic loading、introspector等。

重要的是，核心方法 objc_msgSend 负责获取您要发送的选择器和您要发送到的对象，并在类方法表中查找它们以准确确定应该使用哪段代码处理它。

我担心的是：

1. Swift 是否在运行时执行类似于 ObjC 的操作？

2. Swift runtime 如何找到某个对象/类方法的实现代码？

3. 在ObjC、classes 和objects 在运行时编译为一些runtime types，例如C struct。那么classes 和objects 在运行时在Swift 中编译成什么？

4. Swift runtime 有类似class / meta class / isa pointer / super pointer 的东西吗？

Answer 1

简而言之，方法调用分派有动态和静态类型。

1. 静态 - 要调用的函数地址在编译时确定，因此此类调用的费用类似于 C 函数调用。此机制用于private 方法或final 类方法调用调度。

2. 动态调度是一种机制，它允许实现 OOP 的多态概念——要调用的函数地址是在运行时确定的。 Swift 有它的两个子类型：

   2.1。 Obj-C - 你已经在问题中描述过。当对象继承自 NSObject 或调用方法有@objc 前缀时使用此机制。

   2.2。基于虚拟表（如在 C++ 中） - 有类似的见证表。它在方法调用调度期间所做的只是单个算术运算 - 根据基类见证表中的函数偏移量和对象类见证表位置计算实际函数地址。所以与 Obj-C 相比，这是一个相对便宜的操作。它解释了为什么“纯”Swift 接近于 C++ 性能。

如果你没有用private 关键字标记你的方法，或者你的类不是final，同时你的类是“纯”Swift（它不继承NSObject），那么就会使用这种基于虚拟表的机制。这意味着默认情况下所有方法都是virtual。

附： 证明我对“类型”的看法的有用链接：

https://developer.apple.com/swift/blog/?id=27

“子类型”的解释是基于我的理解。