美文网首页
方法的本质

方法的本质

作者: 今年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

    相关文章

      网友评论

          本文标题:方法的本质

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