iOS函数派发机制

函数派发是编程语言中管理函数调用的过程,关于函数派发机制大概可以分成以下几种

  • 静态派发 Static Dispatch
  • 函数表派发 V-Table Dispatch
  • 消息派发 Message Dispatch

静态派发 Static Dispatch

静态派发显然是速度最快的,不单单是因为需要调用的指令集会更少,而且编译器还能够有很大的优化空间。

值类型的函数是静态派发,而引用类型的函数需要static和final来标识为静态派发。

一个函数如果不能被重写,它将被静态派发,因为该类型的函数不能被重写,所以这个函数只有一个函数实现,在需要使用时,只要直接跳转到这个存储函数实体的内存地址执行就行了。

函数表派发 V-Table Dispatch

引用类型默认使用这种派发方式,之所以使用这种方式是因为类需要支持继承。函数表通过生成对重写方法和非重写方法的正确调用来帮助继承类。

函数表派发就是通过函数表来查找相应的函数地址。每个类在创建时都会创建一个函数表,用来记录函数的指针。同时子类在创建时也会创建一个函数表,如果函数是override的,则使用一个新的指针,用于区分父类中相同函数的指针。如果这个函数是父类中有且没被override的,则存储的就是原先的指针。

class ParentClass {
    func method1() {}
    func method2() {}
}
class ChildClass: ParentClass {
    override func method2() {}
    func method3() {}
}
image.png
let obj = ChildClass()
obj.method2()

函数调用过程:

  • 读取对象 0xB00 的函数表
  • 读取函数指针的索引. 在这里, method2 的索引是1(偏移量), 也就是 0xB00 + 1
  • 跳到 0x222 (函数指针指向 0x222)

消息派发 Message Dispatch

Runtime

OC是一种动态语言,主要用的就是消息派发机制,OC拥有的Runtime可以做很多操作,比如

  • 使用isMemberOfClass检查实例对象是否属于特定类型的类。或者如果想检查实例对象是否属于其继承层次结构中的特定类,可以使用isKindOfClass.
  • 检查类是否可以调用某个函数 respondsToSelector
  • 在运行时通过swizzling修改函数的实现,也可以通过isa-swizzling修改对象。
  • 使用在运行时添加方法实现class_addMethod

OC调用函数

Person *p = Person.new;
[p sayHello];

其实本质上调用了:

((void (*)(id,SEL))objc_msgSend)(p,@selector(sayHello));

简单说一下这个函数干了啥:

  1. 先判断实例对象是否为空
  2. 去函数缓存表里找这个函数,找到执行
  3. 缓存表里没有就去类本身的函数列表里找,找到执行并将函数加入函数缓存表
  4. 类本身也没找到,去父类的函数列表里找,找到执行并将函数加入函数缓存表,未找到再去父类的父类里找,直到根类NSObject
  5. 如果都没找到,进行三次转发,如果消息被处理结束流程,没被处理App crash

现在我们知道了OC依托Runtime是一种非常灵活的动态语言,并且可以在运行时更改方法实现、添加方法实现等。

dynamic和@objc

Swift本身是没有Runtime的,但是Swift可以利dynamic和@objc关键字用嫁接到OC去使用Runtime。

  • dynamic 将函数开启动态性(例如,在方法调配或 KVO 相关代码中使用)
  • @objc 将该函数公开给OC。

在 Swift 中,需要用作selector对象的方法必须用声明@objc,因为target-action的机制仍然是用OC编写的,所以这些函数需要暴露给OC使用。

顺便一提iOS的各个热修方案也是依靠这种动态性,如JSPatch。

JSPatch

JSPatch是早期用于iOS平台上的轻量级热修框架,主要利用OC动态语言的特性,将js文件内的js代码以字符串的形式传递给OC,OC 通过 Runtime 接口调用和替换 OC 函数,这是最基础的原理。如下图示:

image.png

最后

最后总结一下
1.如果不需要多态,静态派发。
2.如果需要覆写,函数表派发。
3.如果需要对Objective-C可见和动态性,消息派发。

最后的最后简单举个例子

protocol Noisy {
     func makeNoise() -> Int  //函数表派发
}

extension Noisy {
    func makeNoise() -> Int { return 0 }  //函数表派发
    func isAnnoying() -> Bool { return true}  //直接派发
}

class Animal: Noisy {
    func makeNoise() -> Int { return 1 } //函数表派发
    func isAnnoying() -> Bool { return false } //函数表派发
    @objc func sleep() {} //消息派发
}

extension Animal {
    func eat() {} //静态派发 extension内的函数不能被继承
    @objc func getWild() {} //消息派发
}

struct rectangle {
    func getArea() { } //静态派发
}
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 204,530评论 6 478
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 86,403评论 2 381
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 151,120评论 0 337
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,770评论 1 277
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,758评论 5 367
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,649评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,021评论 3 398
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,675评论 0 258
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,931评论 1 299
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,659评论 2 321
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,751评论 1 330
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,410评论 4 321
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,004评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,969评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,203评论 1 260
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 45,042评论 2 350
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,493评论 2 343

推荐阅读更多精彩内容

  • 函数派发方式 能够在编译期确定执行方法的方式叫做静态分派 Static dispatch,无法在编译期确定,只能在...
    文博同学阅读 950评论 0 1
  • 原文:Method Dispatch in Swift作者:Brian King 派发机制是程序判断如何去调用函数...
    Rimson阅读 943评论 0 1
  • 原文地址:Static vs Dynamic Dispatch in Swift: A decisive choi...
    深山问阅读 4,770评论 1 17
  • Swift派发分:静态派发和动态派发 静态派发:(又叫:直接调用) 静态派发机制,同时支持值类型和引用类型;静态派...
    吕建雄阅读 1,295评论 0 4
  • 介绍 首先全面了解一下,有4种派发机制,而不是两种(静态和动态): 内联(inline) (最快) 静态派发 (S...
    6ffd6634d577阅读 7,634评论 4 126