美文网首页
Runtime初识

Runtime初识

作者: 刹那_芳华 | 来源:发表于2017-05-27 14:59 被阅读0次

    Runtime 运行时,是一套底层的 C 语言 API,其为 iOS 内部的核心之一,我们平时编写的 OC 代码,底层都是基于它来实现的。例如:[self description];运行时会被转化为objc_msgSend(self,@selector(description));

    我们需要了解的是 Objective-C 是一门动态语言,它会将一些工作放在代码运行时才处理而并非编译时。也就是说,有很多类和成员变量在我们编译的时候是不知道的。而在运行时,我们所编写的代码会转换成完整的确定的代码运行。因此,仅仅编译器是不够的,我们还需要一个运行时系统(Runtime system)来处理编译后的代码,以此来实现类各方面的动态配置以及消息传递

    这里先给大家附上官方API:Objective-C Runtime

    与Runtime交互

    Objective-C程序有有三种与runtime系统交互的级别:

    • 通过Objective-C源代码
    • 通过Foundation框架的NSObject类中提供的方法
    • 直接调用runtime库函数

    通过Objective-C源代码

    当编译包含Objective-C类和方法的代码时,编译器会创建实现了语言动态特性的数据结构和函数调用。该数据结构捕获在类、扩展和协议中所定义的信息。因此,我们通过写好源代码,编译器会自动帮助我们编译成runtime代码。

    通过Foundation框架的NSObject类中提供的方法

    Cocoa 程序中绝大部分类都是 NSObject 类的子类,所以都继承了 NSObject 的行为。(NSProxy 类时个例外,它是个抽象超类)
    一些 NSObject 的方法可以从 Runtime 系统中获取信息,允许对象进行自我检查。例如:

    • - (Class)class:返回对象的类
    • - (BOOL)isKindOfClass:(Class)aClass- (BOOL)isMemberOfClass:(Class)aClass:检查对象是否存在于指定的类的继承体系中(是否是其子类或者父类或者当前类的成员变量)
    • - (BOOL)respondsToSelector:(SEL)aSelector:检查对象能否响应指定的消息
    • + (BOOL)conformsToProtocol:(Protocol *)protocol:检查是否实现了在指定协议中声明的方法
    • - (IMP)methodForSelector:(SEL)aSelector:返回指定方法实现的地址

    直接调用runtime库函数

    runtime库函数在usr/include/objc目录下,我们主要关注是这两个头文件:

    #import <objc/runtime.h>
    #import <objc/message.h>
    

    Runtime术语的数据结构

    id

    id 是一个参数类型,它是指向某个类的实例的指针。定义如下:

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

    以上定义,看到 objc_object 结构体包含一个 isa 指针。实例对象的isa指向类,类存储实例对象的方法列表(即减号方法),类的isa指向元类,元类存储类的方法列表(即加号方法)。所以isa 指针在代码运行时并不总指向实例对象所属的类型,不能依靠它来确定类型,要想确定类型还是需要用对象的 - (Class)class 方法。

    SEL

    它是selector在 Objc 中的表示(Swift 中是 Selector 类)。selector 是方法选择器,根据方法的名称以及isa和super_class能够找到可执行的方法实现,可以通过 Objc 编译器命令@selector()或者 Runtime 系统的 sel_registerName(const char *str) 函数来获取一个 SEL 类型的方法选择器。它的数据结构是:

    typedef struct objc_selector *SEL;
    
    //获取SEL的函数名字符串
    NSString *NSStringFromSelector(SEL aSelector);
    //根据函数名获取SEL
    SEL NSSelectorFromString(NSString *aSelectorName);
    

    Objc 在同一个类中方法命名不允许相同,不同类中相同名字的方法所对应的 selector 是相同的,但是由于调用者不同,所以不会导致它们的方法实现调用混乱。

    IMP

    它是一个函数指针,由编译器生成,指向了这个方法的实现。

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

    Method

    Method 是指向objc_method结构体的指针。objc_method的数据结构如下:

    typedef struct objc_method *Method;
    //方法的结构体存储了方法名,方法类型和方法实现
    struct objc_method {
      SEL method_name;
      char *method_types;//方法类型 method_types 是个 char 指针,存储方法的参数类型和返回值类型
      IMP method_imp;//method_imp 指向了方法的实现,本质是一个函数指针
    }   
    

    Cache

    Cache 定义如下:

    typedef struct objc_cache *Cache
    
    struct objc_cache {
        unsigned int mask /* total = mask + 1 */                 
        unsigned int occupied                                    
        Method buckets[1]                                        
    };
    

    Runtime 系统会把被调用的方法存到 Cache 中,每当实例对象接收到一个消息时,它不会直接在 isa 指针指向的类的方法列表中遍历查找能够响应的方法,而是优先在 Cache 中查找,以此来提升效率。

    Class

    Class 其实是指向 objc_class 结构体的指针。objc_class 的数据结构如下:

    typedef struct objc_class *Class;
    
    struct objc_class {
        Class isa;//指针,指向元类(metaClass)
    #if !__OBJC2__
        Class super_class;  //指向父类
        const char *name;  //类名
        long version;
        long info;
        long instance_size
        struct objc_ivar_list *ivars //成员变量列表
        struct objc_method_list **methodLists; //方法列表
        struct objc_cache *cache;//缓存
        //一种优化,调用过的方法存入缓存列表,下次调用先找缓存
        struct objc_protocol_list *protocols //协议列表
        #endif
    } OBJC2_UNAVAILABLE;
    
    // 成员变量列表
    struct objc_ivar_list {
        int ivar_count                                          
    #ifdef __LP64__
        int space                                                
    #endif
        /* variable length structure */
        struct objc_ivar ivar_list[1]                            
    }                                                           
    
    // 方法列表
    struct objc_method_list {
        struct objc_method_list *obsolete                        
    
        int method_count                                         
    #ifdef __LP64__
        int space                                               
    #endif
        /* variable length structure */
        struct objc_method method_list[1]                        
    }
    
    //获取类Class的字符串描述
    NSString *NSStringFromClass(Class aClass);
    //根据类的字符串描述获取类Class
    Class _Nullable NSClassFromString(NSString *aClassName);
    

    objc_ivar_list 结构体用来存储成员变量的列表,而 objc_ivar 则是存储了单个成员变量的信息;同理,objc_method_list 结构体存储着方法数组的列表,而单个方法的信息则由 objc_method 结构体存储。

    我们可以动态修改 *methodLists 的值来添加方法,这也是 Category 实现的原理。

    消息机制

    在消息的传递中,编译器会根据情况在 objc_msgSend , objc_msgSend_stret , objc_msgSendSuper , objc_msgSendSuper_stret 这四个方法中选择一个调用。如果消息是传递给父类,那么会调用名字带有 Super 的函数,如果消息返回值是数据结构而不是简单值时,会调用名字带有 stret 的函数。

    这里要清楚一点,消息直到运行时才会与方法实现进行绑定,objc_msgSend 从不返回数据,而是你方法的实现在运行时被调用后才会返回数据。

    下面详细叙述消息传递的步骤:

    1. 检测这个 selector 的 target ,若为nil则忽略该消息(Objc 允许我们对一个 nil 对象执行任何方法不会 Crash)。
    2. 根据target的isa指针找到对应的对象(实例对象对应类,类对应元类),先在对象的缓存列表中查找方法实现(IMP),如果没有,再从对象的方法列表中查找。
    3. 若未找到,则通过super_class指针找到父类对象,依次查找缓存列表与方法列表。
    4. 循环执行3直至根类(NSObject)。如果还找不到,就进入动态方法解析。
    • isa:实例对象->类->元类->(不经过父元类)根元类,根元类(即NSObject的元类)的isa指向自己
    • superclass:类->父类->...->根类,元类->父元类->...->根元类->根类,根类(即NSObject)的superclass指向nil

    相关文章

      网友评论

          本文标题:Runtime初识

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