谈谈Objective-C的Runtime机制

1. 什么是Runtime机制

     Runtime[1]是一套比较底层的C语言库, 由一系列函数和数据结构组成,包含了很多底层的C语言API。它主要是完成了Objective-C (OC)运行时的两件事:类的封装和消息传递。

     本文从1. 类的封装管理 2.消息传递 总结在我学习中对Runtime的认识,随后总结我所能理解到的Runtime机制的优劣。

2. 类的封装

     由于Runtime主要是用C语言来实现,因此可以看到Runtime.h中,大量使用了struct来描述对象和类,而也使用了许多方法来封装函数和结构体,这使得OC在运行中具有了面向对象的特性。

     首先,OC的实例(Instance),类(Class)以及相对应元类(metaClass)的继承体系如图


    类的实例通过isa指针指向这个实例的Class,这个对象的Class中的isa指针则指向这个类的metaClass。当我们向一个实例发送消息,runtime会在这个实例isa指向的Class方法列表中查找方法;而向一个类发送消息时,会在该类的metaClass的方法列表中进行查找。

     在这个继承体系的实现中,Runtime通过大量以class_,objc_为前缀的方法(例如下面的两个方法)来封装结构体和函数。使得使用者可以直接操作Class,添加方法,协议等,也可以操作成员变量和属性。

    在此基础上,Runtime所实现最强大的功能是支持在程序运行的时候创建和修改类,实例操作函数[2]和运行时创建关联对象(Associated Object)。 例如:当我们想为Category增加成员变量时,可以利用以下两个函数,在运行时动态地增加成员变量:

    void objc_setAssociatedObject(id object, const void *key, id value, objc_AssociationPolicy policy)

    id objc_getAssociatedObject(id object, const void *key)

3. 消息传递

     OC除了具有静态语言的特征之外,也具有动态语言的特性:动态类型(Dynamic typing),动态绑定(Dynamic binding)和动态加载(Dynamic loading)。Runtime机制使得这三个特性得以实现,让程序可以在运行时才判断其该有的行为,而不是像静态语言一样在编译时就确定了行为。

     一个OC程序在运行时,除了在上文第2部分提到的,还主要在以下两个场景中运用了Runtime机制:结合动态绑定的类实现,结合动态类型的NSObject方法。三个方面互有关联,也有不同,流程如下:

3.1 结合动态绑定的类实现

首先,一个OC程序在调用一个方法时的流程如下:   

发送消息 -> 动态方法决议机制 -> 消息转发

步骤一: 发送消息(Message):若成功则调用方法,若失败且实现了动态方法决议机制则进入步骤二

步骤二:动态方法决议机制(Dynamic Method Resolution): 若成功则调用方法,若失败且实现了消息转发机制则进入Step 3

步骤三:消息转发(Messaging Forwarding): 如提供了消息转发,则不会有错误提示。不提供则报错

三个步骤执行是有先后顺序且不相关。下面通过顺序分析三个步骤来解释Runtime在其中的应用:

3.1.1 三个步骤完成调用方法

Step 1: 消息传递(Message)

     OC程序运行时依赖消息传递来实现动态绑定的方法调用:当我们需要调用一个实例的方法,程序所做的是在运行时才确定向某个类的receiver发送消息,receiver在收到消息后,从自身的实现中通过@selector/SEL去寻找响应这条消息对应的IMP。

    //默认带有两个隐形的参数 ,若有参数则为objc_msgSend(receiver, selector, arg1, ...)

     [receiver messasge] -> objc_msgSend(receiver, selector)

     在上面的转化中,objc_msgSend会通过receiver的isa指针找到receiver对应的类,再在该类或该类的父类(沿着继承体系继续向上查找,如图3.1)中的struct objc_cache *cache 和 struct objc_method_list ** methodLists寻找到所需方法。[3]

    在objc_msgSend函数中。首先通过obj的isa指针找到obj对应的class。在Class中先去cache中 通过SEL查找对应函数method(猜测cache中method列表是以SEL为key通过hash表来存储的,这样能提高函数查找速度)

    若 cache中未找到。再去methodList中查找,若methodlist中未找到,则取superClass中查找。若能找到,则将method加 入到cache中,以方便下次查找,并通过method中的函数指针跳转到对应的函数中去执行。


Step 2: 动态方法决议机制(Dynamic Method Resolution)

     这个机制是在当在子类到父类都寻找不到对应的方法时,让我们能够在运行时动态地为一个selector提供实现。依赖NSObject.h中的如下方法为类或实例增加新的类方法或实例方法。

    + (BOOL)resolveClassMethod:(SEL)sel __OSX_AVAILABLE_STARTING(__MAC_10_5, __IPHONE_2_0);

    + (BOOL)resolveInstanceMethod:(SEL)sel __OSX_AVAILABLE_STARTING(__MAC_10_5, __IPHONE_2_0);

Step 3: 消息转发(Messaging Forwarding)

     Runtime会把消息有关的全部细节都封装到NSInvocation对象中,再给receiver最后一次机会,令其设法解决当前还未处理的这条消息。

     Runtime会通过回调一个类方法来寻求动态添加方法的支持。如果receiver仍然无法正常响应,则Runtime会继续向receiver询问是否有其它对象可以处理这条消息,若返回能够处理的对象,Runtime会把消息转给返回的对象,消息转发流程也就结束。


3.1.2 利用Method Implementations(IMP)直接调用方法实现

     之前在3.1.1中提到了消息传递过程中通过@selector/SEL去查找消息对应的IMP。而我们也可以通过IMP省去Runtime消息传递过程中的查找操作。

     先看看Runtime.h中可以看到关于一个方法的结构定义如下,这个结构实际上完成了SEL和对应IMP的一个映射

     struct objc_method {

        SEL method_name                                          OBJC2_UNAVAILABLE;

        char *method_types                                      OBJC2_UNAVAILABLE;

        IMP method_imp                                          OBJC2_UNAVAILABLE;

    }

    method_types:char指针,存储着方法的参数类型和返回值类型。

     SEL:一个Int类型的一个地址,地址中存放着方法的名字,它仅仅和方法名相关。因此不同类中可能存在拥有相同SEL的方法。工程中所有的SEL形成了一个Set。我的理解这个Set的存在是为了提高方法的查询速度。

     IMP:它本质可以说是一个函数指针,即方法代码的入口点,定义如下:

     id (*IMP)(id, SEL, ...)

    因此IMP也可以在当一个消息要被发送给某个对象很多次的时候直接调用(例如下例在for循环中调用多次setFill:,直接使用NSObject类中的methodForSelector:可以获得一个指向方法实现的指针来进行优化)。 这样省去了Runtime消息传递时的查找操作,会比直接向对象发送消息高效一些。

3.2 结合动态类型的NSObject方法

     由于大部分的对象都是由NSObject继承而来。因此也继承了了NSObject的属性和内存分配方法(如下),这些方法均用于在运行时取得信息的方法。

 - (BOOL)isKindOfClass:(Class)aClass;

  - (BOOL)isMemberOfClass:(Class)aClass;

 - (BOOL)conformsToProtocol:(Protocol *)aProtocol;

动态特性的灵活使得id类型在Protocol-Delegate的实现中也大量被使用,主要是把delegate指针类型定义为id,从而使得运行时实现动态替换。

4. Runtime的应用

借用 https://www.jianshu.com/p/ab966e8a82e2 的图

4.1 动态添加一个类(KVO的能够实现也依赖于这个特性)

4.2 字典转模型 & 自动归档解档 

4.3 动态交换类方法/对象方法/系统方法

5. Runtime机制的优劣

优点:更加灵活。

     Runtime环境注册所有全局的类,函数,变量等等信息等等,我们可以无限的为这个层增加必要的功能,写代码时更具灵活性。调用函数时候,会先从这个运行时环境里检测所以所有的可能,而并不是JMP到一个非法地址就一定会Crash。这就极大增加了程序的灵活性。

缺点:增加损耗。

     很显然Runtime的机制带来了CPU计算的损耗。而也可以看出Runtime机制为了提高效率也设计了SEL, objc_cache *cache来缓存使用过的selector及对应的方法的地址等方法,从而提高效率。

5. Reference

[1] AppleRuntime Guide

[2] Objective-C Runtime 运行时之一:类与对象

[3] Objective-C总Runtime的那点事儿

[4] 深入学习Objective-C语言的动态特性:

[5] Understanding the Objective-C Runtime

[6] 刨根问题Objective-C Runtime

[7] Objective-C 与 Runtime:为什么是这样?

https://www.jianshu.com/p/ab966e8a82e2

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

推荐阅读更多精彩内容

  • 转至元数据结尾创建: 董潇伟,最新修改于: 十二月 23, 2016 转至元数据起始第一章:isa和Class一....
    40c0490e5268阅读 1,625评论 0 9
  • 我们常常会听说 Objective-C 是一门动态语言,那么这个「动态」表现在哪呢?我想最主要的表现就是 Obje...
    Ethan_Struggle阅读 2,101评论 0 7
  • 转载:http://yulingtianxia.com/blog/2014/11/05/objective-c-r...
    F麦子阅读 690评论 0 2
  • 本文详细整理了 Cocoa 的 Runtime 系统的知识,它使得 Objective-C 如虎添翼,具备了灵活的...
    lylaut阅读 769评论 0 4
  • 文中的实验代码我放在了这个项目中。 以下内容是我通过整理[这篇博客] (http://yulingtianxia....
    茗涙阅读 871评论 0 6