iOS运行时(Runtime)详解+Demo

作者: 和之一 | 来源:发表于2016-05-01 13:04 被阅读18460次

    今天整理了iOS中比较难的一个模块Runtime,想要深入学习OC,那Runtime是你必须要熟练掌握的东西,接下来将会详细的说下Runtime。

    一、运行时简介

    Objective-C语言是一门动态语言,它将很多静态语言在编译和链接时期做的事放到了运行时来处理。
    对于Objective-C来说,这个运行时系统就像一个操作系统一样:它让所有的工作可以正常的运行。Runtime基本上是用C和汇编写的,这个库使得C语言有了面向对象的能力。
    在Runtime中,对象可以用C语言中的结构体表示,而方法可以用C函数来实现,另外再加上了一些额外的特性。这些结构体和函数被runtime函数封装后,让OC的面向对象编程变为可能。
    找出方法的最终执行代码:当程序执行[object doSomething]时,会向消息接收者(object)发送一条消息(doSomething),runtime会根据消息接收者是否能响应该消息而做出不同的反应。

    二、类与对象基础数据结构

    Objective-C类是由Class类型来表示的,它实际上是一个指
    向objc_class结构体的指针。

    typedef struct object_class *Class
    

    它的定义如下:
    查看objc/runtime.h中objc_class结构体的定义如下:

    struct object_class{
        Class isa OBJC_ISA_AVAILABILITY;
    #if !__OBJC2__
         Class super_class                        OBJC2_UNAVAILABLE;  // 父类
         const char *name                         OBJC2_UNAVAILABLE;  // 类名
         long version                             OBJC2_UNAVAILABLE;  // 类的版本信息,默认为0
         long info                                OBJC2_UNAVAILABLE;  // 类信息,供运行期使用的一些位标识
         long instance_size                       OBJC2_UNAVAILABLE;  // 该类的实例变量大小
         struct objc_ivar_list *ivars             OBJC2_UNAVAILABLE;  // 该类的成员变量链表
         struct objc_method_list *methodLists     OBJC2_UNAVAILABLE;  // 方法定义的链表
         struct objc_cache *cache                 OBJC2_UNAVAILABLE;  // 方法缓存
         struct objc_protocol_list *protocols     OBJC2_UNAVAILABLE;  // 协议链表
    #endif
    }OBJC2_UNAVAILABLE;
    

    说明其执行过程:
    NSArray *array = [[NSArray alloc] init];

    objc_object

    objc_object是表示一个类的实例的结构体
    它的定义如下(objc/objc.h):

    struct objc_object{
         Class isa OBJC_ISA_AVAILABILITY;
    };
    typedef struct objc_object *id;
    

    可以看到,这个结构体只有一个字体,即指向其类的isa指针。这
    样,当我们向一个Objective-C对象发送消息时,运行时库会根据
    实例对象的isa指针找到这个实例对象所属的类。Runtime库会在类
    的方法列表及父类的方法列表中去寻找与消息对应的selector指向
    的方法,找到后即运行这个方法。

    元类(Meta Class)

    meta-class是一个类对象的类。
    在上面我们提到,所有的类自身也是一个对象,我们可以向这个对象发送消息(即调用类方法)。
    既然是对象,那么它也是一个objc_object指针,它包含一个指向其类的一个isa指针。那么,这个isa指针指向什么呢?

    为了调用类方法,这个类的isa指针必须指向一个包含这些类方法的一个objc_class结构体。这就引出了meta-class的概念,meta-class中存储着一个类的所有类方法。

    所以,调用类方法的这个类对象的isa指针指向的就是meta-class
    当我们向一个对象发送消息时,runtime会在这个对象所属的这个类的方法列表中查找方法;而向一个类发送消息时,会在这个类的meta-class的方法列表中查找。

    再深入一下,meta-class也是一个类,也可以向它发送一个消息,那么它的isa又是指向什么呢?为了不让这种结构无限延伸下去,Objective-C的设计者让所有的meta-class的isa指向基类的meta-class,以此作为它们的所属类。

    即,任何NSObject继承体系下的meta-class都使用NSObject的meta-class作为自己的所属类,而基类的meta-class的isa指针是指向它自己。

    通过上面的描述,再加上对objc_class结构体中super_class指针的分析,我们就可以描绘出类及相应meta-class类的一个继承体系了,如下代码


    Snip20160501_1.png

    Category

    Category是表示一个指向分类的结构体的指针,其定义如下:

    typedef struct objc_category *Category
    struct objc_category{
         char *category_name                         OBJC2_UNAVAILABLE; // 分类名
         char *class_name                            OBJC2_UNAVAILABLE;  // 分类所属的类名
         struct objc_method_list *instance_methods   OBJC2_UNAVAILABLE;  // 实例方法列表
         struct objc_method_list *class_methods      OBJC2_UNAVAILABLE; // 类方法列表
         struct objc_protocol_list *protocols        OBJC2_UNAVAILABLE; // 分类所实现的协议列表
    }
    

    这个结构体主要包含了分类定义的实例方法与类方法,其中instance_methods列表是objc_class中方法列表的一个子集,而class_methods列表是元类方法列表的一个子集。
    可发现,类别中没有ivar成员变量指针,也就意味着:类别中不能够添加实例变量和属性

    struct objc_ivar_list *ivars             OBJC2_UNAVAILABLE;  // 该类的成员变量链表
    

    三、runtime关联对象

    我们先看看关联API,只有这三个API,使用也是非常简单的:

    1.设置关联值

    参数说明:
    object:与谁关联,通常是传self
    key:唯一键,在获取值时通过该键获取,通常是使用static
    const void *来声明
    value:关联所设置的值
    policy:内存管理策略,比如使用copy

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

    2.获取关联值

    参数说明:
    object:与谁关联,通常是传self,在设置关联时所指定的与哪个对象关联的那个对象
    key:唯一键,在设置关联时所指定的键

    id objc_getAssociatedObject(id object, const void *key)
    

    3.取消关联

    void objc_removeAssociatedObjects(id object)
    

    关联策略

    使用场景:
    可以在类别中添加属性

    typedef OBJC_ENUM(uintptr_t, objc_AssociationPolicy){
    OBJC_ASSOCIATION_ASSIGN = 0,             // 表示弱引用关联,通常是基本数据类型
    OBJC_ASSOCIATION_RETAIN_NONATOMIC = 1,   // 表示强引用关联对象,是线程安全的
    OBJC_ASSOCIATION_COPY_NONATOMIC = 3,     // 表示关联对象copy,是线程安全的
    OBJC_ASSOCIATION_RETAIN = 01401,         // 表示强引用关联对象,不是线程安全的
    OBJC_ASSOCIATION_COPY = 01403            // 表示关联对象copy,不是线程安全的
    };
    

    四、方法与消息

    1、SEL

    SEL又叫选择器,是表示一个方法的selector的指针,其定义如下:

    typedef struct objc_selector *SEL;
    

    方法的selector用于表示运行时方法的名字。Objective-C在编译时,会依据每一个方法的名字、参数序列,生成一个唯一的整型标识(Int类型的地址),这个标识就是SEL。
    两个类之间,只要方法名相同,那么方法的SEL就是一样的,每一个方法都对应着一个SEL。所以在Objective-C同一个类(及类的继承体系)中,不能存在2个同名的方法,即使参数类型不同也不行
    如在某一个类中定义以下两个方法: 错误

    - (void)setWidth:(int)width;
    - (void)setWidth:(double)width;
    

    当然,不同的类可以拥有相同的selector,这个没有问题。不同类的实例对象执行相同的selector时,会在各自的方法列表中去根据selector去寻找自己对应的IMP。
    工程中的所有的SEL组成一个Set集合,如果我们想到这个方法集合中查找某个方法时,只需要去找到这个方法对应的SEL就行了,SEL实际上就是根据方法名hash化了的一个字符串,而对于字符串的比较仅仅需要比较他们的地址就可以了,可以说速度上无语伦比!
    本质上,SEL只是一个指向方法的指针(准确的说,只是一个根据方法名hash化了的KEY值,能唯一代表一个方法),它的存在只是为了加快方法的查询速度。
    通过下面三种方法可以获取SEL:
    a、sel_registerName函数
    b、Objective-C编译器提供的@selector()
    c、NSSelectorFromString()方法

    2、IMP

    IMP实际上是一个函数指针,指向方法实现的地址。
    其定义如下:

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

    第一个参数:是指向self的指针(如果是实例方法,则是类实例的内存地址;如果是类方法,则是指向元类的指针)
    第二个参数:是方法选择器(selector)
    接下来的参数:方法的参数列表。

    前面介绍过的SEL就是为了查找方法的最终实现IMP的。由于每个方法对应唯一的SEL,因此我们可以通过SEL方便快速准确地获得它所对应的IMP,查找过程将在下面讨论。取得IMP后,我们就获得了执行这个方法代码的入口点,此时,我们就可以像调用普通的C语言函数一样来使用这个函数指针了。

    3、Method

    Method用于表示类定义中的方法,则定义如下:

    typedef struct objc_method *Method
    struct objc_method{
        SEL method_name      OBJC2_UNAVAILABLE; // 方法名
        char *method_types   OBJC2_UNAVAILABLE;
        IMP method_imp       OBJC2_UNAVAILABLE; // 方法实现
    }
    

    我们可以看到该结构体中包含一个SEL和IMP,实际上相当于在SEL和IMP之间作了一个映射。有了SEL,我们便可以找到对应的IMP,从而调用方法的实现代码。

    4、方法调用流程

    Snip20160501_2.png

    在Objective-C中,消息直到运行时才绑定到方法实现上。编译器会将消息表达式[receiver message]转化为一个消息函数的调用,即objc_msgSend。这个函数将消息接收者和方法名作为其基础参数,如以下所示

    objc_msgSend(receiver, selector)
    

    如果消息中还有其它参数,则该方法的形式如下所示:

    objc_msgSend(receiver, selector, arg1, arg2,...)
    

    这个函数完成了动态绑定的所有事情:

    a、首先它找到selector对应的方法实现。因为同一个方法可
    能在不同的类中有不同的实现,所以我们需要依赖于接收者的类
    来找到的确切的实现。
    b、调用方法实现,并将接收者对象及方法的所有参数传给它。
    c、最后,它将实现返回的值作为它自己的返回值。

    消息的关键在于我们前面章节讨论过的结构体objc_class,这个结构体有两个字段是我们在分发消息的关注的:
    -> 指向父类的指针
    -> 个类的方法分发表,即methodLists。
    当我们创建一个新对象时,先为其分配内存,并初始化其成员变量。其中isa指针也会被初始化,让对象可以访问类及类的继承体系。

    下图演示了这样一个消息的基本框架:
    当消息发送给一个对象时首先从运行时系统缓存使用过的方法中寻找。
    如果找到,执行该方法,如未找到继续执行下面的步骤

    objc_msgSend通过对象的isa指针获取到类的结构体,然后在方法分发表里面查找方法的selector。
    如果没有找到selector,objc_msgSend结构体中的指向父类的指针找到其父类,并在父类的分发表里面查找方法的selector。
    依此,会一直沿着类的继承体系到达NSObject类。一旦定位到selector,函数会就获取到了实现的入口点,并传入相应的参数来执行方法的具体实现,并将该方法添加进入缓存中如果最后没有定位到selector,则会走消息转发流程,这个我们在后面讨论。

    5、消息转发

    当一个对象能接收一个消息时,就会走正常的方法调用流程。但如果一个对象无法接收指定消息时,又会发生什么事呢?默认情况下,如果是以[object message]的方式调用方法,如果object无法响应message消息时,编译器会报错。但如果是以perform…的形式来调用,则需要等到运行时才能确定object是否能接收message消息。如果不能,则程序崩溃。

    Snip20160501_3.png

    通常,当我们不能确定一个对象是否能接收某个消息时,会先调用respondsToSelector:来判断一下。如下代码所示:

    if([self respondsToSelector:@selector(method)]){
          [self performSelector:@selector(method)];
    }
    

    不过,我们这边想讨论下不使用respondsToSelector:判断的情况。这才是我们这一节的重点。

    当一个对象无法接收某一消息时,就会启动所谓“消息转发(message forwarding)”机制,通过这一机制,我们可以告诉对象如何处理未知的消息。默认情况下,对象接收到未知的消息,会导致程序崩溃,通过控制台,我们可以看到以下异常信息:

    这段异常信息实际上是由NSObject的“doesNotRecognizeSelector”方法抛出的。不过,我们可以采取一些措施,让我们的程序执行特定的逻辑,而避免程序的崩溃。

    消息转发机制基本上分为三个步骤:

    1>、动态方法解析
    2>、备用接收者
    3>、完整转发
    消息的转发流程图:


    Snip20160501_5.png

    动态方法解析

    对象在接收到未知的消息时,首先会调用所属类的类方法
    +resolveInstanceMethod:(实例方法)或者
    +resolveClassMethod:(类方法)。

    在这个方法中,我们有机会为该未知消息新增一个“处理方法”,通过运行时class_addMethod函数动态添加到类里面就可以了。

    这种方案更多的是为了实现@dynamic属性。

    备用接收者

    - (id)forwardingTargetForSelector:(SEL)aSelector
    

    如果在上一步无法处理消息,则Runtime会继续调以下方法:
    如果一个对象实现了这个方法,并返回一个非nil的结果,则这个对象会作为消息的新接收者,且消息会被分发到这个对象。当然这个对象不能是self自身,否则就是出现无限循环。当然,如果我们没有指定相应的对象来处理aSelector,则应该调用父类的实现来返回结果。

    这一步合适于我们只想将消息转发到另一个能处理该消息的对象上。但这一步无法对消息进行处理,如操作消息的参数和返回值。

    完整消息转发

    如果在上一步还不能处理未知消息,则唯一能做的就是启用完整的消息转发机制了。
    我们首先要通过,指定方法签名,若返回nil,则表示不处理。
    如下代码:

    - (NSMethodSignature *)methodSignatureForSelector:(SEL)aSelector
    {
       if ([NSStringFromSelector(aSelector) isEqualToString:@"testInstanceMethod"]){
         return [NSMethodSignature signatureWithObjcTypes:"v@:"];
      }  
    return [super methodSignatureForSelector: aSelector];
    }
    

    若返回方法签名,则会进入下一步调用以下方法,对象会创建一个表示消息的NSInvocation对象,把与尚未处理的消息有关的全部细节都封装在anInvocation中,包括selector,目标(target)和参数。
    我们可以在forwardInvocation方法中选择将消息转发给其它对象。我们可以通过anInvocation对象做很多处理,比如修改实现方法,修改响应对象等.
    如下所示:

    - (void)forwardInvovation:(NSInvocation)anInvocation
    {
        [anInvocation invokeWithTarget:_helper];
        [anInvocation setSelector:@selector(run)];
        [anInvocation invokeWithTarget:self];
    }
    

    五、Method Swizzling

    1.Swizzling原理

    在Objective-C中调用一个方法,其实是向一个对象发送消息,而查找消息的唯一依据是selector的名字。所以,我们可以利用Objective-C的runtime机制,实现在运行时交换selector对应的方法实现以达到我们的目的。

    每个类都有一个方法列表,存放着selector的名字和方法实现的映射关系。IMP有点类似函数指针,指向具体的Method实现

    我们先看看SEL与IMP之间的关系图:


    Snip20160501_6.png

    从上图可以看出来,每一个SEL与一个IMP一一对应,正常情况下通过SEL可以查找到对应消息的IMP实现。

    但是,现在我们要做的就是把链接线解开,然后连到我们自定义的函数的IMP上。当然,交换了两个SEL的IMP,还是可以再次交换回来了。交换后变成这样的,如下图


    Snip20160501_7.png

    从图中可以看出,我们通过swizzling特性,将selectorC的方法实现IMPc与selectorN的方法实现IMPn交换了,当我们调用selectorC,也就是给对象发送selectorC消息时,所查找到的对应的方法实现就是IMPn而不是IMPc了。

    Demo:https://github.com/TheYiOS/-

    公众号可关注:宇杰笔记

    相关文章

      网友评论

      • 小白谈理财:struct objc_method_list * _Nullable * _Nullable methodLists OBJC2_UNAVAILABLE;
      • lanmoyingsheng:每读一次,都有新的收获。
        和之一:加油
      • 爱在夏天13:文章写的很有条理,赞一个
        和之一:谢谢
      • 爱在夏天13:嘿嘿---demo 第一个机制,设置替换方法哪个判断写错了。是类名。
      • _Boring:当真受益匪浅啊! 后面的消息转发不太清楚,然后跑了下楼主的demo就明白了!
        非常感谢
      • 讨厌下雨的鱼:写的太好了,清晰易懂.看了这么多中,最清晰的一篇
      • 白仔_wyk:OBJC_ASSOCIATION_RETAIN_NONATOMIC = 1, // 表示强引用关联对象,是线程安全的
        OBJC_ASSOCIATION_COPY_NONATOMIC = 3, // 表示关联对象copy,是线程安全的
        OBJC_ASSOCIATION_RETAIN = 01401, // 表示强引用关联对象,不是线程安全的
        OBJC_ASSOCIATION_COPY = 01403 // 表示关联对象copy,不是线程安全的

        这一块注释是不是写反了?NONATOMIC应该是非原子的。并且 『原子性』 不等于 『线程安全』。
      • 石头大大:感谢楼主,runtime介绍好详细!
        虽然我消息的转发机制我能理解,但是大多是一知半解,知其然而不知所以然。我是缺少相关的知识。我想补习一下,是需要《编译原理》和《汇编》的只是吗?还是其它方面的知识?请帮忙推荐几本书,这样能了解的更深入!
        谢谢楼主
        和之一:@石头大大 不用汇编。。如果你想更深层次了解苹果的开发机制,你就买一本iOS逆向工程 研究一下越狱怎么玩 对你以后帮助很大
      • doubleJJ:不知道是不是我理解能力的问题...看完之后一脸懵逼..感觉讲得内容晦涩难懂
        lanmoyingsheng:http://www.jianshu.com/p/6b905584f536原版在这里
      • just_xam:受教了,不过就是消息转发处理那一块感觉没很明白,我如果真到要处理消息转发的时候了,我应该早就通过调试查出来消息发送有问题了
      • 奔跑的三大爷:"工程中的所有的SEL组成一个Set集合,如果我们想到这个方法集合中查找某个方法时,只需要去找到这个方法对应的SEL就行了,SEL实际上就是根据方法名hash化了的一个字符串,而对于字符串的比较仅仅需要比较他们的地址就可以了,可以说速度上无语伦比!"

        这段话第一句是否有歧义? set集合应该理解为去重的吧 但是不同的类是可以有SEL相同的方法的对吧 我理解的是 SEL 这个值应该还和类名绑定之后才能和您说的一样 工程中所有SEL都组成一个Set集合吧 或者说 每个类都有自己的SEL的set集合?
      • 罗同学_:受益匪浅,赞赞赞
      • bigParis:我在项目中使用forwardingTargetForSelector发现很多系统的东西都跑进来,请问您知道原因吗?
        bigParis:@programmer 其实我是想在forwardingTargetForSelector中根据Selector来动态添加方法,防止崩溃,没想到有些系统的东西走到这里还没崩溃
        和之一:@bigParis 不用在意,底层里的东西本来就复杂,会用就行啦,系统东西也不会对你实现功能造成太大影响
      • c4fbd7a6faaf:楼主,在实现完整的消息转发机制时,指定方法签名是怎么一回事?具体作用是什么?以前看过Matt大神的effective OC,记得好像没有写过这个办法?能具体说说嘛?
        c4fbd7a6faaf:@programmer 多谢!
        和之一:@南北小航 https://github.com/TheYiOS/-
        和之一:@南北小航 上面两种方法行不通的时候你最后用完整的消息转发机制,指定方法签名就是你要跳转的目的方法必须用的,签名为空不跳转。不明白的话我今晚或者明天给你们demo。
      • A天天涨不停:原来`programmer`ID是被你注册抢去了。。。。
        和之一:@水瓶座_iOSer 承让承让
      • 不要动:好高级啊!初学者表示很高级
        和之一:@ios新手 初学者先看基础,基础牢固看这些就很简单了
      • Fooler:嗯,受教了!!
      • 鼻毛长长:具体使用场景呢?什么情况下使用什么呢?
        和之一:@鼻毛长长 等晚上我有时间把demo给你们就知道了
      • ForestSen:支持了
      • 做一个有爱的伸手党:求demo地址 楼主
        和之一:@做一个有爱的伸手党 https://github.com/TheYiOS/-
        做一个有爱的伸手党:@programmer 好哒 因为在学习中 看到了你的文章所以急不可耐了 这个东西研究的有点难
        和之一:@做一个有爱的伸手党 今晚上传,耐心等一下:smile:
      • lionsom_lin:作者很用心
        和之一:@lionsem_lin 嘿嘿

      本文标题:iOS运行时(Runtime)详解+Demo

      本文链接:https://www.haomeiwen.com/subject/sinkrttx.html