Runtime基础知识

作者: 执笔时光er | 来源:发表于2020-03-17 20:48 被阅读0次

    Runtime相关的知识主要从以下几个问题入手吧

    • Runtime是何物
    • Runtime中的结构体
    • Runtime中的几个概念的理解
    • iOS的消息发送处理流程
    • Runtime的常用方法
    • Runtime的使用场景
    • 关联对象
    • 关于Category的一个问题

    Runtime是何物

    Objective-C 扩展了 C 语言,并加入了面向对象特性和 Smalltalk 式的消息传递机制。而这个扩展的核心是一个用 C 和 编译语言 写的 Runtime 库。它是 Objective-C 面向对象和动态机制的基石。

    Objective-C 是一个动态语言,这意味着它不仅需要一个编译器,也需要一个运行时系统来动态得创建类和对象、进行消息传递和转发。理解 Objective-C 的 Runtime 机制可以帮我们更好的了解这个语言,适当的时候还能对语言进行扩展,从系统层面解决项目中的一些设计或技术问题。

    简而言之,OC的最底层是C语言来实现的,在OC和C语言之间,苹果用C语言和汇编架构出了一层转换层,这个转换层的核心就是Runtime。

    Runtime中的结构体

    Runtime中有两个的结构体需要点一下,一个是Category结构体,一个是类结构体

    Categoty

    Category结构体代码如下

    struct category_t { 
        const char *name; 
        classref_t cls; 
        struct method_list_t *instanceMethods; 
        struct method_list_t *classMethods;
        struct protocol_list_t *protocols;
        struct property_list_t *instanceProperties;
    };
    

    name:是指 class_name 而不是 category_name。
    cls:要扩展的类对象,编译期间是不会定义的,而是在Runtime阶段通过name对 应到对应的类对象。
    instanceMethods:category中所有给类添加的实例方法的列表。
    classMethods:category中所有添加的类方法的列表。
    protocols:category实现的所有协议的列表。
    instanceProperties:表示Category里所有的properties,这就是我们可以通过objc_setAssociatedObject和objc_getAssociatedObject增加实例变量的原因,不过这个和一般的实例变量是不一样的。
    从上面的的结构体中可以看出,分类中可以添加实例方法,类方法,甚至可以实现协议,添加属性,不可以添加成员变量。

    类结构体

    类结构的代码如下

    //类
    struct objc_class {
        Class isa  OBJC_ISA_AVAILABILITY;
    #if !__OBJC2__
        Class super_class                                        OBJC2_UNAVAILABLE;
        const char *name                                         OBJC2_UNAVAILABLE;
        long version                                             OBJC2_UNAVAILABLE;
        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;
    //方法列表
    struct objc_method_list {
        struct objc_method_list *obsolete                        OBJC2_UNAVAILABLE;
        int method_count                                         OBJC2_UNAVAILABLE;
    #ifdef __LP64__
        int space                                                OBJC2_UNAVAILABLE;
    #endif
        /* variable length structure */
        struct objc_method method_list[1]                        OBJC2_UNAVAILABLE;
    }                                                            OBJC2_UNAVAILABLE;
    //方法
    struct objc_method {
        SEL method_name                                          OBJC2_UNAVAILABLE;
        char *method_types                                       OBJC2_UNAVAILABLE;
        IMP method_imp                                           OBJC2_UNAVAILABLE;
    }
    

    从上面的代码可以看出,一个类结构体包含以下几个部分
    1 isa 指向他的meta class
    2 super_class 指向这个实例的父类实例
    3 name 存储类的类名
    4 instace_size 实例对象的内存大小
    5 ivars 属性信息列表
    6 methodLists 方法信息列表
    7 cache 缓存信息列表
    8 protocols 代理信息列表
    9 version
    10 info

    Runtime中的几个概念的理解

    元类

    元类(Meta Class)是一个类对象的类。所有的类自身也是一个对象,我们可以向这个对象发送消息(即调用类方法)。
    为了调用类方法,这个类的isa指针必须指向一个包含这些类方法的一个objc_class结构体。这就引出了meta-class的概念,元类中保存了创建类对象以及类方法所需的所有信息。我们看下图:


    实例、类和元类之间的关系

    iOS的消息发送处理流程

    假设,现在我们创建了一个Person对象,向这个对象的work方法发送消息,那么这个时候系统是一个怎样的处理流程呢?
    1 系统首先找到Person对象,然后通过对象的isa,找到他的类
    2 在他的类中查找cache,是否有work方法
    3 没有找到则查找methodLists。
    4 再没有则查找super_class的cache、methodLists
    5 再没有则继续查找该类的super_class的cache、methodLists...
    6 找到对应的method,执行它的IMP
    7 转发IMP的return值
    8 如果最终也没有找到对应的method,那么执行doesNotRecognizeSelector:方法报unrecognized selector Exception

    在没找到方法和报unrecognized selector Exception之间,系统做了什么?

    上一个问题前5步执行完毕之后,到最后抛出Exception之间系统提供给我们三次挽救的机会


    系统最后三次处理机会

    1 动态方法解析

    如上图,在找不到方法后,首先OC会调用 +resolveInstanceMethod:或者 +resolveClassMethod:,让你有机会提供一个函数实现。如果你添加了函数并返回YES, 那运行时系统就会重新启动一次消息发送的过程。可以在这里通过Runtime的class_addMethod方法动态添加一个方法以供调用。
    示例代码:

    - (void)viewDidLoad {
        [super viewDidLoad];
        // Do any additional setup after loading the view, typically from a nib.
        //执行foo函数
        [self performSelector:@selector(foo:)];
    }
    
    + (BOOL)resolveInstanceMethod:(SEL)sel {
        if (sel == @selector(foo:)) {//如果是执行foo函数,就动态解析,指定新的IMP
            class_addMethod([self class], sel, (IMP)fooMethod, "v@:");
            return YES;
        }
        return [super resolveInstanceMethod:sel];
    }
    forwardingTargetForSelector。
    void fooMethod(id obj, SEL _cmd) {
        NSLog(@"Doing foo");//新的foo函数
    }
    

    如果resolveInstanceMethod方法返回 YES ,运行时就会移到下一步:

    备用接收者

    如果目标对象实现了-forwardingTargetForSelector:,Runtime 这时就会调用这个方法,给你把这个消息转发给其他对象的机会。
    代码示例:

    + (BOOL)resolveInstanceMethod:(SEL)sel {
        return YES;//返回YES,进入下一步转发
    }
    - (id)forwardingTargetForSelector:(SEL)aSelector {
        if (aSelector == @selector(foo)) {
            return [Person new];//返回Person对象,让Person对象接收这个消息
        }
        return [super forwardingTargetForSelector:aSelector];
    }
    

    完整消息转发

    如果在上一步还不能处理未知消息,则唯一能做的就是启用完整的消息转发机制了。
    首先它会发送-methodSignatureForSelector:消息获得函数的参数和返回值类型。如果-methodSignatureForSelector:返回nil ,Runtime则会发出 -doesNotRecognizeSelector: 消息,程序这时也就挂掉了。如果返回了一个函数签名,Runtime就会创建一个NSInvocation 对象并发送 -forwardInvocation:消息给目标对象。
    代码示例:

    + (BOOL)resolveInstanceMethod:(SEL)sel {
        return YES;//返回YES,进入下一步转发
    }
    
    - (id)forwardingTargetForSelector:(SEL)aSelector {
        return nil;//返回nil,进入下一步转发
    }
    
    - (NSMethodSignature *)methodSignatureForSelector:(SEL)aSelector {
        if ([NSStringFromSelector(aSelector) isEqualToString:@"foo"]) {
            return [NSMethodSignature signatureWithObjCTypes:"v@:"];//签名,进入forwardInvocation
        }
        return [super methodSignatureForSelector:aSelector];
    }
    
    - (void)forwardInvocation:(NSInvocation *)anInvocation {
        SEL sel = anInvocation.selector;
        Person *p = [Person new];
        if([p respondsToSelector:sel]) {
            [anInvocation invokeWithTarget:p];
        }
        else {
            [self doesNotRecognizeSelector:sel];
        }
    }
    

    Runtime的常用方法

    获取类名 class_getName(Class)

    class_getName()函数返回的是一个char类型的指针,也就是C语言的字符串类型,所以我们要将其转换成NSString类型,然后再返回出去。

    获取成员变量

    class_copyIvarList(class, &count) 获取成员变量列表
    ivar_getTypeEncoding() 获取成员变量类型
    ivar_getName() 获取成员变量名字
    

    在OC中的给类添加成员属性其实就是添加了一个成员变量和getter以及setter方法。所以获取的成员列表中肯定带有成员属性,不过成员属性的名称前方添加了下划线来与成员变量进行区分。我们也可以获取成员变量的类型,下方的_var1是NSInteger类型,动态获取到的是q字母,其实是NSInteger的符号。而i就表示int类型,c表示Bool类型,d表示double类型,f则就表示float类型。当然这些基本类型都是由一个字母代替的,如果是引用类型的话,则直接就是一个字符串了,比如NSArray类型就是"@NSArray"。
    当然, 获取成员属性也有一个专有的方法: class_copyPropertyList(class,&count)

    获取类的实例方法

    class_copyMethodList(class,&count) 获取方法列表
    method_getName() 获取方法名字
     获取方法实现
    

    获取协议

    class_copyProtocolList() 获取协议列表
    protocol_getName() 获取协议名字
    获取协议实现
    

    动态添加方法

    class_addMethod(Class, SEL, IMP, const char *);
    
    添加方法示例代码

    方法实现交换

    方法实现交换示例代码

    Runtime的使用场景

    知道了Runtime的方法API,那么他的使用场景就可以开始自由发挥了。这里列举几个:
    1 实现字典和模型的自动转换(MJExtension)
    2 关联对象(Objective-C Associated Objects)给分类增加属性
    3 KVO实现
    4 实现NSCoding的自动归档和自动解档
    5 页面路径的收集

    关联对象

    什么是关联对象?

    关联对象是指给某个OC对象通过一个唯一的key将另一个类的实例关联到自身上,那另一个类的实例就是这个类的关联对象。当然一个类可以有多个关联对象。
    举个例子,关联对象就像是你放风筝时手中牵的风筝,自然,也是可以同时牵多只风筝的。

    关联对象主要操作API

    //关联对象
    void objc_setAssociatedObject(id object, const void *key, id value, objc_AssociationPolicy policy)
    //获取关联的对象
    id objc_getAssociatedObject(id object, const void *key)
    //移除关联的对象
    void objc_removeAssociatedObjects(id object)
    

    还是看代码比较容易理解,一段示例代码如下:

    - (NSObject *)property {
        return objc_getAssociatedObject(self, @selector(property));
    }
    - (void)setProperty:(NSObject *)value {
        objc_setAssociatedObject(self, @selector(property), value, OBJC_ASSOCIATION_RETAIN_NONATOMIC);
    }
    

    来解释一下上面的代码,
    objc_setAssociatedObject的意思就是 给当前这个类(self)添加一个 叫value的关联属性,而且属性的唯一Id叫 @selector(property)。关联策略是 retain_nonatomic
    然后objc_getAssociatedObject 是根据唯一的key也就是@selector(property)来获取objc_setAssociatedObject 设置的东西,也就是value。
    这样做就是给当前类,也就是self添加了一个属性了,这个类可以是系统类,也可以是自定义的类,当然也可以是分类,这段代码就是面试题如何给一个分类添加属性的答案。
    上面提到的关联策略,是指该对象释放后对它的关联对象的内存管理策略,是个枚举。

    enum {
        OBJC_ASSOCIATION_ASSIGN = 0,
        OBJC_ASSOCIATION_RETAIN_NONATOMIC = 1, 
        OBJC_ASSOCIATION_COPY_NONATOMIC = 3,
        OBJC_ASSOCIATION_RETAIN = 01401,
        OBJC_ASSOCIATION_COPY = 01403 
    };
    

    关于Category的一个问题

    最近和人聊起过一个问题,就是关于Category方面的处理。
    1 如果在Category中写了一个和原类中名字一样的方法,在调用这个方法的时候会调用Category的方法,而不调用原类的方法,这是为什么呢?
    乍一看,像是方法名覆盖,其实不然,在Runtime层的处理方式是将Catogory的方法添加到methodLists里面,但是在查找的时候,会优先从后向前查找,在找到Category中的那个方法后就执行后续流程了,原类里的那个同名方法就没有执行的机会了
    2 如果有多个Category都实现了和原类同一个方法名字一样的方法,也都引入了,这个时候,如果调用这个方法,会是哪一个有效呢?
    关于这个问题,在load的时候,就把分类加载上来,加载到类的class_rw_t中,会遍历加载,当判断有分类要加载的时候,用了内存级别的操作,memmove和memcopy,把分类的方法放method_list的最前面了,在调用的时候就从第0个开始了。既然是这样,那么就是由XCode工程的配置文件[Build Phases] - [Complie Sources]中的顺序决定的。

    我曾执笔雕刻时光 奈何良辰难书过往

    参考资料:
    iOS Runtime详解
    iOS开发之Runtime常用示例总结

    KVO在setter方法里做了什么

    相关文章

      网友评论

        本文标题:Runtime基础知识

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