【swift的派发机制】_代码007(未授权)

本文介绍: swift的派发机制三种派发方式直接派发 (Di rect Di s patch)函数表派发 (Ta ble Di s patch )消息机制派发 (Me ssa g e Di s pat ch )Swi ft 的派发机制指定派发方式 (Sp e cifyin g Di s pat ch Be h av io r)三种派发方式编译型语言有三种基础的函数派发方式: 直接派发(Di rect Dis pat ch), 函数表派发(Ta ble Dis pat ch) 和消息机制派发(Me ssa ge Dispat ch), 下面我会仔细讲解这几种方式. 大多数语言都

编译型语言有三种基础的函数派发方式: 直接派发(Direct Disp a t ch), 函数表派发(Ta ble Disp a t ch) 和消息机制派发(Messa ge Disp a t ch), 下面我会仔细讲解这几种方式. 大多数语言都会支持一到两种, Jav a 默认使用函数表派发, 但你可以通过 final 修饰符修改成直接派发. C++ 默认使用直接派发, 但可以通过加上 virtual 修饰符来改成函数表派发. 而 Objec tive-C 则总是使用消息机制派发, 但允许开发者使用 C 直接派发来获取性能的提高。

直接派发是最快的, 不止是因为需要调用的指令集会更少, 并且编译器还能够有很大的优化空间, 例如函数内联等，然而, 对于编程来说直接调用也是最大的局限, 而且因为缺乏动态性所以没办法支持继承.直接派发也有人称为静态调用。

函数表派发是编译型语言实现动态行为最常见的实现方式. 函数表使用了一个数组来存储类声明的每一个函数的指针. 大部分语言把这个称为 “virtual table”(虚函数表), Swift 里称为 “witness table”. 每一个类都会维护一个函数表, 里面记录着类所有的函数, 如果父类函数被 override 的话, 表里面只会保存被 override 之后的函数. 一个子类新添加的函数, 都会被插入到这个数组的最后. 运行时会根据这一个表去决定实际要被调用的函数.
看看下面两个类:

class ParentClass {
    func method1() {}
    func method2() {}
}
class ChildClass: ParentClass {
    override func method2() {}
    func method3() {}
}

在这个情况下, 编译器会创建两个函数表, 一个是 ParentClass 的, 另一个是 ChildClass的:
在这里插入图片描述
这张表展示了 ParentClass 和 ChildClass 虚数表里 method1, method2, method3 在内存里的布局.

let obj = ChildClass()
obj.method2()

当一个函数被调用时, 会经历下面的几个过程:

class ParentClass {
    dynamic func method1() {}
    dynamic func method2() {}
}
class ChildClass: ParentClass {
    override func method2() {}
    dynamic func method3() {}
}