前言

   在iOS底层探索--方法慢速查找篇章中如果慢速查找找不到Method的imp，imp = _objc_msgForward_impcache然后break跳出死循环，在return_objc_msgForward_impcache会进行一次方法决议：resolveMethod_locked(inst, sel, cls, behavior),给一次机会

一、_objc_msgForward_impcache汇编流程

//******** __objc_msgForward_impcache**********************************************************
STATIC_ENTRY __objc_msgForward_impcache
    // No stret specialization.
    b   __objc_msgForward   // 调转__objc_msgForward
    END_ENTRY __objc_msgForward_impcache

//******** __objc_msgForward**********************************************************
ENTRY __objc_msgForward
    adrp    x17, __objc_forward_handler@PAGE
    ldr p17, [x17, __objc_forward_handler@PAGEOFF]
    TailCallFunctionPointer x17
    END_ENTRY __objc_msgForward

//******** TailCallFunctionPointer**********************************************************
.macro TailCallFunctionPointer
    // $0 = function pointer value
    br  $0  // 直接根据寄存器寻址调转寄存器0的地址
.endmacro

__objc_msgForward_impcache的汇编里面就一句代码，就是调转__objc_msgForward，而这个流程中__objc_msgForward的TailCallFunctionPointer里面就是寄存器寻址调转，也就是调转$0寄存器，这个寄存器就是下面两句之后的值：

adrp x17, __objc_forward_handler@PAGE
ldr p17, [x17, __objc_forward_handler@PAGEOFF]
也就是拿到_objc_forward_handler，然后调用，在objc源码全局搜索一下发现在objc-runtime.mm文件中找到他的赋值，类似一个句柄，在底层实现，在非OBJC2中是默认是空的，在OBJC2中默认等于 objc_defaultForwardHandler就是打印一些东西，这就可以解释了这个经典的错误:
Terminating app due to uncaught exception 'NSInvalidArgumentException', reason: '-[PSYPerson happy]: unrecognized selector sent to instance 0x101021350'
底层也提供了自定义定制的API：void objc_setForwardHandler

#if !__OBJC2__    // 非OBJC2**************************

// Default forward handler (nil) goes to forward:: dispatch.
void *_objc_forward_handler = nil;
void *_objc_forward_stret_handler = nil;

#else

// // OBJC2的默认值*************************
__attribute__((noreturn, cold)) void
objc_defaultForwardHandler(id self, SEL sel)
{
    _objc_fatal("%c[%s %s]: unrecognized selector sent to instance %p "
                "(no message forward handler is installed)", 
                class_isMetaClass(object_getClass(self)) ? '+' : '-', 
                object_getClassName(self), sel_getName(sel), self);
}
void *_objc_forward_handler = (void*)objc_defaultForwardHandler;

#if SUPPORT_STRET
struct stret { int i[100]; };
__attribute__((noreturn, cold)) struct stret
objc_defaultForwardStretHandler(id self, SEL sel)
{
    objc_defaultForwardHandler(self, sel);
}
void *_objc_forward_stret_handler = (void*)objc_defaultForwardStretHandler;
#endif

#endif
// 支持定制
void objc_setForwardHandler(void *fwd, void *fwd_stret)
{
    _objc_forward_handler = fwd;
#if SUPPORT_STRET
    _objc_forward_stret_handler = fwd_stret;
#endif
}

二、 动态方法决议

方法决议流程如下：

1. 如果 非元类 !cls->isMetaClass() ，也就是如果是对象方法
   • 调用对象的解析方法 resolveInstanceMethod(inst, sel, cls);
     • 查找这个方法resolveInstanceMethod:,如果没有找到就直接停止解析。（其实这个方法是一定有的，在NSObject中已经实现，返回了NO，相当于系统兜底了）
     • 调用objc_msgSend(cls, resolveInstanceMethod:, sel), sel是一个参数
     • 缓存结果将+resolveInstanceMethod:方法添加到类的cache中，下次resolver解析器就不执行了imp = lookUpImpOrNilTryCache(inst, sel, cls);
2. 如果是元类 ，即调用的类方法
   • 调用类的解析方法 resolveClassMethod(inst, sel, cls);
     • 查找这个方法resolveClassMethod:,如果没有找到就直接停止解析。（其实这个方法是一定有的，在NSObject中已经实现，返回了NO，相当于系统兜底了）
     • 调用objc_msgSend(cls, resolveClassMethod:, sel), sel是一个参数
     • 缓存结果将+resolveClassMethod:方法添加到元类cache中，下次resolver就不执行了imp = lookUpImpOrNilTryCache(inst, sel, cls);
   • 如果尝试查找元类的缓存
   • 如果元类中缓存为空，则解析原类中的对象方法resolveInstanceMethod(inst, sel, cls);，因为类方法在元类中是对象方法
3. 因为上面流程可能已经指向一个对象的某个SEL了，所以继续lookUpImpOrForwardTryCache(inst, sel, cls, behavior);走方法查找流程

既然底层给了一次机会解析，那我得兜着，实现一下动态解析这两个方法：运行之后发现无论是调用没实现的对象方法，或者是类方法都打印了两次：对象方法动态决议：happy和类方法动态决议：happy，为什么呢？不是给了一次机会而已吗？

实现动态解析这两个方法

对象方法

类方法

第一次进lookUpImpOrForward

第一次进resolveMethod_locked

第二次进lookUpImpOrForward

第二次进resolveMethod_locked

三、消息的转发流程

  我们在方法的流程中，慢速查找方法的时候，有个函数log_and_fill_cache，填充缓存并有一个log打印，根据objcMsgLogEnabled为YES时在临时文件/tmp/msgSends-xxxx打印，而objcMsgLogEnabled默认是false，它的设置是在方法void instrumentObjcMessageSends(BOOL flag)，我们可以在声明外部函数只打印调用未实现的方法的流程，并在/tep/路径下看到msgSends-xxx文件的打印如图：

image.png

可以看到resolveInstanceMethod:之后还有forwardingTargetForSelector:、methodSignatureForSelector:最后才到doesNotRecognizeSelector:并且方法动态决议的时候走了两次，第二次进来是由CodeFundation框架的_CF_forwarding_prep_0触发的。这其中的流程可以使用CodeFundation库借助IDA或者hopper看看伪代码流程或者汇编流程。感兴趣的朋友可以慢慢看一下，文章就不带大家看了，所以得出整个消息转发的流程如下图：

消息转发流程