Objective-C 扩展了 C 语言,并加入了面向对象特性和 Smalltalk 式的消息传递机制。而这个扩展的核心是一个用 C 和 编译语言 写的 Runtime 库。它是 Objective-C 面向对象和动态机制的基石。
前言
当程序开始编译,到完全运行起来以后,为其提供相关支持的代码叫做“Objective-C运行期环境”(Objective-C runtime),它提供了一些使得对象之间能够传递消息的重要函数,并且包含创建示例所用的全部逻辑,Objc Runtime使得C具有了面向对象能力,在程序运行时创建,检查,修改类、对象和它们的方法,这里可以下到苹果维护的开源代码,苹果官方的Runtime编程指南
Runtime函数
Runtime系统是由一系列的函数和数据结构组成的公共接口动态共享库,在/usr/include/objc目录下可以看到头文件,可以用其中一些函数通过C语言实现objectivec中一样的功能。苹果官方文档里有详细的Runtime函数文档。
Class和Object基础数据结构
class
objc/runtime.h中objc_class结构体的定义如下:
1 |
|
objc_ivar_list和objc_method_list的定义
1 |
|
当类里面既有实例方法又有类方法时objc_method_list
或出现两个此结构体,分别对象实例方法和类方法。
objc_cache
objc_class
结构体中的cache字段用于缓存调用过的method。由于消息转发的机制所以需要缓存调用过的方法来提高执行效率
1 |
|
objc_object与id
objc_object
是一个类的实例结构体,objc/objc.h
中objc_object
是一个类的实例结构体定义如下:
1 |
|
向object发送消息时,runtime
库会根据object的isa
指针找到这个实例object所属于的类,然后在类的方法列表以及父类方法列表寻找对应的方法运行。id
是一个objc_object
结构类型的指针,这个类型的对象能够转换成任何一种对象。
Meta Class
meta class是一个类对象的类,当向对象发消息,runtime会在这个对象所属类方法列表中查找发送消息对应的方法,但当向类发送消息时,runtime就会在这个类的meta class方法列表里查找。所有的meta class,包括Root class,Superclass,Subclass的isa都指向Root class的meta class,这样能够形成一个闭环。如图
练习
1 |
|
运行结果
1 |
|
这里说明下几个方法注意的地方object_getClassName
与class_getName
1 |
|
objc_getClass
与object_getClass
方法同样有上面的特性。
类与对象操作函数
runtime有很多的函数可以操作类和对象。类相关的一般是class为前缀,对象相关操作则一般是objc或object_为前缀。
类相关操作函数
className
1 |
|
super_class和meta-class
1 |
|
instance_size
1 | // 获取实例大小 |
成员变量(ivars)及属性
1 | //成员变量操作函数 |
methodLists
1 | // 添加方法 |
objc_protocol_list
1 | // 添加协议 |
version
1 |
|
练习
1 |
|
获取类定义
1 |
|
示例
1 |
|
控制台输出结果
1 | 2019-05-23 17:52:30.639611+0800 runtimeDemo[55197:37325228] class name: _CNZombie_ |
实例操作函数
这些函数是针对创建的实例对象的一系列操作函数。
整个对象操作的函数
1 |
|
示例
1 |
|
对象实例变量进行操作的函数
1 |
|
对对象类操作
1 |
|
动态创建类和对象
动态创建类
1 |
|
示例
1 |
|
最后输出为submethod1
方法内容
动态创建对象
1 |
|
示例
1 | //可以看出class_createInstance和alloc的不同 |
输出
1 | //可以看到,使用class_createInstance函数获取的是NSString实例,而不是类簇中的默认占位符类__NSCFConstantString。 |
成员变量与属性
基础数据类型
Ivar
实例变量类型,指向objc_ivar结构体的指针,ivar指针地址是根据class结构体的地址加上基地址偏移字节得到的。
1 | typedef struct objc_ivar *Ivar; |
objc_property_t
属性类型,指向objc_property结构体
1 | typedef struct objc_property *objc_property_t; |
通过class_copyPropertyList和protocol_copyPropertyList方法获取类和协议的属性
1 | objc_property_t *class_copyPropertyList(Class cls, unsigned int *outCount) |
示例
1 |
|
输出
1 | //属性 |
关联对象
关联对象是在运行时添加的类似成员。
1 |
|
成员变量和属性的操作方法
成员变量
1 |
|
关联对象Associated Objects
1 |
|
属性
1 |
|
Method和消息
Method和消息的基础数据类型
SEL
选择器表示一个方法的selector的指针,可以理解为Method中的ID类型
1 |
|
获取SEL的三个方法:
1 |
|
IMP
是函数指针,指向方法的首地址,通过SEL快速得到对应IMP,这时可以跳过Runtime消息传递机制直接执行函数,比直接向对象发消息高效。定义如下
1 |
|
Method
用于表示类定义中的方法
1 |
|
待续
Method相关操作函数
Method
1 |
|
Method的SEL
1 |
|
Method调用流程
消息函数,Objc中发送消息是用中括号把接收者和消息括起来,只到运行时才会把消息和方法实现绑定。
1 | //这个函数将消息接收者和方法名作为基础参数。消息发送给一个对象时,objc_msgSend通过对象的isa指针获得类的结构体,先在Cache里找,找到就执行,没找到就在分发列表里查找方法的selector,没找到就通过objc_msgSend结构体中指向父类的指针找到父类,然后在父类分发列表找,直到root class(NSObject)。 |
编译器会根据情况在objc_msgSend
,objc_msgSend_stret
,objc_msgSendSuper
,或objc_msgSendSuper_stret
四个方法中选一个调用。如果是传递给超类就会调用带super
的函数,如果返回是数据结构而不是一个值就会调用带stret
的函数。在i386平台返回类型为浮点消息会调用objc_msgSend_fpret
函数。可参考我之前的一片文章关于self
super
。
Method中的接收消息对象参数和方法选择器参数
在Method中使用self关键字来引用实例本身,self的内容即接收消息的对象是在Method运行时被传入的同时还有方法选择器。
获取Method地址
使用NSObject提供的methodForSelector:方法可以获得Method的指针,通过指针调用实现代码。
1 |
|
Method转发
如果使用[object message]调用方法,object无法响应message时就会报错。用performSelector…调用就要等到运行时才确定是否能接受,不能才崩溃。
1 |
|
Method转发机制分为三步:
动态方法解析
当对象收到无法响应的消息时,首先会调用如下方法:
1 | //当消息类型为类方法时 |
可以利用此方法实现预发crash 等功能。
备援接收者(重定向接收者)
1 |
|
当动态方法解析仍然无法处理时(返回值为NO),会继续调用下面的方法,同时在这里Runtime系统实际上是给了一个替换消息接收者的机会,但是替换的对象千万不要是self,那样会进入死循环。
示例
1 |
|
最后进行转发
如果以上两种都没法处理未知消息就需要完整消息转发了。调用如下方法
1 |
|
示例
1 |
|
Protocol和Category
基础数据类型
Category
1 |
|
Category里面的方法加载过程,objc源码中找到objc-os.mm,函数_objc_init就是runtime的加载入口由libSystem调用,开始初始化,之后objc-runtime-new.mm里的map_images会加载map到内存,_read_images开始初始化这个map,这时会load所有Class,Protocol和Category,NSObject的+load方法就是这个时候调用的。下面是加载代码
1 |
|
示例,下面的代码会编译错误,Runtime Crash还是会正常输出
1 |
|
objc runtime加载后NSObject的Sark Category被加载,头文件+(void)foo没有IMP,只会出现一个warning。被加到Class的Method list里的方法只有-(void)foo,Meta Class的方法列表里没有。
执行[NSObject foo]时,会在Meta Class的Method list里找,找不着就继续往super class里找,NSObject Meta Clas的super class是NSObject本身,这时在NSObject的Method list里就有foo这个方法了,能够正常输出。
执行[[NSObject new] foo]就简单的多了,[NSObject new]生成一个实例,实例的Method list是有foo方法的,于是正常输出。
Protocol
Protocol其实就是一个对象结构体
1 |
|
操作函数
Category操作函数信息都包含在objc_class中,我们可以通过objc_class的操作函数来获取分类的操作函数信息。
1 |
|
Runtime提供了Protocol的一系列函数操作,函数包括
1 |
|
Runtime的应用
- Method Swizzling
利用Method Swizzling 和实现埋点,对老版本系统api兼容,黑盒调试等等。 - json Model
利用属性列表完成json->model 的转换