Runtime基本原理及Demo
一、介绍
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。
typedefstructobjc_selector *SEL;
objc_selector的定义如下
structobjc_selector{char*name; OBJC2_UNAVAILABLE;// 名称chartypes; OBJC2_UNAVAILABLE;// 类型};
每个方法都有一个与之对应的SEL类型的数据,根据一个SEL数据“@selector”就可以找到对应的方法地址,进而调用方法。
(3) IMP
IMP是implementation的缩写,它是由编译器生成的一个函数指针。当你发起一个消息后,这个函数指针确定了最终执行那段代码。
(4) Method
Method代表类中的某个方法类型
structobjc_method{ SEL method_name OBJC2_UNAVAILABLE;// 方法名char*method_types OBJC2_UNAVAILABLE;// 方法类型IMP method_imp OBJC2_UNAVAILABLE;// 方法实现}
(5) Ivar
Ivar代表类中实例变量的类型
typedefstructobjc_ivar *Ivar
objc_ivar的定义如下
structobjc_ivar {char*ivar_name OBJC2_UNAVAILABLE;// 变量名char*ivar_type OBJC2_UNAVAILABLE;// 变量类型intivar_offset OBJC2_UNAVAILABLE;// 基地址偏移字节#ifdef__LP64__intspace OBJC2_UNAVAILABLE;// 占用空间#endif}
(6) objc_property_t
objc_property_t是属性,它的定义如下:
typedefstructobjc_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相关方法和参数的地方添加头文件
遍历一个类的所有成员变量、属性和方法
创建一个继承于NSObject的Person类,其中包含一个供外类使用的属性name和一个实例变量age。
// 遍历Person类中所有的变量-(void) getALLVariable{unsignedintcount =0; Ivar *allVariables = class_copyIvarList([Personclass], &count);for(inti =0; i< count; i++) {//遍历每一个变量,包括名称和类型Ivar ivar = allVariables[i];constchar*VariableName = ivar_getName(ivar);constchar*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{ unsignedintcount=0; Method *AllMethods = class_copyMethodList([Personclass], &count);for(inti =0; i
控制台输出了包括set和get等方法名称。【备注:.cxx_destruct方法是关于系统自动内存释放工作的一个隐藏的函数,当ARC下,且本类拥有实例变量时,才会出现;】
在OC中,selector、Method、implementation是Runtime中一个特殊点,在一般情况下、这些术语更多的使用在消息发送的过程描述中。
理解这几个术语之间关系的最好方式是:一个类维护一个Runtime可接受的消息分发表;分发表中的每个入口是一个Method,其中Key是一个特定名称,即SEL,其对应一个实现(IMP),即指向底层C函数的指针。
动态改变一个类变量的数值
//改变Person变量的数值-(void) changeVariable{NSLog(@"before change person : %@ -------",_person);unsignedintcount =0; Ivar *allList = class_copyIvarList([Personclass], &count);for(inti =0; i< count; i++) { Ivar var = allList[i];constchar*varName = ivar_getName(var);NSString*name = [NSStringstringWithUTF8String: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([selfrespondsToSelector:@selector(addfunc3)]) {[self performSelector:@selector(addfunc3)]; }else{NSLog(@"add method error"); }}voidfunc3(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{Methodm1=class_getInstanceMethod([Personclass], @selector(func1));Methodm2=class_getInstanceMethod([Personclass], @selector(func2));method_exchangeImplementations(m1, m2);}
本文参考文献