本文分为4个部分
1.介绍OC和C语言之间的转换
2.介绍运行时和相关术语
3.介绍消息发送机制已及怎样找到函数实现
4.runtime的应用
一、OC和C语言之间的转换
Apple 官方对OC的定义
Objective-C is the primary programming language you use when writing software for OS X and iOS. It’s a superset of the C programming language and provides object-oriented capabilities and a dynamic runtime. Objective-C inherits the syntax, primitive types, and flow control statements of C and adds syntax for defining classes and methods. It also adds language-level support for object graph management and object literals while providing dynamic typing and binding, deferring many responsibilities until runtime
总结:OC = C+runtime+面向对象;
C语言是编译型静态语言,也就是说C语言编译完后,是不可以更改代码的结构的,如更改某个方法的实现,如调用eat(),但执行的确实run()的实现。
而OC虽然是基于C的但是因为有了runtime机制,却是编译型动态语言,这种语言可以动态的创建类,属性以及交换方法的实现,这种交换方法实现有个热门词叫Method Swizzling(俗称黑魔法)。
runtime对OC来说,类似操作系统的功能,很多方法如kvc、kvo等功能因为有运行时才得以实现。可以说 C语言和面向对象特性是OC的身体,而Runtime才是OC的灵魂。
二、运行时和相关术语
1.运行时是什么?
运行时是用Apple提供给OC的一套用C语言编写的底层API,它属于1个C语言库,平时我们编写的OC代码最终都转换成了
运行时的C语言代码。
当在 OC 中使用方法 是这样的:
[self doSomething];
实际上会被转化为调用objc_msgSend函数,给某个对象发送消息:
objc_msgSend(self, @selector(doSomething));
佐证:1、苹果官方文档
In Objective-C, messages aren’t bound to method implementations until runtime. The compiler converts a message expression,
[receiver message]
into a call on a messaging function,objc_msgSend.
我们可以在这里查看官方文档
佐证:2 编译OC代码
编译前
编译后
2、相关术语
我们通过 objc_msgSend来了解runtime的相关术语
它的声明是这样的:
// message.h
id objc_msgSend(id self, SEL op, ...);
那具体是怎样转换的?OC 中的类、方法、属性等在 C 语言中是怎样被表示的?下面先看下一些相关术语。
1、SEL
SEL是转换后的函数中第二个参数的类型,它的对象selector(方法选择器) ,顾名思义,是用来识别和选择要执行的 OC 方法的。它的定义如下:
// objc.h
typedef struct objc_selector *SEL;
其实它就是个映射到方法的 C 字符串,上面就是通过@selector(doSomething)来获取一个名字叫 doSomething 的selector。
2、id
id 是转换后的函数中第一个参数的类型,它在 OC 中被称为万能指针,可以指向任何类的实例。它的定义如下:
// objc.h
typedef struct objc_object *id;
struct objc_object {
Class isa;
};
objc_object结构体中的第一个元素是isa指针,根据它可以找到对象所属的类。(但要注意在 KVO 中 isa 指针指向的是一个中间类了,kVO利用运行时机制动态的创建了一个继承被观察类的中间类,通过对中间类属性变化,通知观察对象,这个应用我们在应用部分再详细解释)
3、Class
上面说的 isa 的类型是Class,而它的定义如下:
// objc.h
typedef struct objc_class *Class;
// runtime.h
struct objc_class {
Class isa; // 类同样有自己父类,指向所属的父类
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; // 协议列表
};
可见在 Runtime 系统中,一个类还关联了它的父类指针、类名、成员变量、方法、缓存、协议。
注意到不仅表示对象的objc_object结构体中有个isa指针,表示类的objc_class结构体中也有个isa指针,这是因为在 OC 中,类本身也是一个对象(类对象)。对象的方法存储在它所属的类中,那类的方法呢?这时就需要类对象所属的类来存储类方法了,它叫meta class(元类)。对象的类、父类、元类之间的关系如下(实现是 super_class 指针,虚线是 isa 指针):
注意到所有的元类的元类都是root class(meta),而这个根元类的元类是它自己,它的父类是NSObject;NSObject 的元类也是那个根元类,但它没有父类。
由上图可知 实例对象的isa都指向自己的类对象,类对象中的superClass指向自己的父类,类对象中的isa指向了元类。
这样清晰的继承关系,将会是 runtime 消息机制发送消息的基础。
4、成员变量
其中 objc_ivar_list 是成员变量列表,定义如下:
// runtime.h
struct objc_ivar_list {
int ivar_count;
int space;
struct objc_ivar ivar_list[1];//成员变量的数组
}
struct objc_ivar {
char *ivar_name; //单个变量的名字
char *ivar_type; //变量类型
int ivar_offset; //偏移量
int space;
}
typedef struct objc_ivar *Ivar;
可见成员变量列表objc_ivar_list结构体存储着由成员变量objc_ivar结构体组成的数组,objc_ivar结构体存储着单个成员变量的名字、类型、偏移量等信息。
注意:成员变量和属性的区别,属性可以1.生成成员变量 2.声明和实现set、get方法(在分类中除外,因为分类中不能用成员变量)
5、方法
objc_method_list是方法列表,定义如下:
// runtime.h
struct objc_method_list {
struct objc_method_list *obsolete;
int method_count;
int space;
struct objc_method method_list[1];
}
struct objc_method {
SEL method_name;
char *method_types;
IMP method_imp;
}
typedef struct objc_method *Method;
可见方法列表objc_method_list结构体存储着由方法objc_method结构体组成的数组,objc_method 结构体存储着单个方法的信息:名称(SEL类型的)、参数类型和返回值类型(method_types中)和具体实现(IMP类型的)。
6、IMP
IMP(method implementation,方法实现) 的定义是:
// objc.h
typedef id (*IMP)(id, SEL, ...);
所以它其实是一个函数指针,指向某个方法的具体实现。它的类型和objc_msgSend函数相同,参数中也都包含有 id 和 SEL 类型,这是因为一个 id 和 一个 SEL 参数就能确定唯一的方法实现地址。
7、Cache
在objc_class结构体中还有个指向objc_cache结构体的指针,它的定义如下:
// runtime.h
typedef struct objc_cache *Cache
// objc-cache.m
struct objc_cache {
// 当前能达到的最大 index
uintptr_t mask;
// 被占用的槽位。因为缓存是以散列表的形式存在,所以会有空槽
uintptr_t occupied;
// 用数组表示的 hash 表
cache_entry *buckets[1];
};
typedef struct {
SEL name;
void *unused;
IMP imp;
} cache_entry;
// _uintptr_t.h
typedef unsigned long uintptr_t;
所以它用来做缓存的,用buckets数组来存储被调用过的方法。因为一个方法被调用过,那它以后有可能还会被调用,所以将其存储起来,下次要找某方法先到缓存中找,如果找到的话,免去后面的寻找过程,速度虽然仍会比直接调用函数慢一点点,但已经有很大提升。
8、属性
还有我们常用的属性其实也是结构体,它的定义如下:
// runtime.h
typedef struct objc_property *objc_property_t;
typedef struct {
const char *name;
const char *value;
} objc_property_attribute_t;
// objc-runtime-new.h
typedef struct objc_property {
const char *name;
const char *attributes;
} property_t;
typedef struct property_list_t {
uint32_t entsize;
uint32_t count;
property_t first;
} property_list_t;
所以一个property_t结构包含了属性的名称和属性字符串。与属性相关的一些方法如下:
#define newproperty(p) ((property_t *)p)
// 返回协议中的属性列表,属性个数存储在参数 outCount 中
objc_property_t *protocol_copyPropertyList(Protocol *proto, unsigned int *outCount)
// 返回类中的属性列表,属性个数存储在参数 outCount 中
objc_property_t *class_copyPropertyList(Class cls_gen, unsigned int *outCount)
// 返回属性列表中的属性数组,属性个数存储在参数 outCount 中
static property_t **copyPropertyList(property_list_t *plist, unsigned int *outCount)
// 返回类中的特定名字的属性
objc_property_t class_getProperty(Class cls_gen, const char *name)
// 返回某个属性的名字
const char *property_getName(objc_property_t prop)
// 返回某个属性的属性字符串
const char *property_getAttributes(objc_property_t prop)
三、介绍消息发送机制已及怎样找到函数实现
OC是一种动态语言,它把编译和链接时候要做的很多事情移到了运行时去做,例如C语言中,源代码要想通过编译,函数声明和函数实现必须都存在,它应该在编译时就把函数实现的地址和函数名称关联了。但是OC是动态语言,没有方法(面向对象称为方法)实先,只有方法声明也是可以编译通过的,方法名称和方法实现是在运行时动态绑定的如官方所述(In Objective-C, messages aren’t bound to method implementations until runtime)。
那么问题来了,在运行时,方法是怎么被找到的呢?
使用某对象的方法,都是给这个对象发送消息,消息和方法实现直到运行时才会绑定。Runtime 系统会把使用方法转换为调用函数:
objc_msgSend(receiver, selector)
注意到此时函数多了两个参数:消息接收者、方法的 selector。这是每个方法调用时都会默认存在的隐藏参数。如果还有其他参数则是:
objc_msgSend(receiver, selector, arg1, arg2, ...)
objc_msgSend 要做的事件有三件:
(1)找到 selector 对应的方法实现;
(2)调用该方法实现,并把消息接收者(如果有参数则加上那些参数)传给它;
(3)把方法实现的返回值传回去(它自己并没有任何返回值)。
其中第(1)件事的最关键的,具体过程如下:
(1)检查该selector是不是要忽略的;
(2)检查这个target是否为nil。在 OC 中给 nil 发送任何消息都不会出错,返回的结果都是 0 或 nil。
(3)开始找这个类的IMP。先在cache中找,找到则调到对应的方法实现中去执行。
(4)在cache中没找到,则在该类的方法分发表(dispatch table,即方法列表)中找,找到则执行。
(5)在该类的方法分发表中找不到,则到父类的分发表中找,再找不到则往上找,直到 NSObject 类为止。这两个过程的示意图如下:
如果找到,还会根据是否把消息传给父类、返回值是否数据结构而选择下面四个函数中的一个来调用:
// message.h
id objc_msgSend(id self, SEL op, ...)
id objc_msgSendSuper(struct objc_super *super, SEL op, ...)
void objc_msgSend_stret(id self, SEL op, ...)
void objc_msgSendSuper_stret(struct objc_super *super, SEL op, ...)
函数中的super关键字是指向objc_super结构体的指针,objc_super结构体定义如下:
struct objc_super {
// receiver 仍是 self 本身
__unsafe_unretained id receiver;
// 父类的类型
__unsafe_unretained Class super_class;
};
要注意的是如果想获取某个类的父类,要用cls->super_class或class_getSuperclass方法,而不应该用[super class],因为[super class]会变为objc_msgSend(objc_super->receiver, @selector(class)),即获得的是objc_super->receiver的类,跟[self class]的结果是一样的。
(6)动态方法解析(Dynamic Method Resolution):如果该类及其继承体系的分发表都没找到,则开始动态方法解析,这是 Runtime 系统在报错前给我们的第一次补救的机会,它会调用resolveInstanceMethod:或者resolveClassMethod:方法,所以我们可以在这两方法中分别用class_addMethod给某个类或对象的某个 selector 动态添加一个方法实现。
如在 main 函数中调用 Person 对象的一个 aMethod 方法:
Person *p = [[Person alloc] init];
[p aMethod];
它的 .h 和 .m 文件如下:
// Person.h
#import
@interface Person : NSObject
- (void)aMethod;
@end
// Person.m
#import "Person.h"
#import
// 要被动态添加的方法实现
void dynamicMethodIMP(id self, SEL _cmd) {
NSLog(@"dynamicMethodIMP");
}
@implementation Person
// 动态方法解析
+ (BOOL)resolveInstanceMethod:(SEL)sel {
// 如果是要被添加方法实现的 selector
if (sel == @selector(aMethod)) {
// 给 self 的类的 sel 方法选择器动态添加方法实现 dynamicMethodIMP
class_addMethod([self class], sel, (IMP)dynamicMethodIMP, "v@:");
// 返回 YES 后, Runtime 重新给对象发送 aMethod 消息,这次就可以找到 dynamicMethodIMP 方法实现并调用它了
return YES;
}
return [super resolveInstanceMethod:sel];
}
@end
(7)重定向:如果在上面的方法中不做处理或返回 NO,Runtime 系统在报错前还会给第二次补救机会,就是会调用forwardingTargetForSelector:方法索要一个能响应这个消息的对象,所以我们可以在这里返回另外一个能处理该消息的对象:1
// Person.m
- (id)forwardingTargetForSelector:(SEL)aSelector {
// 如果是要被添加方法实现的 selector
if (aSelector == @selector(aMethod)) {
// 返回另外一个对象,让它去接收该消息
return [[Car alloc] init];
}
return [super forwardingTargetForSelector:aSelector];
}
上面返回的是一个 Car 对象,如果 Car 类定义如下:
// Car.h
#import
@interface Car : NSObject
- (void)aMethod;
@end
// Car.m
#import "Car.h"
@implementation Car
- (void)aMethod {
NSLog(@"car aMethod");
}
@end
则输出结果就是 “car aMethod”了。
(8)消息转发:如果在上一步中不做处理或者返回 nil 或 self,则 Runtime 系统会在报错前给我们最后一次补救机会。系统会先调用methodSignatureForSelector:方法,在该方法返回一个包含了消息的描述信息的方法签名(NSMethodSignature对象),并用此方法签名去生成一个NSInvocation对象,然后调用forwardInvocation:方法并把刚生成的NSInvocation对象作参数传进去。我们就可以重写forwardInvocation:方法,在这里将消息转发给其他对象:
// 获取一个方法签名,用于生成 NSInvocation 对象
- (NSMethodSignature *)methodSignatureForSelector:(SEL)aSelector {
NSMethodSignature *signature = [super methodSignatureForSelector:aSelector];
if (!signature) {
signature = [[Car new] methodSignatureForSelector:aSelector];
}
return signature;
}
- (void)forwardInvocation:(NSInvocation *)anInvocation {
// 如果另一个对象能响应该方法
if ([[Car new] respondsToSelector:[anInvocation selector]]) {
// 则让另一个对象来响应该方法
[anInvocation invokeWithTarget:[Car new]];
} else {
[super forwardInvocation:anInvocation];
}
}
尽管消息转发的效果类似于多继承,让一个对象看起来能处理自己不拥有的方法,但 NSObject 类不会将两者混淆。如上面的例子,[p respondsToSelector:@selector(aMethod)]的结果还是NO。
PS: 上面调用的方法顺序也可以这样获得:在程序启动之后暂停,然后在 gdb 中输入这个命令:call (void)instrumentObjcMessageSends(YES),再运行,则发送的所有消息都会打印到/tmp/msgSend-xxxx文件里了。如新建一个Teacher类,给它的实例发送一条错误的消息:
Teacher *teacher = [[Teacher alloc] init];
[teacher aMehtod];
四、runtime的应用
1.归档和解档(NSCoding)
利用runtime函数 遍历模型的所有属性
代码如下图
归档代码
接档代码
调用代码
结果
优势:如果模型对象比较多,不用一个个复制
注意:因为runtime是C语言文件,它的内存不属于ARC管理因此涉及到copy等方法时要手动管理内存。
2.Method Swizzing
这个就是俗称“黑魔法”,其本质在于交换两个函数的IMP,从而达到调用A方法但是执行的却是B方法,其具体实现和原理参考这篇OC中hook方案(一):method swizzling 文章
3.关联属性
提示:MJRefresh 里面的UIScrollerView 本身就是利用关联属性在category 里面添加 header 和 footer的。
我们还可能希望给某些常用的类添加 category,但 category 是只能添加方法而不能添加存储属性的。或者更严谨的说是分类不允许添加成员变量,因为属性的作用就是
1.生成下划线成员变量
2.声明和实现set 和get方法
因为属性不能添加成员变量所以就不能实现添加属性
现在我们可以用 Runtime 来间接在 category 添加属性了,如在给 UIButton 的 category 中添加一个属性作回调:
// UIButton+Extension.h
#import
typedef void (^CallbackBlock)();
@interface UIButton (Extension)
@property (copy, nonatomic) CallbackBlock callback;
@end
// UIButton+Extension.m
#import "UIButton+Extension.h"
#import
const void *yg_callbackKey = @"yg_callbackKey";
@implementation UIButton (Extension)
- (void)setCallback:(CallbackBlock)callback {
// 设置关联属性
objc_setAssociatedObject(self, yg_callbackKey, callback, OBJC_ASSOCIATION_COPY_NONATOMIC);
}
- (CallbackBlock)callback {
// 获取关联属性
return objc_getAssociatedObject(self, yg_callbackKey);
}
@end
这样就可以把 callback 当做按钮的属性来用了:
// ViewController.m
#import "ViewController.h"
#import "UIButton+Extension.h"
@interface ViewController ()
@property (weak, nonatomic) IBOutlet UIButton *button;
@end
@implementation ViewController
- (void)viewDidLoad {
[super viewDidLoad];
// 设置按钮的 callback “属性”的内容
self.button.callback = ^{
NSLog(@"button callback");
};
// 获取并执行按钮的 callback “属性”
self.button.callback();
}
@end
我们常用的第三方库中有很多也是这样用的,如 SDWebImage 会用这样的方法来存储传进来的图片的 URL:
// UIImageView+WebCache.m
- (void)sd_setImageWithURL:(NSURL *)url
placeholderImage:(UIImage *)placeholder
options:(SDWebImageOptions)options
progress:(SDWebImageDownloaderProgressBlock)progressBlock
completed:(SDWebImageCompletionBlock)completedBlock {
[self sd_cancelCurrentImageLoad];
objc_setAssociatedObject(self, &imageURLKey, url, OBJC_ASSOCIATION_RETAIN_NONATOMIC);
...
}
- (NSURL *)sd_imageURL {
return objc_getAssociatedObject(self, &imageURLKey);
}
参考文章
Objective-C 的 runtime 特性与小蝌蚪找妈妈
Objective-C Runtime