消息流程分析之 动态方法决议 & 消息转发

最新推荐文章于 2023-06-04 20:20:53 发布
最新推荐文章于 2023-06-04 20:20:53 发布
阅读量152 收藏
点赞数
文章标签： ios objective-c
原文链接：https://juejin.im/post/6895755250272534541
版权
  • 准备工作
    1. objc4-781可编译源码 github.com/Bore-TuDou/…
    2. 创建一个TDPerson 里面有一个没有实现的实例方法sayNB和一个没有实现的类方法sayHappy，然后在创建一个TDStudent继承TDPerson,然后TDStudent中有一个没有实现的实例方法say666和一个没有实现的类方法say888
  • 动态方法决议 & 消息转发执行时机

    上面一篇文章有提到过慢速查找之后还没有找到辉县判断是否有执行过动态方法决议如果如果没有执行则进入到动态方法决议，如果已经执行了一次动态方法决议，则进入到消息转发，如果动态方法决议未被实现，同时消息转发也未被处理最后就会报错，所以在程序崩溃之前苹果还是给了两次补救的机会：

    1. 动态方法决议
    2. 消息转发
  • 动态方法决议
    • 源码分析
    static NEVER_INLINE IMP
 resolveMethod_locked(id inst, SEL sel, Class cls, int behavior)
 {
     runtimeLock.assertLocked();
     ASSERT(cls->isRealized());

     runtimeLock.unlock();

     if (! cls->isMetaClass()) {
         //如果当前传入的cls是一个类的话则调用对象的解析方法
         // try [cls resolveInstanceMethod:sel]
         resolveInstanceMethod(inst, sel, cls);
     } 
     else {
         //如果当前传入的cls是一个元类的话则调用类的解析方法
         // try [nonMetaClass resolveClassMethod:sel]
         // and [cls resolveInstanceMethod:sel]
         resolveClassMethod(inst, sel, cls);
         if (!lookUpImpOrNil(inst, sel, cls)) {
             //如果没有找到或者为空，在元类的对象方法解析方法中查找
             //应为类其实就是元类的实例对象所以类方法其实就是元类的实例方法，所以
             //还需要查询元类的对象方法的动态方法决议
             resolveInstanceMethod(inst, sel, cls);
         }
     }

     // chances are that calling the resolver have populated the cache
     // so attempt using it
     //再次慢速查找一次方法
     return lookUpImpOrForward(inst, sel, cls, behavior | LOOKUP_CACHE);
 }

    • 流程分析

    • 关于实例方法的处理

      • 源码解析

作为一个开发者，有一个学习的氛围跟一个交流圈子特别重要，这里有一个iOS交流群：[891488181]不管你是大牛还是小白都欢迎入驻 ，分享BAT,阿里面试题、面试经验，讨论技术， 大家一起交流学习成长！

    ```
    static void resolveInstanceMethod(id inst, SEL sel, Class cls)
    {
        runtimeLock.assertUnlocked();
        ASSERT(cls->isRealized());
        SEL resolve_sel = @selector(resolveInstanceMethod:);

        //一个简单的容错处理如果没有查找到resolveInstanceMethod方法的实现直接return
        //正常情况下resolveInstanceMethod都有实现的
        if (!lookUpImpOrNil(cls, resolve_sel, cls->ISA())) {
            // Resolver not implemented.
            return;
        }

        BOOL (*msg)(Class, SEL, SEL) = (typeof(msg))objc_msgSend;
        //发送resolve_sel消息
        bool resolved = msg(cls, resolve_sel, sel);

        // Cache the result (good or bad) so the resolver doesn't fire next time.
        // +resolveInstanceMethod adds to self a.k.a. cls
        //再次查找
        IMP imp = lookUpImpOrNil(inst, sel, cls);

        if (resolved  &&  PrintResolving) {
            if (imp) {
                _objc_inform("RESOLVE: method %c[%s %s] "
                             "dynamically resolved to %p", 
                             cls->isMetaClass() ? '+' : '-', 
                             cls->nameForLogging(), sel_getName(sel), imp);
            }
            else {
                // Method resolver didn't add anything?
                _objc_inform("RESOLVE: +[%s resolveInstanceMethod:%s] returned YES"
                             ", but no new implementation of %c[%s %s] was found",
                             cls->nameForLogging(), sel_getName(sel), 
                             cls->isMetaClass() ? '+' : '-', 
                             cls->nameForLogging(), sel_getName(sel));
            }
        }
    }
    ```

    *   源码解读从上面的源码我们可以得到的消息是我们还有一个补救的机会就是重写`resolveInstanceMethod`方法，然后程序会再次查找方法，当然重写了`resolveInstanceMethod`方法但是里面没有相关的实现最后还是会崩溃，如果想要防止崩溃可以再`resolveInstanceMethod`方法中将`say666`方法的实现指向一个实现了的方法如下代码，就是讲`say666`的实现指向了`sayGooyBye`,然后在加入到方法列表，然后在查找根据`say666`就能查到`sayGoodBye`的实现

    ```
    +(BOOL)resolveInstanceMethod:(SEL)sel{
        if (sel == @selector(say666)) {
            NSLog(@"%@ 来了", NSStringFromSelector(sel));
            //获取sayGoodBye方法的imp
            IMP imp = class_getMethodImplementation(self, @selector(sayGoodBye));
            //获取sayGoodBye的实例方法
            Method sayMethod  = class_getInstanceMethod(self, @selector(sayGoodBye));
            //获取sayGoodBye的方法签名
            const char *type = method_getTypeEncoding(sayMethod);
            //将sel的实现指向sayGoodBye 并加入到方法列表
            return class_addMethod(self, sel, imp, type);
        }
        return [super resolveInstanceMethod:sel];
    }
    ```

    此时我们在看控制台的打印信息![](https://upload-images.jianshu.io/upload_images/25061170-e50d5da5957de404.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240)


*   **关于类方法的处理**
    *   源码解析![](https://upload-images.jianshu.io/upload_images/25061170-b393287d404e9cc5.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240)


    同样的还是这一块代码，但是会走else里面的代码
    *   源码解读
        从上述代码可以看出，如果类方法找不到，这里会有两个地方可以补救（实例方法只有一个地方`resolveInstanceMethod`）一个是重写`resolveClassMethod`方法还一个是在元类中重写`resolveInstanceMethod`方法，代码如下：![](https://upload-images.jianshu.io/upload_images/25061170-961aba3f7e7e041b.png?imageMogr2/auto-orient/strip%7CimageView2/2/w/1240)

*   **关于崩溃处理的优化方法**
    *   明确`resolveInstanceMethod`方法和`resolveClassMethod`方法的查找路径
        实例方法：类->父类->根类->nil
        类方法： 元类->根元类->根类->nil
    *   代码实现及思路
        从上面可以得知实例方法和类方法查找路径上都会经过根类，且根类是最后一环，所以我们只要创建一个根类的分类然后重写`resolveInstanceMethod`方法和`resolveClassMethod`方法就能做到拦截所有崩溃方法，如下代码实现：

        ```
        //
        //  NSObject+cash.m
        //  KCObjc
        //
        //  Created by huahua on 2020/11/15.
        //

        #import "NSObject+cash.h"
        #import <objc/runtime.h>

        @implementation NSObject (cash)

        +(BOOL)resolveClassMethod:(SEL)sel{
            NSLog(@"%@ 来了", NSStringFromSelector(sel));
            if (sel == @selector(say888)) {
        //        NSLog(@"%@ 来了", NSStringFromSelector(sel));
                //获取sayGoodBye方法的imp
                IMP imp = class_getMethodImplementation(self, @selector(sayGoodBye));
                //获取sayGoodBye的实例方法
                Method sayMethod  = class_getInstanceMethod(self, @selector(sayGoodBye));
                //获取sayGoodBye的方法签名
                const char *type = method_getTypeEncoding(sayMethod);
                //将sel的实现指向sayGoodBye 并加入到方法列表
                return class_addMethod(objc_getMetaClass("TDStudent"), sel, imp, type);
            }
            return NO;
        }

        +(BOOL)resolveInstanceMethod:(SEL)sel{
            NSLog(@"%@ 来了", NSStringFromSelector(sel));
            if (sel == @selector(say888)) {
        //        NSLog(@"%@ 来了", NSStringFromSelector(sel));
                //获取sayGoodBye方法的imp
                //因为类方法是元类的实例方法所以这里要传入元类
                IMP imp = class_getMethodImplementation(objc_getMetaClass("TDStudent"), @selector(sayhai));
                //获取sayGoodBye的实例方法
                Method sayMethod  = class_getInstanceMethod(objc_getMetaClass("TDStudent"), @selector(sayhai));
                //获取sayGoodBye的方法签名
                const char *type = method_getTypeEncoding(sayMethod);
                //将sel的实现指向sayGoodBye 并加入到方法列表
                return class_addMethod(objc_getMetaClass("TDStudent"), sel, imp, type);
            }else if(sel == @selector(say666)){
                IMP imp = class_getMethodImplementation(self, @selector(sayGoodBye));
                //获取sayGoodBye的实例方法
                Method sayMethod  = class_getInstanceMethod(self, @selector(sayGoodBye));
                //获取sayGoodBye的方法签名
                const char *type = method_getTypeEncoding(sayMethod);
                //将sel的实现指向sayGoodBye 并加入到方法列表
                return class_addMethod(self, sel, imp, type);
            }
            return NO;
        }

        @end

        ```
  • 消息转发

    单纯的阅读源码你会发现源码上显示的是如果动态决议已经执行过一次了，就会直接报错，但是其实苹果还给了一个消息换发的机会

    • 查找消息转发的流程方法

      • 通过instrumentObjcMessageSends方式打印发送消息的日志
        首先看源码我们知道如果执行过动态方法决议之后回来到log_and_fill_cache方法

        点进log_and_fill_cache查看

        发现log_and_fill_cache方法的作用就是方法缓存和是否调用logMessageSend方法再看logMessageSend方法源码实现

        从这一步可以确认log_and_fill_cache方法就是一个方法缓存和判断是否需要打印日志的一个方法，在打印日志的条件objcMsgLogEnabled && implementerimplementer是传入的类（类或者元类）所以只要objcMsgLogEnabled为true就能打印日志,再看objcMsgLogEnabled

        发现是在instrumentObjcMessageSends方法中赋值的，所以在main函数中调用一下instrumentObjcMessageSends方法，将objcMsgLogEnabled赋值成true(这里注意需要先声明instrumentObjcMessageSends方法)如下代码：

        ,再去/tmp文件夹中找到对应的日志文件

      • 通过hopper/IDA反编译
        首先查看出错的堆栈信息：

        然后通过image list指令查找整个镜像文件的执行路径然后搜索CoreFountion,查找到其路径并找到对应的可执行文件

       拖进hopper然后左边栏搜索___forwarding___如下[![](https://img-blog.csdnimg.cn/img_convert/9fa7c3d9a920fb5b9da4a03d2c99005e.png)

看伪代码发现首先判断`forwardingTargetForSelector`方法有没有实现，如果没有实现就跳到`loc_64a67`（慢速转发）有实现但是返回值是nil的时候直接报错![](https://img-blog.csdnimg.cn/img_convert/5cc8ca153fff6bd8dcdbdaf55f92c3d5.png)

然后再判断`methodSignatureForSelector`方法 有没有实现，没有实现直接报错了![](https://img-blog.csdnimg.cn/img_convert/c2337bd25c9035267537b90fa378c39a.png)


      同样的如果返回值是nil也是会直接报错，如果不为空的话则在`forwardInvocation`方法中对`invocation`进行处理![](https://img-blog.csdnimg.cn/img_convert/48e19efc34f2362c632001d803788b47.png)

    • 快速转发

      • forwardingTargetForSelector
      • 崩溃处理 实现forwardingTargetForSelector方法并返回对应的消息接受者（消息接受者中要有同名方法的实现）如下代码：

    • 慢速转发

      • methodSignatureForSelector

      • forwardInvocation

      • 崩溃处理 首先实现methodSignatureForSelector返回方法签名，然后再实现forwardInvocation方法

        也可以处理invocation，修改target然后触发事务

    • 消息转发流程图

作者：Potato_土豆
链接：https://juejin.im/post/6895755250272534541

henry_lei
关注
iOS之深入解析objc_msgSend消息转发机制的底层原理
╰つ栺尖篴夢ゞ
10-13 3万+
一、抛砖引玉 objc_msgSend() 消息发送的过程就是 通过 SEL 查找 IMP 的过程 。 objc_msgSend() 是用 汇编语言 实现的，使用汇编实现的优势是： 消息发送的过程需要足够的快速，高级语言在执行的时候都是需要翻译成汇编语言，经过编译成被机器识别的 二进制文件 ，使用汇编可以省去这一翻译过程，可以更快速被机器识别； 对于消息的发送，存在很多未知的参数，这有很多不确定性，使用 汇编的寄存器 要比 C 或者 C++ 表现好的多。 objc_msgSend() 通过汇编
【iOS底层】10：消息动态决议
miaocuilin的专栏
07-06 127
一、方法实现缺失报错 @interface LGPerson : NSObject - (void)sayHello; + (void)sayHelloPlus; - (void)sayPerson; + (void)sayPersonPlus; @end @implementation LGPerson - (void)sayPerson{ NSLog(@"%s",__func__); } + (void)sayPersonPlus{ NSLog(@"%s",__func__);
iOS 多线程知识体系构建(三)：GCD API（queue.h）解析篇
henry_lei的博客
11-18 590
Grand Central Dispatch (GCD) 是 Apple 开发的一个多核编程的较新的解决方法。 Execute code concurrently on multicore hardware by submitting work to dispatch queues managed by the system.  通过提交工作到 dispatch 系统管理的队列（dispatch queues），在多核硬件上同时执行代码。主要用于优化应用程序以支持多核处理器以及其他对称多处理系统。可以.
Swift 3必看：从使用场景了解GCD新API
weixin_34101229的博客
10-06 132
swift 3中对C层级的GCD的API进行了彻头彻尾的改变。本文将从实际使用场景来了解一下新的api使用。 dispatch_async 一个常见的场景就是在一个全局队列进行一些操作后切换到主线程配置UI。现在是这么写： DispatchQueue.global().async { // code DispatchQueue.main.async { // 主线程...
iOS-底层原理 14：objc_msgSend流程分析之 动态方法决议 & 消息转发
lin1109221208的博客
09-25 586
iOS 底层原理 文章汇总 引子 在前面两篇文章iOS-底层原理 12：objc_msgSend流程分析之快速查找和iOS-底层原理 13：objc_msgSend流程分析之慢速查找中，分别分析了objc_msgSend的快速查找和慢速查找，在这两种都没找到方法实现的情况下，苹果给了两个建议 动态方法决议：慢速查找流程未找到后，会执行一次动态方法决议 消息转发：如果动态方法决议仍然没有找到实现，则进行消息转发 如果这两个建议都没有做任何操作，就会报我们日常开发中常见的方法未实现的崩溃报错，其步骤如下.
动态方法决议 和 消息转发
songhongri的专栏
05-06 2221
如果我们在 Objective C 中向一个对象发送它无法处理的消息，会出现什么情况呢？我们知道发送消息是通过 objc_send(id, SEL, ...) 来实现的，它会首先在对象的类对象的 cache，method list 以及父类对象的 cache, method list 中依次查找 SEL 对应的 IMP；这个是需要对类对象的结构熟悉，不清楚的可以参考我的下一篇文章《object
触摸事件分发机制-流程图
q563717212的专栏
08-31 398
【iOS】消息传递和消息转发机制
最新发布
m0_63852285的博客
06-04 1253
检查消息接收者receiver是否存在，为nil则不做任何处理通过receiver的isa指针找到对应的class类对象找到class类对象进行内存平移，找到cache从cache中获取buckets从buckets中对比参数sel，看在缓存里有没有同名方法如果buckets中有对应的sel --> cacheHit --> 调用imp。
iOS开发底层之消息的快速与慢速转发 - 11
zhonggaorong的专栏
07-08 491
文章目录前言一、pandas是什么？二、使用步骤1.引入库2.读入数据总结 前言 提示：这里可以添加本文要记录的大概内容： 例如：随着人工智能的不断发展，机器学习这门技术也越来越重要，很多人都开启了学习机器学习，本文就介绍了机器学习的基础内容。 提示：以下是本篇文章正文内容，下面案例可供参考 一、pandas是什么？ 示例：pandas 是基于NumPy 的一种工具，该工具是为了解决数据分析任务而创建的。 二、使用步骤 1.引入库 代码如下（示例）： import numpy as np import
利用OC的消息转发机制实现多重代理
kingjxust的专栏
11-01 4308
利用OC的消息转发机制实现多重代理，在Objective-C中，经常使用delegate来在对象之间通信，但是delegate一般是对象间一对一的通信，有时候我们希望delegate方法由多个不同的对象来处理，比如UITableView继承于UIScrollView,我们希望他的delegate中UIScrollViewDelegate的方法
ios demo,dispatch_async,DISPATCH_QUEUE_CONCURRENT,多任务并发执行，自动创建多线程
12-08
ios demo,dispatch_async,DISPATCH_QUEUE_CONCURRENT,多任务并发执行，自动创建多线
GCD之dispatch queue深入浅出
热门推荐
碧水蓝天
07-24 3万+
iOS中多线程编程工具主要有：  NSThreadNSOperationGCD 这三种方法都简单易用,各有千秋.但无疑GCD是最有诱惑力的,因为其本身是apple为多核的并行运算提出的解决方案.虽然当前移动平台用双核的不多,但不影响GCD作为多线程编程的利器(ipad2已经是双核了,这无疑是一个趋势). http://www.cnblogs.com/scorpiozj/archive/2
GCD 中的队列
集腋成裘
03-17 1368
GCD 中的队列 GCD 所提供的 API 虽然简单，但是十分强大。其提供了两种类型的队列，一种串行队列，一种并行队列。 提交到串行队列中的 block 任务遵循先进先出的顺序，由系统维护的线程池中的线程执行。虽然任务的执行线程是不确定的， 但是同一个时刻，同一个队列中的任务只会有一个任务在执行。但是，不同串行队列中的任务是并行的。 提交到并行队列中的任务则不同，系统会根据需要创建线程，并行执行队...
GCD 源码分析之全局线程优先级
bravegogo的专栏
03-06 891
获取全局队列 DISPATCH_EXPORT DISPATCH_CONST DISPATCH_WARN_RESULT DISPATCH_NOTHROW dispatch_queue_t dispatch_get_global_queue(long identifier, unsigned long flags);  获取
创建Dispatch Queue
richard_如风的专栏
08-19 2045
第一、dispatch_queue_create 用于创建用户线程队列。可以创建Serial Dispatch Queue 和Concurrent Dispatch Queue两种队列，Serial Dispatch Queue是等待现在正在执行的Queue，即串行执行 Concurrent Dispatch Queue不等待现在正在执行中的Queue,即并行队列 1、创建Serial Dis
iOS多线程之GCD——基本概念与队列（Dispatch Queue）
24新的起点
03-11 8229
GCD(Grand Central Dispatch)介绍，创建管理队列，调度队列任务,长久运行
Dispatch Queue API 详解
Hello World
09-14 2560
Dispatch Queue“开发者要做的只是定义想要执行的任务，并追加到适当的Dispatch Queque中”，用代码表述如下： dispatch_async(queue, ^{ /* * 想要执行的任务Code */ });Dispatch Queue在上述代码 就是执行处理等待的队列，开发者可通过下面的代码创建想要执行的队列。
GCD简介五:补充
有志者事竟成-程序员也可以创造优雅的艺术
02-10 704
1.GCD在iOS4.0及以上可用。2.GCD中，主线程队列是串行的；全局队列是并行的，并由整个进程共享；用户自建队列，在iOS4.3以下，只能是串行，iOS4.3及以上，可以是并行的。3.dispatch_suspend挂起队列，dispatch_resume恢复队列。队列有暂停计数，当计数为0时，队列的执行被暂停，但是当前正在执行的block不会被暂停。4.自己创建的队列，要自己释放，用dis
swift中 gcd使用变化
gcs的博客
09-23 4747
首先，dispatch 的全局函数不再写为下划线风格的名称了，它变成了一个更符合 Swift 风格的 DispatchQueue 的样子。
系统集成项目变更风险与管理流程分析
"系统集成项目管理工程师考试案例分析模拟，主要涉及项目管理中的变更管理和团队沟通，特别是系统集成项目中的问题、后果以及处理流程。" 在系统集成项目管理中，变更控制是一个至关重要的环节。案例中提到的问题...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值