12.6 OC如何通过sel找到imp(消息传递中IMP的查找逻辑+消息转发的逻辑)

参考内容:Objective-C消息发送与转发机制原理

首先看下objc_msgSend的汇编入口。

UNWIND _objc_msgSend, NoFrame:定义了一些段存储数据对象,简单来说就是类似于结构体数据对象

NilTest:判断接受消息的对象是否为nil,如果为nil直接返回,这就是对nil发送消息无效的原因。

GetIsaFast:快速获取到isa指向的对象,是一个类对象还是元类对象。

CacheLookup:在类的缓存在查找selector对应的IMP。

如果没有再缓存中查到 就执行LCacheMiss下边的方法,跳转到__objc_msgSend_uncached

跳转到MethodTableLookup中,也就是要去方法列表中去查找IMP。

在MethodTableLookup中暴露出来的我们能看到的唯一的动作就是__class_lookupMethodAndLoadCache3这个方法。查找方法列表并加载缓存。

我们看到内部其实就是调用了lookUpImpOrForward方法,参数分别是:

是否需要进行初始化。

在+(void)initialize方法详解有介绍,用于后续和另外一个条件共同判断是否需要调用initialize方法。

是否需要在缓存中查找。

因为在msgSend的汇编语言中,已经调用过CacheLookup方法,没有再缓存中找到,才进入到这里,所以不再需要在缓存中查找。

是否需要动态解析。

消息转发的第一步。

接下来详细说下lookUpImpOrForward这个函数吧。

IMP lookUpImpOrForward(Class cls, SEL sel, id inst,

                       bool initialize, bool cache, bool resolver)

{

    IMP imp = nil;

    bool triedResolver = NO;

    runtimeLock.assertUnlocked();

//如果cache是yes,就从缓存中查找IMP,但是从Cache3函数进来,传入参数是NO,下边的if直接忽略

    if (cache) {

        imp = cache_getImp(cls, sel);

        if (imp) return imp;

    }

    runtimeLock.lock();

    checkIsKnownClass(cls);

//判断类是否已经被创建,如果没有则将类实例化

    if (!cls->isRealized()) {

//realizeClass方法的调用是类实例化,类呗创建的标志

        realizeClass(cls);

    }

    if (initialize  &&  !cls->isInitialized()) {

        runtimeLock.unlock();

        _class_initialize (_class_getNonMetaClass(cls, inst));

        runtimeLock.lock();

    }


 retry:   

    runtimeLock.assertLocked();

   //在该类下的缓存中查找IMP

    imp = cache_getImp(cls, sel);

    if (imp) goto done;

   // 没找到就在该类的方法列表中获取Method,进行对比,是要查找的方法就加入缓存,并获取IMP返回

    {

        Method meth = getMethodNoSuper_nolock(cls, sel);

        if (meth) {

            log_and_fill_cache(cls, meth->imp, sel, inst, cls);

            imp = meth->imp;

            goto done;

        }

    }

    // 获取当前类的父类,在其父类中查找

    {

        unsigned attempts = unreasonableClassCount();

        for (Class curClass = cls->superclass;

             curClass != nil;

             curClass = curClass->superclass)

        {

            // Halt if there is a cycle in the superclass chain.

            if (--attempts == 0) {

                _objc_fatal("Memory corruption in class list.");

            }


            // 在父类的缓存列表中查找

            imp = cache_getImp(curClass, sel);

            if (imp) {

                if (imp != (IMP)_objc_msgForward_impcache) {

                    // 如果发现父类的方法符合条件,并且不再缓存中,在下边的函数中缓存方法.

                    log_and_fill_cache(cls, imp, sel, inst, curClass);

                    goto done;

                }

                else {

                   // 如果imp在缓存中查找到的是一个_objc_msgForward_impcache标志,那说明之前在父类的缓存中

                    // 查找过这个方法,而且并没有找到对应的方法,这个标志是一个应该进入消息转发流程的标志。实际上

                    // 他只是结束了当前继承链查找的循环,下边的第一步就是进行动态解析,但是是否直接进行动态解析,

                    // 还是要通过条件判断

                    break;

                }

            }


            // 父类的方法列表中查找

            Method meth = getMethodNoSuper_nolock(curClass, sel);

            if (meth) {

                log_and_fill_cache(cls, meth->imp, sel, inst, curClass);

                imp = meth->imp;

                goto done;

            }

        }

    }

   // 在继承链中的所有父类都没有找到索要的方法,通过传参的resolver来判断,是否需要动态解析,triedResolver用来限制动态解析只能进行一次

    if (resolver  &&  !triedResolver) {

        runtimeLock.unlock();

        _class_resolveMethod(cls, sel, inst);

        runtimeLock.lock();

        triedResolver = YES;

        goto retry;

    }

   // 如果当前类和他所有父类都没有找到方法的实现,并且动态解析也没有找到方法的话,就将其标记为_objc_msgForward_impcache

    imp = (IMP)_objc_msgForward_impcache;

    cache_fill(cls, sel, imp, inst);

 done:

    runtimeLock.unlock();

    return imp;

}

最后 lookUpImpOrForward 方法也会把真正的IMP或者需要消息转发的 _objc_msgForward_impcache 返回,并最终传递到 objc_msgSend 中。而 _objc_msgForward_impcache 会再转化成 _objc_msgForward 或 _objc_msgForward_stret。

之后就是消息转发的流程了。这里所说的消息转发的流程就不包括【动态解析】这一步了。

具体查看消息转发机制的第二个阶段。


关于动态方法解析:

简述如何通过sel找到imp:

每一个类对象中都一个方法列表,方法列表中记录着方法的名称,方法实现,以及参数类型,其实selector本质就是方法名称,通过这个方法名称首先在当前类的缓存中查找,如果没有就去方法列表中查找,如果还是没有就去父类的缓存中查找, 如果查找结果是_objc_msgForward_impcache 就证明之前查找过,没有查找到,进入消息转发,如果能查找到对应的imp则直接调用,如果没有查找到任何结果,在去方法列表中查找,直到基类中还是没有查找到,那么在消息转发之前还有最后一次动态解析的机会,如果动态解析也没有查找到方法的实现,  则在当前类方法缓存中标记_objc_msgForward_impcache。代表查找不到

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