iOS消息转发机制

Objective-C 是一门动态语言,它将很多静态语言在编译和链接时期做的事情,放到了运行时来处理。之所以能具备这种特性,离不开 Runtime 这个库。Runtime 很好的解决了如何在运行时期找到调用方法这样的问题。

消息发送在 Objective-C 中,方法调用称为向对象发送消息:

// MyClass 类

@interfaceMyClass:NSObject
- (void)printLog;
@end

@implementation MyClass

- (void)printLog {
    NSLog(@"print log !");
}

@end
MyClass *myClass = [[MyClass alloc] init];
[myClass printLog]; // 输出: print log !

上面代码中的[myClass printLog]也可以这么写:

((void(*)(id, SEL))(void*) objc_msgSend)(myClass,@selector(printLog));

[myClass printLog]经过编译后就是调用objc_msgSend方法。

我们看看这个方法的文档定义:

id objc_msgSend(id self, SEL op, ...);

self:消息的接收者

op: 消息的方法名,C 字符串

... :参数列表

Runtime 是如何找到实例方法的具体实现的?

基础概念

讲之前,我们需要先明白一些基础概念:Objective-C 是一门面向对象的语言,对象又分为实例对象类对象元类对象以及根元类对象。它们是通过一个叫isa的指针来关联起来,具体关系如下图:

image

以我们上文的代码为例:

MyClass *myClass = [[MyClass alloc] init];

整理下相互间的关系:

myClass是实例对象

MyClass是类对象

MyClass的元类的元类就是NSObject的元类

NSObject就是 Root class (class)

NSObject的superclass为nil

NSObject的元类就是它自己

NSObject的元类的superclass就是NSObject

对应上图中的位置关系如下:

image

接着,我们用代码来验证下上文的关系:

MyClass *myClass = [[MyClass alloc] init];

Class class= [myClass class];
Class metaClass = object_getClass(class);
Class metaOfMetaClass = object_getClass(metaClass);
Class rootMetaClass = object_getClass(metaOfMetaClass);
Class superclass = class_getSuperclass(class);
Class superOfSuperclass = class_getSuperclass(superclass);
Class superOfMetaOfSuperclass = class_getSuperclass(object_getClass(superclass));

NSLog(@"MyClass 实例对象是:%p",myClass);
NSLog(@"MyClass 类对象是:%p",class);
NSLog(@"MyClass 元类对象是:%p",metaClass);
NSLog(@"MyClass 元类对象的元类对象是:%p",metaOfMetaClass);
NSLog(@"MyClass 根元类对象是:%p",rootMetaClass);
NSLog(@"MyClass 父类是:%@",class_getSuperclass(class));
NSLog(@"MyClass 父类的父类是:%@",superOfSuperclass);
NSLog(@"MyClass 父类的元类的父类是:%@",superOfMetaOfSuperclass);
NSLog(@"NSObject 元类对象是:%p",object_getClass([NSObjectclass]));
NSLog(@"NSObject 父类是:%@",[[NSObjectclass] superclass]);
NSLog(@"NSObject 元类对象的父类是:%@",[object_getClass([NSObjectclass]) superclass]);
//输出:
MyClass 实例对象是:0x60c00000b8d0 MyClass 
类对象是:0x109ae3fd0 MyClass 
元类对象是:****0x109ae3fa8 MyClass 
元类对象的元类对象是:****0x10ab02e58** 
MyClass 根元类对象是:0x10ab02e58 
MyClass 父类是:NSObject 
MyClass 父类的父类是:(null) 
MyClass 父类的元类的父类是:NSObject 
NSObject元类对象是:0x10ab02e58 
NSObject父类是:(null) 
NSObject元类对象的父类是:NSObject

可以发现,输出结果是完全符合我们的结论的!

现在我们能知道各种对象之间的关系:

实例对象通过isa指针,找到类对象Class;类对象同样通过isa指针,找到元类对象;元类对象也是通过isa指针,找到根元类对象;最后,根元类对象的isa指针,指向自己。可以发现NSObject是整个消息机制的核心,绝大数对象都继承自它。

寻找流程

上文提到了,一个 Objective-C 方法会被编译成objc_msgSend,这个函数有两个默认参数,id类型的self,SEL类型的op。我们先看看id的定义:

typedef struct objc_object *id;

struct objc_object {
    Class _Nonnull isa  OBJC_ISA_AVAILABILITY;
};

我们可以看到,在objc_object结构体中,只有一个指向Class类型的isa指针。

我们再看看Class的定义:

struct objc_class {

Class _Nonnull isa  OBJC_ISA_AVAILABILITY;

#if !__OBJC2__

Class _Nullable super_class  OBJC2_UNAVAILABLE;

const char* _Nonnull name OBJC2_UNAVAILABLE;

long version OBJC2_UNAVAILABLE;

long info  OBJC2_UNAVAILABLE;

long instance_size OBJC2_UNAVAILABLE;

struct objc_ivar_list * _Nullable ivars  OBJC2_UNAVAILABLE;

struct objc_method_list * _Nullable * _Nullable methodLists  OBJC2_UNAVAILABLE;

struct objc_cache * _Nonnull cache OBJC2_UNAVAILABLE;

struct objc_protocol_list * _Nullable protocols  OBJC2_UNAVAILABLE;

#endif

} OBJC2_UNAVAILABLE;

里面有很多参数,很显眼的能看到这一行:

struct objc_method_list * _Nullable * _Nullable methodLists OBJC2_UNAVAILABLE;

看名字也容易理解,这个methodLists就是用来存放方法列表的。我们再看看objc_method_list这个结构体:

struct objc_method_list{

struct objc_method_list * _Nullable obsolete OBJC2_UNAVAILABLE;

int method_count OBJC2_UNAVAILABLE;

#ifdef __LP64__

int space  OBJC2_UNAVAILABLE;

#endif /* variable length structure */

struct objc_method method_list[1]  OBJC2_UNAVAILABLE;

}

里面的objc_method,也就是我们熟悉的Method:

struct objc_method {

SEL _Nonnull method_name OBJC2_UNAVAILABLE;

char* _Nullable method_types  OBJC2_UNAVAILABLE;

IMP _Nonnull method_imp  OBJC2_UNAVAILABLE;

}

Method里面保存了三个参数:

方法的名称

方法的类型

方法的具体实现,由IMP指针指向

经过层层挖掘,我们能明白实例对象调用方法的大致逻辑:

MyClass *myClass = [[MyClass alloc] init];
[myClass printLog];

先被编译成

((void (*)(id, SEL))(void *) objc_msgSend)(myClass, @selector(printLog));

沿着入参myClass的isa指针,找到myClass的类对象(Class),也就是MyClass

接着在MyClass的方法列表methodLists中,找到对应的Method

最后找到Method中的IMP指针,执行具体实现

类对象的类方法又是怎么找到并执行的?

由上文,我们已经知道,实例对象是通过isa指针,找到其类对象(Class)中保存的方法列表中的具体实现

比如:

MyClass *myClass = [[MyClass alloc] init];
[myClass printLog];

可以理解为:printLog方法就是保存在MyClass中的。

那么如果是个类方法,又是保存在什么地方的呢?

我们回顾下Class的定义:

struct objc_class {

Class _Nonnull isa  OBJC_ISA_AVAILABILITY;

#if !__OBJC2__Class _Nullable super_class  OBJC2_UNAVAILABLE;

const char* _Nonnull name OBJC2_UNAVAILABLE;

long version OBJC2_UNAVAILABLE;

long info  OBJC2_UNAVAILABLE;

long instance_size OBJC2_UNAVAILABLE;

struct objc_ivar_list * _Nullable ivars  OBJC2_UNAVAILABLE;

struct objc_method_list * _Nullable * _Nullable methodLists  OBJC2_UNAVAILABLE;

struct objc_cache * _Nonnull cache OBJC2_UNAVAILABLE;

struct objc_protocol_list * _Nullable protocols  OBJC2_UNAVAILABLE;

#endif

} OBJC2_UNAVAILABLE;

可以发现到这一行:

Class _Nonnull isa OBJC_ISA_AVAILABILITY;

这里的isa同样是指向一个Class的指针。上文中,我们也知道了类对象的isa指针是指向元类对象的。那么不难得出:

类对象的类方法,是保存在元类对象中的

类对象和元类对象都是Class类型,仅仅服务的对象不同罢了。找到了元类对象,自然就找到了元类对象中的methodLists,接下来就和实例对象的方法寻找调用一样的流程了。

如何提高方法查找的效率?

上文中,我们大概知道,方法是通过isa指针,查找Class中的methodLists的。如果子类没实现对应的方法实现,还会沿着父类去查找。整个工程,可能有成千上万个方法,是如何解决性能问题的呢?

例如:

for(int i =0; i <100000; ++i) {   
  MyClass *myObject = myObjects[i];   
  [myObject methodA];
}

这种高频次的调用methodA,如果每调用一次都需要遍历,性能是非常差的。所以引入了 Class Cache 机制:

Class Cache 认为,当一个方法被调用,那么它之后被调用的可能性就越大。

查找方法时,会先从缓存中查找,找到直接返回 ;找不到,再去Class的方法列表中找。

在上文中Class的定义中,我们可以发现cache:

struct objc_cache * _Nonnull cache OBJC2_UNAVAILABLE;

说明了缓存是存在类中的,每个类都有一份方法缓存,而不是每个类的object都保存了一份。

关于父类(superclass)

在 Objective-C 中,子类调用一个方法,如果没有子类没有实现,父类实现了,会去调用父类的实现。上文中,找到methodLists后,寻找Method的大致过程如下:

image

ps: 寻找过程不简单,可能会遍历很多遍,因为我们可能会在运行时动态的添加方法(比如category)。遍历的过程中同样不时的去查询缓存表。

消息转发

如果方法列表(methodLists)没找到对应的selector呢?

// ViewController.m 中 (未实现 myTestPrint 方法)

[self performSelector:@selector(myTestPrint:) withObject:@",你好 !"];

系统会提供三次补救的机会。

第一次

+ (BOOL)resolveInstanceMethod:(SEL)sel {} (实例方法)

+ (BOOL)resolveClassMethod:(SEL)sel {}  (类方法)

这两个方法,一个针对实例方法;一个针对类方法。返回值都是Bool。

使用示例:

// ViewController.m 中

void myMethod(id self, SEL _cmd, NSString *nub) {
    NSLog(@"if else boy xx %@",nub);
}

+ (BOOL)resolveInstanceMethod:(SEL)sel {
    if(sel ==@selector(myTestPrint:)){
        class_addMethod([self class], sel ,(IMP)myMethod ,"v@:@");
        returnYES;   
    }
    return[super resolveInstanceMethod : sel];   
}

我们只需要在resolveInstanceMethod:方法中,利用class_addMethod方法,将未实现的myTestPrint:绑定到myMethod上就能完成转发,最后返回YES。

第二次

- (id)forwardingTargetForSelector:(SEL)aSelector {}

这个方法要求返回一个id。使用场景一般是将 A 类的某个方法,转发到 B 类的实现中去。

使用示例:

想转发到Person类中的-myTestPrint:方法中:

@interfacePerson:NSObject

@end

@implementation Person

- (void)myTestPrint:(NSString*)str 
{
    NSLog(@"if else boy xx %@",str);
}

@end

// ViewController.m 中
- (id)forwardingTargetForSelector:(SEL)aSelector {
    if(aSelector == @selector(myTestPrint:)) {
        return[Person new];   
    }
    return[super forwardingTargetForSelector: aSelector];   
}

第三次

- (NSMethodSignature*)methodSignatureForSelector:(SEL)aSelector {}

- (void)forwardInvocation:(NSInvocation*)anInvocation {}

第一个要求返回一个方法签名,第二个方法转发具体的实现。forwardInvocation:参数是一个NSInvocation对象,这个对象需要获取方法签名的信息,而这个签名信息就是从methodSignatureForSelector:方法中获取的。二者相互依赖,只有返回了正确的方法签名,才会执行第二个方法。

这次的转发作用和第二次的比较类似,都是将 A 类的某个方法,转发到 B 类的实现中去。不同的是,第三次的转发相对于第二次更加灵活,forwardingTargetForSelector:只能固定的转发到一个对象forwardInvocation:可以让我们转发到多个对象中去

- (NSMethodSignature *)methodSignatureForSelector:(SEL)aSelector

这个方法返回包含方法描述信息的NSMethodSignature对象,如果找不到方法,则返回nil。如果我们的对象包含一个代理或者对象能够处理它没有直接实现的消息,则我们需要重写这个方法来返回一个合适的方法签名。

对应于实例方法,当然还有一个处理类方法的相应方法,其声明如下:

+ (NSMethodSignature *)instanceMethodSignatureForSelector:(SEL)aSelector

另外,NSObject类提供了两个方法来获取一个selector对应的方法实现的地址,如下所示:

- (IMP)methodForSelector:(SEL)aSelector

+ (IMP)instanceMethodForSelector:(SEL)aSelector

获取到了方法实现的地址,我们就可以直接将IMP以函数形式来调用。

对于methodForSelector:方法,如果接收者是一个对象,则aSelector应该是一个实例方法;如果接收者是一个类,则aSelector应该是一个类方法。

对于instanceMethodForSelector:方法,其只是向类对象索取实例方法的实现。如果接收者的实例无法响应aSelector消息,则产生一个错误。

使用示例:

想转发到Person类以及Animal类中的-myTestPrint:方法中:

@interfacePerson:NSObject

@end

@implementation Person

- (void)myTestPrint:(NSString*)str 

{
    NSLog(@"if else boy xx %@",str);
}

@end

@interfaceAnimal:NSObject

@end

@implementation Animal

- (void)myTestPrint:(NSString*)str 
{
    NSLog(@"tiger%@",str);
}

@end
// ViewController.m 中
- (NSMethodSignature*)methodSignatureForSelector:(SEL)aSelector {
    if(aSelector ==@selector(myTestPrint:)) {
        return [NSMethodSignature signatureWithObjCTypes:"v@:@"];
    }
    return [super methodSignatureForSelector:aSelector];
}

- (void)forwardInvocation:(NSInvocation*)anInvocation {
    Person *person = [Person new];
    Animal *animal = [Animal new];

    if([person respondsToSelector:anInvocation.selector]) {
        [anInvocation invokeWithTarget:person];
    }

    if([animal respondsToSelector:anInvocation.selector]) 
    {
        [anInvocation invokeWithTarget:animal];
    }
}

⚠️ 如果到了第三次机会,还没找到对应的实现,就会 crash:

unrecognized selector sent to instance0x7f9f817072b0

转载链接:https://juejin.im/post/5aa79411f265da237a4cb045iOS 消息发送与转发详解 - 掘金

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 220,137评论 6 511
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 93,824评论 3 396
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 166,465评论 0 357
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 59,131评论 1 295
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 68,140评论 6 397
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 51,895评论 1 308
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 40,535评论 3 420
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 39,435评论 0 276
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 45,952评论 1 319
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 38,081评论 3 340
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 40,210评论 1 352
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 35,896评论 5 347
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 41,552评论 3 331
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 32,089评论 0 23
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 33,198评论 1 272
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 48,531评论 3 375
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 45,209评论 2 357

推荐阅读更多精彩内容

  • Objective-C 是一门动态语言,它将很多静态语言在编译和链接时期做的事情,放到了运行时来处理。之所以能具备...
    Untils阅读 459评论 0 7
  • 转至元数据结尾创建: 董潇伟,最新修改于: 十二月 23, 2016 转至元数据起始第一章:isa和Class一....
    40c0490e5268阅读 1,725评论 0 9
  •   最近看了『神奇的 BlocksKit』系列,里面说到动态代理是BlocksKit的精华部分,对于使用block...
    foreverSun_122阅读 1,153评论 1 7
  • Objective-C语言是一门动态语言,他将很多静态语言在编译和链接时期做的事情放到了运行时来处理。这种动态语言...
    tigger丨阅读 1,404评论 0 8
  • 完全数:又称为完美数或完备数,是一些特殊的自然数。它所有的真因子(即除了自身以外的约数)的和(即因子函数),恰好等...
    iarchitect阅读 3,238评论 0 0