美文网首页
方法的本质

方法的本质

作者: 今年27 | 来源:发表于2022-09-08 10:24 被阅读0次

1.消息的快速查找
主要源码在汇编中,大概逻辑就是去cache_t里面查找
2.消息的慢速查找
核心 lookUpImpOrForward

IMP lookUpImpOrForward(id inst, SEL sel, Class cls, int behavior)
{
    // 定义的消息转发
    const IMP forward_imp = (IMP)_objc_msgForward_impcache; 
    IMP imp = nil;
    Class curClass;

    runtimeLock.assertUnlocked();

    // 快速查找,如果找到则直接返回imp
    //目的:防止多线程操作时,刚好调用函数,此时缓存进来了
    if (fastpath(behavior & LOOKUP_CACHE)) { 
        imp = cache_getImp(cls, sel);
        if (imp) goto done_nolock;
    }
    
    //加锁,目的是保证读取的线程安全
    runtimeLock.lock();
    
    //判断是否是一个已知的类:判断当前类是否是已经被认可的类,即已经加载的类
    checkIsKnownClass(cls); 
    
    //判断类是否实现,如果没有,需要先实现,此时的目的是为了确定父类链,方法后续的循环
    if (slowpath(!cls->isRealized())) { 
        cls = realizeClassMaybeSwiftAndLeaveLocked(cls, runtimeLock);
    }

    //判断类是否初始化,如果没有,需要先初始化
    if (slowpath((behavior & LOOKUP_INITIALIZE) && !cls->isInitialized())) { 
        cls = initializeAndLeaveLocked(cls, inst, runtimeLock);
    }

    runtimeLock.assertLocked();
    curClass = cls;

    //----查找类的缓存
    
    // unreasonableClassCount -- 表示类的迭代的上限
    //(猜测这里递归的原因是attempts在第一次循环时作了减一操作,然后再次循环时,仍在上限的范围内,所以可以继续递归)
    for (unsigned attempts = unreasonableClassCount();;) { 
        //---当前类方法列表(采用二分查找算法),如果找到,则返回,将方法缓存到cache中
        Method meth = getMethodNoSuper_nolock(curClass, sel);
        if (meth) {
            imp = meth->imp;
            goto done;
        }
        //当前类 = 当前类的父类,并判断父类是否为nil
        if (slowpath((curClass = curClass->superclass) == nil)) {
            //--未找到方法实现,方法解析器也不行,使用转发
            imp = forward_imp;
            break;
        }

        // 如果父类链中存在循环,则停止
        if (slowpath(--attempts == 0)) {
            _objc_fatal("Memory corruption in class list.");
        }

        // --父类缓存
        imp = cache_getImp(curClass, sel);
        if (slowpath(imp == forward_imp)) { 
            // 如果在父类中找到了forward,则停止查找,且不缓存,首先调用此类的方法解析器
            break;
        }
        if (fastpath(imp)) {
            //如果在父类中,找到了此方法,将其存储到cache中
            goto done;
        }
    }

    //没有找到方法实现,尝试一次方法解析

    if (slowpath(behavior & LOOKUP_RESOLVER)) {
        //动态方法决议的控制条件,表示流程只走一次
        behavior ^= LOOKUP_RESOLVER; 
        return resolveMethod_locked(inst, sel, cls, behavior);
    }

 done:
    //存储到缓存
    log_and_fill_cache(cls, imp, sel, inst, curClass); 
    //解锁
    runtimeLock.unlock();
 done_nolock:
    if (slowpath((behavior & LOOKUP_NIL) && imp == forward_imp)) {
        return nil;
    }
    return imp;
}

基本逻辑就是先在本类的methodlist中查找如果找不到,就到父类缓存中查找,父类的缓存查不到就到父类的methodlist中查找,一旦找到就加入catche_t中

3.消息的转发:动态方法决议 & 消息转发


消息的转发

1,消息的动态方法决议
即resolveClassMethod
resolveInstanceMethod
2,消息的快速转发
forwardingTargetForSelector
3, 消息的慢速转发
methodSignatureForSelector + resolveInvocation

相关文章

  • 01--方法本质03--面试题分析

    对方法的探索,全篇分六个章节01-方法本质-方法初探02-方法本质-objc_msgSend的使用03-方法本质-...

  • 01--方法本质04--lookUpImpOrForward 介

    对方法的探索,全篇分六个章节01-方法本质-方法初探02-方法本质-objc_msgSend的使用03-方法本质-...

  • 01--方法本质02--objc_msgSend的使用

    对方法的探索,全篇分六个章节01-方法本质-方法初探02-方法本质-objc_msgSend的使用03-方法本质-...

  • 01--方法本质06--消息转发流程

    对方法的探索,全篇分六个章节01-方法本质-方法初探02-方法本质-objc_msgSend的使用03-方法本质-...

  • 01--方法本质05--消息查找流程

    对方法的探索,全篇分六个章节01-方法本质-方法初探02-方法本质-objc_msgSend的使用03-方法本质-...

  • 方法的本质

    探索方法的本质 一个最基本的方法调用代码 方法的调用底层到底是个什么东西呢我们可以利用clang的一些命令 cla...

  • 方法的本质

    编译时和运行时 编译时:顾名思义就是正在编译的时候 . 那啥叫编译呢?就是编译器帮你把源代码翻译成机器能识别的代码...

  • 方法的本质

    1.消息的快速查找主要源码在汇编中,大概逻辑就是去cache_t里面查找2.消息的慢速查找核心 lookUpImp...

  • iOS底层原理总结 - 探寻Runtime本质(三)

    方法调用的本质 本文我们探寻方法调用的本质,首先通过一段代码,将方法调用代码转为c++代码查看方法调用的本质是什么...

  • Runtime的本质3-方法调用的本质

    1. 方法调用的本质 本文我们探寻方法调用的本质,首先通过一段代码,将方法调用代码转为c++代码查看方法调用的本质...

网友评论

      本文标题:方法的本质

      本文链接:https://www.haomeiwen.com/subject/odrgnrtx.html