文章目录
- 一、Runtime介绍
- 二、Runtime消息传递
- 三、实例对象、类对象、元类对象
- 四、isa_t结构体的具体实现
- 五、cache_t的具体实现
- 六、class_data_bits_t的具体实现
- 七、Runtime消息转发
- 动态方法解析
- 备用接收者
- 完整消息转发
一、Runtime介绍
iOS的Runtime,通常称为Objective-C Runtime,是一个C语言库,包含了很多底层的纯C语言API。,它是Objective-C语言动态特性的基石。这个系统在程序运行时提供了一系列强大的功能,允许我们在应用运行过程中动态地操作类和对象,执行诸如检查和改变对象、交换方法实现、动态添加方法或属性等操作。
高级编程语言想要成为可执行文件需要先编译为汇编语言再汇编为机器语言,机器语言也是计算机能够识别的唯一语言,但是OC并不能直接编译为汇编语言,而是要先转写为纯C语言再进行编译和汇编的操作,从OC到C语言的过渡就是由runtime来实现的,这里采用了消息传递的机制,在程序运行之前,消息都没有与任何方法绑定起来。只有在真正运行的时候,才会根据函数的名字来,确定该调用的函数。然而我们使用OC进行面向对象开发,而C语言更多的是面向过程开发,这就需要将面向对象的类转变为面向过程的结构体。
二、Runtime消息传递
当你通过对象调用方法时,例如像这样[obj someMethod]
编译器会将其转换为一个消息发送的底层调用,通常是 objc_msgSend(obj, @selector(someMethod))
。这个函数接受两个主要参数:方法的调用者和方法选择器(也就是方法名)。
objc_msgSend
,其 “ 原型” ( prototype )如下:
void objc_msgsend(id self, SEL cmd, ...)
第一 个参数代表接收者也就是方法调用者,第二个参数代表方法选择器(SEL 是选择子的类型)也就是方法的名字,后续参数就是消息中的 那些参数,其顺序不变。
在进行具体的方法实现查找时:
- 首先,Runtime系统会通过obj的 isa 指针找到其所属的class
- 接着在这个类的方法列表(method list)中查找与选择器(someMethod)匹配的方法实现(IMP)。
- 如果在当前类中没有找到,Runtime会沿着类的继承链往它的 superclass 中查找,直到到达根类(通常为 NSObject)。
- 一旦找到someMethod这个函数,就去执行它的实现IMP 。
但一个class 往往只有 20% 的函数会被经常调用,可能占总调用次数的 80% 。每个消息都需要遍历一次objc_method_list 并不合理。如果把经常被调用的函数缓存下来,那可以大大提高函数查询的效率。这也就是objc_class 中另一个重要成员objc_cache 做的事情 - 再找到someMethod之后,把someMethod 的method_name 作为key ,method_imp作为value 给存起来。当再次收到someMethod消息的时候,可以直接在cache 里找到,避免去遍历objc_method_list。
因此Runtime的消息传递流程应该是:
- 首先,Runtime系统会通过obj的 isa 指针找到其所属的class
- 接着在这个类的缓存中查找与选择器匹配的方法实现
- 如果缓存中没找到接着在这个类的方法列表(method list)中查找与选择器(someMethod)匹配的方法实现(IMP)。
- 如果在当前类中没有找到,Runtime会沿着类的继承链往它的 superclass 中查找,也是先查缓存再查方法列表,直到到达根类(通常为 NSObject)。
- 一旦找到someMethod这个函数,就去执行它的实现IMP 。
从下面的源代码可以看到cache是存在objc_class 结构体中的。
struct objc_object {
private:isa_t isa;
}struct objc_class : objc_object {// Class ISA;Class superclass;cache_t cache; // formerly cache pointer and vtableclass_data_bits_t bits; // class_rw_t * plus custom rr/alloc flags
}
三、实例对象、类对象、元类对象
下面是OC2.0中关于类和对象的定义
typedef struct objc_class *Class;
typedef struct objc_object *id;@interface Object { Class isa;
}@interface NSObject <NSObject> {Class isa OBJC_ISA_AVAILABILITY;
}struct objc_object {
private:isa_t isa;
}struct objc_class : objc_object {// Class ISA;Class superclass;cache_t cache; // formerly cache pointer and vtableclass_data_bits_t bits; // class_rw_t * plus custom rr/alloc flags
}union isa_t
{isa_t() { }isa_t(uintptr_t value) : bits(value) { }Class cls;uintptr_t bits;
}
其关系图如下图所示:
- 分析上面的源代码不难看出在OC2.0中每个对象都有一个isa_t类型的结构体(也就是平常所说的isa指针,其实它的本质是个结构体)。
- objc_class继承于objc_object。所以在objc_class中也会包含isa_t类型的结构体isa。所以OC中类其实也是一个对象。在objc_class中,除了isa之外,还有3个成员变量,一个是父类的指针,一个是方法缓存,最后一个数据域(存储了类中的详细信息包括方法列表)。
- objc_object被源码typedef成了id类型,这也就是我们平时遇到的id类型。这个结构体中就只包含了一个isa_t类型的结构体。
当一个对象的实例方法被调用的时候,会通过isa指针找到相应的类,接着进行一系列操作,如果是对象的类方法被调用该怎么办呢,这里就引入了元类(meta-class)的概念。meta-class它存储着一个类的所有类方法。每个类都会有一个单独的meta-class,因为每个类的类方法基本不可能完全相同。
当一个对象的实例方法被调用的时候,会通过isa指针找到相应的元类,在元类的缓存中查找与选择器匹配的方法实现,如果没有找到再到元类的数据域的方法列表中查找,如果还没找到则沿着继承链找元类的父类,直到根类(NSObject)。如果找到就去执行它的方法实现。
对象的实例方法调用时,通过对象的 isa 在类中获取方法的实现。
类对象的类方法调用时,通过类的 isa 在元类中获取方法的实现。
对象,类,元类对应关系的图如下图:
图中实线是父类指针,虚线是isa指针。
- Root class (class)其实就是NSObject,NSObject是没有超类的,所以Root
class(class)的superclass指向nil。 - 每个Class都有一个isa指针指向唯一的Meta class
- Root class(meta)的superclass指向Root class(class),也就是NSObject
- 每个Meta class的isa指针都指向Root class (meta)
类对象和元类在编译期产生是单例(只能有一个),实例对象是运行期产生的,可以有无数个
四、isa_t结构体的具体实现
前面提到isa指针的本质是个结构体,其源代码如下:
union isa_t
{isa_t() { }isa_t(uintptr_t value) : bits(value) { }Class cls;uintptr_t bits;
}
通过源码不难发现isa是一个union联合体。
- 有一个无参数的构造函数用来进行默认的初始化
- 有一个接受一个uintptr_t类型的值来初始化bits字段的构造函数,允许直接以整数形式初始化isa_t
- 有一个指向所属类的指针
- 有一个无符号整数用来进行底层的位操作,利用整数的每一位来编码额外信息
下面是objc_object的源码,里面包含了关于isa指针的一些操作:
struct objc_object {
private:isa_t isa;
public:// initIsa() should be used to init the isa of new objects only.// If this object already has an isa, use changeIsa() for correctness.// initInstanceIsa(): objects with no custom RR/AWZvoid initIsa(Class cls /*indexed=false*/);void initInstanceIsa(Class cls, bool hasCxxDtor);
private:void initIsa(Class newCls, bool indexed, bool hasCxxDtor);
}
首先来看initIsa函数
inline void
objc_object::initInstanceIsa(Class cls, bool hasCxxDtor)
{initIsa(cls, true, hasCxxDtor);
}inline void
objc_object::initIsa(Class cls, bool indexed, bool hasCxxDtor)
{if (!indexed) {isa.cls = cls;} else {isa.bits = ISA_MAGIC_VALUE;isa.has_cxx_dtor = hasCxxDtor;isa.shiftcls = (uintptr_t)cls >> 3;}
}
在initInstanceIsa函数中调用更通用的initIsa方法,传入true表示使用索引,并传递hasCxxDtor标志。
initIsa函数有三个参数:
- 第一个参数是所属的类
- 第二个参数是是否启动索引机制
- 第三个参数是是否有析构函数
在initIsa函数中如果没有启用索引机制,则直接设置isa的cls指针为给定的类。
启用索引的情况下:
- 首先设置isa的magic值,这是一个特殊标记,用于识别或校验isa的格式。
- 接着设置has_cxx_dtor标志,表明该对象具有C++析构函数,需要在对象销毁时调用。
- 最后对类指针(cls)进行右移3位操作,然后赋值给shiftcls字段,这通常是为了在isa中存储类索引。
右移操作意味着类地址的一部分被用来作为索引,这是一种空间换时间的优化策略。
下面是isa的内部细节:
#if __arm64__// 定义掩码,用于提取或设置isa中的特定位段。
#define ISA_MASK 0x0000000ffffffff8ULL // 最低3位和最高位之外的位全为1
#define ISA_MAGIC_MASK 0x000003f000000001ULL // 用于识别isa的magic的位段
#define ISA_MAGIC_VALUE 0x000001a000000001ULL // isa的magic值,用于标记非指针isa// isa_t结构体内部的位域定义
struct {uintptr_t indexed : 1; // 标记是否使用了类的索引uintptr_t has_assoc : 1; // 对象是否有关联引用uintptr_t has_cxx_dtor : 1; // 对象是否有C++析构函数uintptr_t shiftcls : 33; // 类指针偏移或索引位,用于存储类地址的部分信息uintptr_t magic : 6; // magic位,用于快速区分isa的类型或状态uintptr_t weakly_referenced : 1; // 对象是否被弱引用uintptr_t deallocating : 1; // 对象是否正在释放过程中uintptr_t has_sidetable_rc : 1; // 引用计数是否需要从侧表中获取uintptr_t extra_rc : 19; // 额外的引用计数位,直接存储小的引用计数值// 定义RC_ONE和RC_HALF作为引用计数位操作的常量
# define RC_ONE (1ULL<<45) // 用于增加引用计数1的掩码
# define RC_HALF (1ULL<<18) // 用于减半引用计数的掩码
};#elif __x86_64__// 重新定义掩码以适应X86_64架构的地址空间
#define ISA_MASK 0x00007ffffffffff8ULL
#define ISA_MAGIC_MASK 0x001f800000000001ULL
#define ISA_MAGIC_VALUE 0x001d800000000001ULL// 位域结构体的定义调整以适应X86_64架构
struct {uintptr_t indexed : 1;uintptr_t has_assoc : 1;uintptr_t has_cxx_dtor : 1;uintptr_t shiftcls : 44; // 类偏移或索引位,调整以适应更大的地址空间uintptr_t magic : 6;uintptr_t weakly_referenced : 1;uintptr_t deallocating : 1;uintptr_t has_sidetable_rc : 1;uintptr_t extra_rc : 8; // 较少的额外引用计数位,因为地址空间分配不同// 调整RC_ONE和RC_HALF的定义以匹配新的位布局
# define RC_ONE (1ULL<<56)
# define RC_HALF (1ULL<<7)
};
第一位index,代表是否开启isa指针优化。index = 1,代表开启isa指针优化。在WWDC2013苹果介绍了 Tagged Pointer用来进行指针优化。 Tagged Pointer的存在主要是为了节省内存。
我们知道,对象的指针大小一般是与机器字长有关,在32位系统中,一个指针的大小是32位(4字节),而在64位系统中,一个指针的大小将是64位(8字节)。假设我们要存储一个NSNumber对象,其值是一个整数。正常情况下,如果这个整数只是一个NSInteger的普通变量,那么它所占用的内存是与CPU的位数有关,在32位CPU下占4个字节,在64位CPU下是占8个字节的。而指针类型的大小通常也是与CPU位数相关,一个指针所占用的内存在32位CPU下为4个字节,在64位CPU下也是8个字节。如果没有Tagged Pointer对象,从32位机器迁移到64位机器中后,虽然逻辑没有任何变化,但这种NSNumber、NSDate一类的对象所占用的内存会翻倍。如下图所示:
苹果提出了Tagged Pointer对象。由于NSNumber、NSDate一类的变量本身的值需要占用的内存大小常常不需要8个字节,拿整数来说,4个字节所能表示的有符号整数就可以达到20多亿(注:2^31=2147483648,另外1位作为符号位),对于绝大多数情况都是可以处理的。所以,引入了Tagged Pointer对象之后,64位CPU下NSNumber的内存图变成了以下这样:
五、cache_t的具体实现
struct cache_t {struct bucket_t *_buckets;mask_t _mask;mask_t _occupied;
}typedef unsigned int uint32_t;
typedef uint32_t mask_t; // x86_64 & arm64 asm are less efficient with 16-bitstypedef unsigned long uintptr_t;
typedef uintptr_t cache_key_t;struct bucket_t {
private:cache_key_t _key;IMP _imp;
}
cache_t中存储了一个bucket_t的结构体,和两个unsigned int的变量分别是mask:分配用来缓存bucket的总数。occupied:表明目前实际占用的缓存bucket的个数。
bucket_t的结构体中存储了一个unsigned long和一个IMP。IMP是一个函数指针,指向了一个方法的具体实现。
cache_t中的bucket_t *_buckets其实就是一个散列表,用来存储Method的链表。
六、class_data_bits_t的具体实现
struct class_data_bits_t {// Values are the FAST_ flags above.uintptr_t bits;
}// 该结构体代表了类的可读写数据部分,包含类的动态添加或修改的信息。
struct class_rw_t {// 标志位集合,用于存储类的特定属性或标记。uint32_t flags;// 类的版本信息,用于跟踪类定义的变更。uint32_t version;// 指向类的只读数据部分,包含静态定义的类信息。const class_ro_t *ro;// 方法数组,包含类动态添加的所有实例方法。method_array_t methods;// 属性数组,存储类的属性定义。property_array_t properties;// 协议数组,表示类遵守的所有协议。protocol_array_t protocols;// 指向该类的第一个子类的指针。Class firstSubclass;// 指向下一个兄弟类的指针,用于构建类的层级关系链。Class nextSiblingClass;// 类的完全限定名,经过C++名称修饰后的字符串表示。char *demangledName;
}// 该结构体代表了类的只读数据部分,包含了在编译时期确定且不可更改的类信息。
struct class_ro_t {// 类的标志位集合,描述类的基本属性,如是否是元类等。uint32_t flags;// 实例变量起始偏移量,用于计算实例变量在对象内存布局中的位置。uint32_t instanceStart;// 实例的总大小,包括实例变量和可能的内嵌对象等。uint32_t instanceSize;// LP64环境下保留的字段,未使用。
#ifdef __LP64__uint32_t reserved;
#endif// 实例变量布局描述,指示了实例变量的内存排列和对齐规则。const uint8_t * ivarLayout;// 类的名称,C字符串形式。const char * name;// 基础方法列表,包含类定义时声明的所有实例方法。method_list_t * baseMethodList;// 类遵循的基础协议列表。protocol_list_t * baseProtocols;// 实例变量列表,描述类声明的所有实例变量。const ivar_list_t * ivars;// 弱实例变量的布局信息,用于ARC下管理弱引用。const uint8_t * weakIvarLayout;// 基础属性列表,类定义时声明的属性。property_list_t *baseProperties;// 提供一个便捷方法返回基础方法列表,增加了代码的可读性。method_list_t *baseMethods() const {return baseMethodList;}
}
- class_data_bits_t 存储了快速访问的类标志位,用于控制类的某些行为或状态。
- class_rw_t 代表了类的动态部分,可以随着程序运行而改变,包括方法、属性、遵循的协议等,是类扩展和修改的场所。
- class_ro_t 则是类的静态定义,包含了编译时期确定的类信息,如类名、实例变量布局、基础方法列表等,这部分在运行时是不可修改的。
在 objc_class结构体中的注释写到 class_data_bits_t相当于 class_rw_t指针加上 rr/alloc 的标志。
class_data_bits_t bits; // class_rw_t * plus custom rr/alloc flags
它为我们提供了便捷方法用于返回其中的 class_rw_t *指针:
class_rw_t *data() {return bits.data();
}
在编译期类的结构中的 class_data_bits_t *data指向的是一个 class_ro_t *指针:
在运行时调用 realizeClass方法,会做以下3件事情:
从 class_data_bits_t调用 data方法,将结果从 class_rw_t强制转换为 class_ro_t指针
初始化一个 class_rw_t结构体
设置结构体 ro的值以及 flag
最后调用methodizeClass方法,把类里面的属性,协议,方法都加载进来。
七、Runtime消息转发
在OC中进行消息传递时如果直到根类还没有找到方法的具体实现就会进行消息转发流程。
消息转发分为三个部分:
- 动态方法解析
- 备用接收者
- 完整消息转发
动态方法解析
首先,Objective-C运行时会调用 +resolveInstanceMethod:
或者 +resolveClassMethod:
,让你有机会提供一个函数实现。如果你添加了函数, 那运行时系统就会重新启动一次消息发送的过程。
需要注意的是此处跟函数的返回值没有关系,只跟是否添加函数有关
下面是一段示例代码:
#import "ViewController.h"
#import "objc/runtime.h"
@interface ViewController ()@end@implementation ViewController//OBJC_EXPORT BOOL class_addMethod(Class _Nullable cls, SEL _Nonnull name, IMP _Nonnull imp, const char * _Nullable types);- (void)viewDidLoad {[super viewDidLoad];// Do any additional setup after loading the view.//执行foo函数[self performSelector:@selector(koo)];
}
+ (BOOL)resolveInstanceMethod:(SEL)sel {if (sel == @selector(koo)) {//如果是执行koo函数,就动态解析,指定新的IMPclass_addMethod([self class], sel, (IMP)fooMethod, "v@:");return YES;}return [super resolveInstanceMethod:sel];}void fooMethod(id obj, SEL _cmd) {NSLog(@"Doing foo");//新的foo函数
}@end
可以看到虽然没有实现koo:这个函数,但是我们通过class_addMethod动态添加fooMethod函数,并执行fooMethod这个函数的IMP。从打印结果看,成功实现了。
如果没有添加新方法 ,运行时就会移到下一步:forwardingTargetForSelector
。
备用接收者
如果目标对象实现了-forwardingTargetForSelector:,Runtime 这时就会调用这个方法,给你把这个消息转发给其他对象的机会。
示例代码如下:
#import <Foundation/Foundation.h>
#import "objc/runtime.h"
NS_ASSUME_NONNULL_BEGIN@interface Person : NSObject@endNS_ASSUME_NONNULL_END
#import "Person.h"@implementation Person
- (void)foo {NSLog(@"Doing foo");
}
@end
#import "ViewController.h"
#import "Person.h"
@interface ViewController ()@end@implementation ViewController- (void)viewDidLoad {[super viewDidLoad];// Do any additional setup after loading the view.[self performSelector:@selector(foo)];
}
+ (BOOL)resolveInstanceMethod:(SEL)sel {return NO;//返回NO,进入下一步转发
}
- (id)forwardingTargetForSelector:(SEL)aSelector {if (aSelector == @selector(foo)) {return [Person new];//返回Person对象,让Person对象接收这个消息}return [super forwardingTargetForSelector:aSelector];
}@end
可以看到我们通过forwardingTargetForSelector
把当前ViewController的方法转发给了Person
去执行了。
完整消息转发
如果在上一步还不能处理未知消息,则唯一能做的就是启用完整的消息转发机制了。
首先它会发送-methodSignatureForSelector:
消息获得函数的参数和返回值类型。如果-methodSignatureForSelector:
返回nil ,Runtime则会发出 -doesNotRecognizeSelector:
消息,程序这时也就挂掉了。如果返回了一个函数签名,Runtime就会创建一个NSInvocation 对象并发送 -forwardInvocation:
消息给目标对象。
示例代码如下:
#import <Foundation/Foundation.h>NS_ASSUME_NONNULL_BEGIN@interface Person : NSObject@endNS_ASSUME_NONNULL_END
#import "Person.h"@implementation Person
- (void)foo {NSLog(@"doing foo");
}
@end#import "ViewController.h"
#import "objc/runtime.h"
#import "Person.h"@interface ViewController ()@end@implementation ViewController- (void)viewDidLoad {[super viewDidLoad];// Do any additional setup after loading the view.[self performSelector:@selector(foo)];
}
+ (BOOL)resolveInstanceMethod:(SEL)sel {return YES;//返回YES,进入下一步转发
}- (id)forwardingTargetForSelector:(SEL)aSelector {return nil;//返回nil,进入下一步转发
}- (NSMethodSignature *)methodSignatureForSelector:(SEL)aSelector {if ([NSStringFromSelector(aSelector) isEqualToString:@"foo"]) {return [NSMethodSignature signatureWithObjCTypes:"v@:"];//签名,进入forwardInvocation}return [super methodSignatureForSelector:aSelector];
}- (void)forwardInvocation:(NSInvocation *)anInvocation {SEL sel = anInvocation.selector;Person *p = [Person new];if([p respondsToSelector:sel]) {[anInvocation invokeWithTarget:p];}else {[self doesNotRecognizeSelector:sel];}}@end
通过签名,Runtime生成了一个对象anInvocation
,发送给了forwardInvocation
,我们在forwardInvocation
方法里面让Person
对象去执行了foo函数
。