runtime的基础学习

一、介绍

Runtime是Objective-C中底层的一套C语言API，是一个将C语言转化为面向对象语言的拓展。OC是一种面向对象的动态语言，动态语言就是在运行时执行静态语言的编译连接的工作。OC编写的程序不能直接编译为及其读懂的机器语言，在程序运行时，须通过Runtime来转换。
Runtime的一切都围绕两个中心：类的动态配置 和 消息传递。

二、应用场景

• 运行时修改内存中的数据
  • 动态的在内存中创建一个类
  • 给类增加一个属性
  • 给类增加一个协议实现
  • 给类增加一个方法实现IMP
  • 遍历一个类的所有成员变量、属性和方法等
• 具体应用
  • 拦截系统自带的方法调用（Method Swizzling黑魔法）
  • 将某些OC代码转化为Runtime代码，探究底层。如block的实现原理
  • 实现给分类增加属性
  • 实现NSCoding的自动归档和接档
  • 实现字典的模型和自动转换
  • JSPatch替换已有的OC方法实行等

三、原理详解

1.基本元素认知

(1) class和id

class是一个指向objc_class结构体的指针，而id是一个指向objc_object结构体的指针，其中的isa是一个指向objc_class结构体的指针。其中的id就是我们所说的对象，class就是所说的类。
类和对象的区别就是类比对象多了很多特征成员，类也可以当做一个objc_object来对待，也就是说类和对象都是对象，分别称为类对象（class object）和实例对象（instance object），这样我们就可以区别对象和类了。
objc_object（实例对象）中的isa指针指向的类结构称为class，其中存放着普通成员变量和动态方法；objc_class中的isa指针指向类结构的metaclass，其中存放着static类型的成员变量和static类型的方法。

(2) SEL

SEL是selector在OC中的变现类型。selector可以理解为区别方法的ID。

typedef struct objc_selector *SEL;

objc_selector的定义如下

struct objc_selector {
  char *name; OBJC2_UNAVAILABLE;// 名称 
  char types; OBJC2_UNAVAILABLE;// 类型
};

每个方法都有一个与之对应的SEL类型的数据，根据一个SEL数据“@selector”就可以找到对应的方法地址，进而调用方法。

(3) IMP

IMP是implementation的缩写，它是由编译器生成的一个函数指针。当你发起一个消息后，这个函数指针确定了最终执行那段代码。

(4) Method

Method代表类中的某个方法类型

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

(5) Ivar

Ivar代表类中实例变量的类型

typedef struct objc_ivar *Ivar

objc_ivar的定义如下

struct objc_ivar { 
  char *ivar_name OBJC2_UNAVAILABLE; // 变量名
  char *ivar_type OBJC2_UNAVAILABLE; // 变量类型 
  int ivar_offset OBJC2_UNAVAILABLE; // 基地址偏移字节
#ifdef __LP64__ 
  int space OBJC2_UNAVAILABLE; // 占用空间
#endif
}

(6) objc_property_t

objc_property_t是属性，它的定义如下：

typedef struct objc_property *objc_property_t;

(7) Category

这个就是分类，可以动态的为已存在的类添加新的方法。

2. OC的消息传递

在面向对象编程中，对象调用方法叫做发送消息。在编程中，程序源代码就会从对象发送消息转化成Runtime的objc_msgSend函数调用。
例如我们写的

[target doMethodWith:var];

会被编译器翻译成

objc_msgSend(target,@selector(doMethodWith:),var);

基本消息传递

objc_msgSend函数调用过程为：

• 第一步：检测这个selector是不是要忽略的；
• 第二步：检测这个target是不是nil对象。nil对象发送任何一个消息都会被忽略掉；
• 第三步：
  • 调用实例方法时，它会首先在自身isa指针指向的类（class）methodLists中查找该方法，如果找不到则会通过class的super_class指针找到父类的类对象结构体，然后从methodLists中查找该方法，如果仍找不到则继续通过super_class向上查找知道metaclass；
  • 调用类方法时，首先通过自己的isa指针找到metaclass，并从其中methodLists中查找该类方法，如果找不到则会通过metaclass的super_class指针找到父类的metaclass对象结构体；
• 第四步：如果前三步都找不到方法则进入动态方法解析。

  消息动态解析

  
  

  动态解析流程图（图片来自网络）
  
  消息动态解析具体流程
• 第一步：通过resolveInstanceMethod：方法决定是否动态添加方法。如果返回Yes则通过class_addMethod动态添加方法，消息得到处理，结束；如果返回No，则进入下一步；
• 第二步：这步会进入forwardingTargetForSelector:方法，用于指定备选对象响应这个selector，不能指定为self。如果返回某个对象则会调用对象的方法，结束。如果返回nil，则进入第三步；
• 第三步：这步我们要通过methodSignatureForSelector:方法签名，如果返回nil，则消息无法处理。如果返回methodSignature，则进入下一步；
• 第四步：这步调用forwardInvocation：方法，我们可以通过anInvocation对象做很多处理，比如修改实现方法，修改响应对象等，如果方法调用成功，则结束。如果失败，则进入doesNotRecognizeSelector方法，若我们没有实现这个方法，那么就会crash。

四、具体实现

首先，在需要调用Runtime相关方法和参数的地方添加头文件<objc/runtime.h>

遍历一个类的所有成员变量、属性和方法

创建一个继承于NSObject的Person类，其中包含一个供外类使用的属性name和一个实例变量age。

// 遍历Person类中所有的变量
-(void) getALLVariable{ 

    unsigned int count = 0;
    Ivar *allVariables = class_copyIvarList([Person class], &count);

    for (int i = 0 ; i< count; i++) {
            //遍历每一个变量,包括名称和类型
        Ivar ivar = allVariables[i];
        const char *VariableName = ivar_getName(ivar);
        const char *VariableType = ivar_getTypeEncoding(ivar);
        NSLog(@"(Name:%s)-------(Type:%s)",VariableName,VariableType);
        }
}

通过Runtime我们可以获取到一个类的成员变量列表和属性方法等，即使是私有属性和私有方法。这就是Runtime强大的体现之一。若是想遍历属性列表可以将class_copyIvarList替换为class_copyPropertyList。
给Person类添加一个公共方法-(void) method1和一个私有方法-(void) method2，使用Runtime遍历Person的所有方法

//遍历Person类的方法
-(void) getAllMethod{
    unsigned int count = 0;
    Method *AllMethods = class_copyMethodList([Person class], &count);

    for (int i = 0 ; i<count; i++) {

        Method method = AllMethods[i];
        //获取SEL：SEL类型,即获取方法选择器@selector()
        SEL sel = method_getName(method);
        //得到sel的方法名：以字符串格式获取sel的name，也即@selector()中的方法名称
        const char *methodName = sel_getName(sel);
        NSLog(@"-------the method :%s",methodName);

    }
}

控制台输出了包括set和get等方法名称。【备注：.cxx_destruct方法是关于系统自动内存释放工作的一个隐藏的函数，当ARC下，且本类拥有实例变量时，才会出现；】
在OC中，selector、Method、implementation是Runtime中一个特殊点，在一般情况下、这些术语更多的使用在消息发送的过程描述中。
理解这几个术语之间关系的最好方式是：一个类维护一个Runtime可接受的消息分发表；分发表中的每个入口是一个Method，其中Key是一个特定名称，即SEL，其对应一个实现（IMP），即指向底层C函数的指针。

动态改变一个类变量的数值

//改变Person变量的数值
-(void) changeVariable{
    NSLog(@"before change person : %@ -------",_person);

    unsigned int count = 0;
    Ivar *allList = class_copyIvarList([Person class], &count);
    for (int i = 0; i< count; i++) {
        Ivar var = allList[i];
        const char *varName = ivar_getName(var);
        NSString *name = [NSString stringWithUTF8String:varName];

        if ([name isEqualToString:@"_name"]) {
            object_setIvar(_person, var, @"lannis");
        }
    }

    NSLog(@"after change person : %@ -------",_person);
}

动态添加方法

-(void) addMethod{
    class_addMethod([self class], @selector(addfunc3), (IMP)func3, "v@:");

    if ([self respondsToSelector:@selector(addfunc3)]) {
        [self performSelector:@selector(addfunc3)];
    }else{
        NSLog(@"add method error");
    }
}

void func3(id self,SEL _cmd){
    NSLog(@"%s",__func__);
}

调用class_addMethod(__unsafe_unretained Class cls, SEL name, IMP imp, const char *types)方法给指定类添加方法。
imp参数：实现被添加方法的函数，在本例中func3是指func3的地址指针；
types参数：一个定义该函数返回值类型和参数类型的字符串。本例中"v@:"意思是v代表无返回值void，@代表id sel；：代表SEL _cmd；
要注意的是：func3方法前的void不加+、-号，因为这是C的代码；必须有指定两个参数（id self，SEL _cmd）；

动态交换方法

将存在的两个方法的实现进行交换

-(void) exchangeImplementations{
    Method m1 = class_getInstanceMethod([Person class], @selector(func1));
    Method m2 = class_getInstanceMethod([Person class], @selector(func2));

    method_exchangeImplementations(m1, m2);
}