了解Runtime

跟C、C++等语言有着很大的不同,OC是一门动态性比较强的编程语言,允许很多操作推迟到程序运行时才进行。OC的动态性是由Runtime API来支撑的,Runtime API提供的接口基本都是C语言的,源码由C\C++\汇编语言编写。

一、isa

1、什么是isa

isa是一个Class类型的指针。每个实例对象有个isa的指针指向对象的类,而类里也有个isa的指针指向meteClass(元类)。

类保存了实例方法列表,而元类则保存了类方法列表。当类方法被调用时,先会从本身查找类方法的实现,如果没有,元类会向他父类查找该方法。
同时,元类(meteClass)也是类,它也是对象。元类也有isa指针,它的isa指针最终指向的是一个根元类(root meteClass)。根元类的isa指针指向本身,这样形成了一个封闭的内循环。

实例/类对象的isa指针结构图
2、isa结构

在arm64架构之前,isa就是一个普通的指针,存储着Class、Meta-Class对象的内存地址。从arm64架构开始,对isa进行了优化,变成了一个共用体(union)结构,还使用位域来存储更多的信息。

使用共用体(union)可以利用内存空间去存储更多的信息。

union isa_t
{
    Class cls;
    uintptr_t bits;
    struct {
        uintptr_t nonpointer        : 1;   //0:代表普通的指针,存储着Class、Meta-Class对象的内存地址; 1:代表优化过,使用位域存储更多的信息
        uintptr_t has_assoc         : 1;   //是否有设置过关联对象,如果没有,释放时会更快
        uintptr_t has_cxx_dtor      : 1;   //是否有C++的析构函数(.cxx_destruct),如果没有,释放时会更快。(析构函数:用来释放内存的操作)
        uintptr_t shiftcls          : 33;  //存储着Class、Meta-Class对象的内存地址信息
        uintptr_t magic             : 6;   //用于在调试时分辨对象是否未完成初始化
        uintptr_t weakly_referenced : 1;   //是否有被弱引用指向过,如果没有,释放时会更快
        uintptr_t deallocating      : 1;   //对象是否正在释放
        uintptr_t has_sidetable_rc  : 1;   //引用计数器是否过大无法存储在isa中,如果为1,那么引用计数会存储在一个叫SideTable的类的属性中
        uintptr_t extra_rc          : 19;  //里面存储的值是引用计数器减1
#       define RC_ONE   (1ULL<<45)
#       define RC_HALF  (1ULL<<18)
    };
}

二、Class

1、Class的结构

类对象(class)是程序员定义并在运行时由编译器创建的。
通过对类对象进行alloc、new操作创建出实例对象(instance)。
元类对象(meta-class)是类对象的类,是类对象中isa指针所指的类。

实例对象、类、元类

在源码中,Class是一个指向objc_class结构体的指针。

typedef struct objc_class *Class;
typedef struct objc_object *id;

他的内部结构如下:

Class的结构.png

class_rw_t
class_rw_t:rw表示可读写
class_rw_t里面的methods、properties、protocols是二维数组,是可读可写的,包含了类的初始内容、分类的内容。

class_rw_t的结构

class_ro_t
class_ro_t:ro表示只读
class_ro_t里面的baseMethodList、baseProtocols、ivars、baseProperties是一维数组,是只读的,只包含了类的初始内容。

class_ro_t的结构

也就是在加载可执行文件的时候,一开始,类的结构里class_rw_t没有内容。在后续过程中,会将class_ro_t里的初始内容拷贝到class_rw_t中,如果有新增分类,分类里的内容也会被写入到class_rw_t中。

2、方法的结构method_t

Method是一种代表类中的某个方法的类型。

typedef struct method_t *Method;

method_t就是对方法的封装,在上面class_rw_t、class_ro_t中的方法列表里,都含有结构体method_t,它存储了方法名、方法类型和方法实现。

struct method_t {
    SEL name;           //方法名、函数名
    const char *types;  //编码(返回值类型、参数类型)
    IMP imp;            //指向函数的指针(函数地址)

    struct SortBySELAddress :
        public std::binary_function
    {
        bool operator() (const method_t& lhs,
                         const method_t& rhs)
        { return lhs.name < rhs.name; }
    };
};

SEL

typedef struct objc_selector *SEL;

代表方法名,一般叫做选择器,底层结构跟char *类似;
可以通过@selector()和sel_registerName()获得;
可以通过sel_getName()和NSStringFromSelector()转成字符串;
相同名字的方法即使在不同类中定义,它们的方法选择器也相同。

types

types

方法类型 types 是个char指针,存储着方法的参数类型和返回值类型。
types里存贮的内容是encode每个方法的返回值、参数类型,将这些信息保存在一个字符串里,再将这个string与selector关联起来。
(涉及到的知识点:Type Encodings)。

IMP

#if !OBJC_OLD_DISPATCH_PROTOTYPES
typedef void (*IMP)(void /* id, SEL, ... */ ); 
#else
typedef id _Nullable (*IMP)(id _Nonnull, SEL _Nonnull, ...); 
#endif

它就是一个函数指针,这是由编译器生成的。
当你发起一个 ObjC 消息之后,最终它会执行的那段代码,就是由这个函数指针指定的,而 IMP 这个函数指针就指向了这个方法的实现。既然得到了执行某个实例某个方法的入口,我们就可以绕开消息传递阶段,直接执行方法。
IMP 指向的方法与 objc_msgSend 函数类型相同,参数都包含 id和 SEL 类型。每个方法名都对应一个 SEL 类型的方法选择器,而每个实例对象中的 SEL 对应的方法实现肯定是唯一的,通过一组 id和 SEL参数就能确定唯一的方法实现地址。

3、方法缓存

在调用方法时会根据对象的isa指针找到类对象,在类对象的列表(class_rw_t中的methods列表)里找对象方法,如果找不到会通过superClass指针找到父类的类对象,然后在其方法列表中查找。
为了节省时间,苹果在objc_class结构体中设计了一个cache用来缓存调用过的方法。当第一次调用某个方法时,找到该方法后,会将这个方法存放到cache中,下次再调用该方法时,会先在类对象isa中的cache中找方法。

struct cache_t {
    struct bucket_t *_buckets; // 散列表,数组里面放的是bucket_t这个结构
    mask_t _mask;           //散列表的长度-1
    mask_t _occupied;       //已经缓存的方法数量
    //...more code...
};


struct bucket_t {
    cache_key_t _key; //SEL作为Key
    IMP _imp;  //函数的内存地址
    //... more code ...
};

chche_t的结构如上,通过散列表(哈希表)来缓存曾经调用过的方法,可以提高方法的查找速度。
具体做法是用@selector() & _mask得到一个索引值,根据这个索引去散列表中找到方法的_imp,如果查找结果不对,会索引值减1,再对比方法。由于_mask的值为散列表长度减1,这样保证查找范围不会超过散列表范围。而且当散列表不够存储时,散列表容量扩大一倍并清除内容再重新缓存方法。

三、总结

  • <1>什么是runtime?平时的项目中有用过吗?
    (1) 、OC是一门动态性比较强的编程语言,允许很多操作推迟到程序运行时才进行,OC的动态性就是由Runtime来支撑的。
    (2)、Runtime的运用:
    关联对象给分类添加属性
    遍历类的所有成员变量(修改textField的占位文字颜色、字典转模型、自动归档解档)
    交换方法实现,主要是交换系统自带的方法,(友盟埋点,我是在利用了runtime)
    利用消息转发机制解决方法找不到的问题

你可能感兴趣的:(了解Runtime)