iOS-底层原理 18:类的加载(下)

iOS 底层原理 文章汇总

在上一篇文章iOS-底层原理 17:类的加载(上)中,理解了类是如何从Mach-O加载到内存中,这次我们来解释下分类是如何加载中的,以及分类和类搭配使用的情况

分类的本质

前提:在main中定义LGperson的分类LG

image

探索分类的本质,有以下三种方式

  • 【方式一】通过clang
  • 【方式二】通过Xcode文档搜索Category
  • 【方式三】通过objc源码搜索 category_t

方式一:通过clang

  • 【方式一】clang -rewrite-objc main.m -o main.cpp 查看底层编译,即 main.cpp,

    • 其中分类的 类型是_category_t
    • 分类的倒数第二个0,表示的是没有协议,所以赋值为0
      image
  • 搜索struct _category_t,如下所示

    • 其中有两个method_list_t,分别表示实例方法类方法
      image
  • 搜索_CATEGORY_INSTANCE_METHODS_LGPerson_,找到其底层实现

    image

    其中有3个方法,格式为:sel+签名+地址,是method_t结构体的属性即key
    image

  • 搜索method_t,其中对应关系如下

    • name 对应 sel
    • type 对应 方法签名
    • imp 对应 函数地址
      image

同时,我们发现了一个问题:查看看_prop_list_t,明明分类中定义了属性,但是在底层编译中并没有看到属性,如下图所示,这是因为分类中定义的属性没有相应的set、get方法,我们可以通过关联对象来设置(关于如何设置关联对象,我们将在后续的扩展中进行说明)

image

方式二:通过Xcode文档搜索 Category

如果不会clang,可以通过Xcode文档搜索 Category

image

方式三:通过objc源码搜索 category_t

还可以通过objc源码搜索category_t类型

image

总结

综上所述,分类的本质 是一个_category_t类型

  • 有两个属性:name(类的名称)cls(类对象)

  • 有两个 method_list_t类型的方法列表,表示分类中实现的实例方法+类方法

  • 一个protocol_list_t类型的协议列表,表示分类中实现的协议

  • 一个prop_list_t类型的属性列表,表示分类中定义的属性,一般在分类中添加的属性都是通过关联对象来实现

  • 需要注意的是,分类中的属性是没有set、get方法

分类的加载

前提:创建LGPerson的两个分类:LGA、LGB


image

在上一篇iOS-底层原理 17:类的加载(上)文章中的realizeClassWithoutSwift -> methodizeClass -> attachToClass -> load_categories_nolock -> extAlloc ->attachCategories中提及了rwe的加载,其中分析了分类的data数据 时如何 加载到中的,且分类的加载顺序是:LGA -> LGB的顺序加载到类中,即越晚加进来,越在前面

其中查看methodizeClass的源码实现,可以发现类的数据分类的数据是分开处理的,主要是因为在编译阶段,就已经确定好了方法的归属位置(即实例方法存储在中,类方法存储在元类中),而分类是后面才加进来的

image

其中分类需要通过attatchToClass添加到类,然后才能在外界进行使用,在此过程,我们已经知道了分类加载三步骤的后面两个步骤,分类的加载主要分为3步:

  • 分类数据加载时机:根据类和分类是否实现load方法来区分不同的时机

  • attachCategories准备分类数据

  • attachLists分类数据添加到主类

分类的加载时机

下面我们来探索分类数据的加载时机,以主类LGPerson + 分类LGA、LGB 均实现+load方法为例

通过第二步数据准备反推第一步的加载时机

  • 通过上一篇文章我们了解到,在走到attachCategories方法时,必然会有分类数据的加载,可以通过反推法查看 在什么时候调用attachCategories的,通过查找,有两个方法中调用

    • load_categories_nolock方法中
      image
    • addToClass方法中,这里经过调试发现,从来不会进到if流程中,除非加载两次,一般的类一般只会加载一次
      image
  • 不加任何断点,运行objc代码,可以得出以下打印日志,通过日志可以发现addToClass方法的下一步就是load_categories_nolock方法就是加载分类数据

    image

  • 全局搜索load_categories_nolock的调用,有两次调用

    • 一次在loadAllCategories方法中
      image
    • 一次在_read_images方法中
      image
  • 但是经过调试发现,是不会走_read_images方法中的if流程的,而是走的loadAllCategories方法中的

    image

  • 全局搜索查看loadAllCategories的调用,发现是在load_images时调用的

    image

通过堆栈信息分析

  • attachCategories中加自定义逻辑的断点,bt查看堆栈信息
    image

所以综上所述,该情况下的分类的数据加载时机的反推路径为:attachCategories -> load_categories_nolock -> loadAllCategories -> load_images

而我们的分类加载正常的流程的路径为:realizeClassWithoutSwift -> methodizeClass -> attachToClass ->attachCategories

其中正向和反向的流程如下图所示:


image

我们再来看一种情况:主类+分类LGA实现+load,分类LGB不实现+load方法

  • 断点定在attachCategories中加自定义逻辑部分,一步步往下执行

    • p entry.cat
    • p *$0
      image
  • 继续往下执行,会再次来到 attachCategories方法中断住

    • p entry.cat
    • p *$0
      image

总结只要有一个分类是非懒加载分类,那么所有的分类都会被标记位非懒加载分类,意思就是加载一次 已经开辟了rwe,就不会再次懒加载,重新去处理 LGPerson

分类和类的搭配使用

通过上面的两个例子,我们可以大致将类 和 分类 是否实现+load的情况分为4种

类+分类
分类实现+load 分类未实现+load
类实现+load 非懒加载类+非懒加载分类 非懒加载类+懒加载分类
类未实现+load 懒加载类+非懒加载分类 懒加载类+懒加载分类
  • 【情况1】非懒加载类 + 非懒加载分类

  • 【情况2】非懒加载类 + 懒加载分类

  • 【情况3】懒加载类 + 懒加载分类

  • 【情况4】懒加载类 + 非懒加载分类

非懒加载类 与 非懒加载分类

主类实现了+load方法,分类同样实现了+load方法,在前文分类的加载时机时,我们已经分析过这种情况,所以可以直接得出结论,这种情况下

  • 类的数据加载是通过_getObjc2NonlazyClassList加载,即ro、rw的操作,对rwe赋值初始化,是在extAlloc方法中

  • 分类的数据加载是通过load_images加载到类中的

其调用路径为:

  • map_images -> map_images_nolock -> _read_images -> readClass -> _getObjc2NonlazyClassList -> realizeClassWithoutSwift -> methodizeClass -> attachToClass ,此时的mlists是一维数组,然后走到load_images部分

  • load_images --> loadAllCategories -> load_categories_nolock -> load_categories_nolock -> attachCategories -> attachLists,此时的mlists二维数组

下面为源码中调试的打印日志


image

非懒加载类 与 懒加载分类

主类实现了+load方法,分类未实现+load方法

  • 打开realizeClassWithoutSwift中的自定义断点,看一下ro

    • 查看kc_ro
      image
    • p kc_ro->baseMethodList


      image
    • p 1.get(0) ~ p1.get(4)
      image
    • p 1.get(5)、 p1.get(10)
      image

      从上面的打印输出可以看出,方法的顺序是 LGB—LGA-LGPerson类,此时分类已经 加载进来了,但是还没有排序,说明在没有进行非懒加载时,通过cls->data读取Mach-O数据时,数据就已经编译进来了,不需要运行时添加进去
  • 来到methodizeClass方法中断点部分

    • p list
    • p $0->get(0)- p $0->get(5)
      image
  • 来到prepareMethodLists的for循环部分

    • p addedLists[0]
    • p addedLists[1]
    • p *$1
    • p *$2


      image
  • 来到fixupMethodList方法中的if (sort) {部分

    • 其中SortBySELAddress的源码实现如下:根据名字的地址进行排序
      image
  • 走到mlist->setFixedUp();,在读取list

    • p mlist
    • p $7->get(0) ~ p $7->get(3)
      image
    • p $7->get(4) ~ p $7->get(6)
      image

      通过打印发现,仅对同名方法进行了排序,而分类中的其他方法是不需要排序的,其你imp地址是有序的(从小到大) -- fixupMethodList中的排序只针对 name 地址进行排序
      image
  • 不加任何断点,运行程序,获取打印日志


    image

总结非懒加载类 与 懒加载分类的数据加载,有如下结论:

  • 类 和 分类的加载是在read_images就加载数据了

  • 其中data数据编译时期就已经完成了

懒加载类 与 懒加载分类

主类和分类均未实现+load方法

  • 不加任何断点,运行程序,获取打印日志

    image

    其中realizeClassMaybeSwiftMaybeRelock是消息流程中慢速查找中有的函数,即在第一次调用消息时才有的函数

  • readClass断住,然后读取kc_ro,即读取整个data

    image

    此时的baseMethodListcount还是16,说明也是从data中读取出来的,所以不需要经过一层缓慢的load_images加载进来

总结懒加载类 与 懒加载分类数据加载是在消息第一次调用时记载

懒加载类 与 非懒加载分类

主类未实现+load方法, 分类实现了+load方法

  • 不加任何断点,运行程序,获取打印日志


    image
  • 在打印的日志中没有看到load_categories_nolock方法,查看attachCategories -- extAlloc -- attachToClass -- attachCategories,在attachToClass中加断点

    image

  • readClass方法中断住,查看kc_ro

    image

    其中baseMethodList的count是8个,打印看看:对象方法3个+属性的setget方法共4个+1个cxx方法 ,即 现在只有主类的数据
    image

    • 查看kc_ro结构


      image
    • p kc_ro->baseMethodList
    • p 0->get(0) ~ p0->get(3)、p $0->get(7)
      image
  • 为了调试分类的数据加载, 继续往下执行,bt查看堆栈:load_images -> loadAllCategories -> load_categories_nolock

    image

总结懒加载类 + 非懒加载分类的数据加载,只要分类实现了load,会迫使主类提前加载,即 主类 强行转换为 非懒加载类样式

总结

类和分类搭配使用,其数据的加载时机总结如下:

  • 【情况1】非懒加载类 + 非懒加载分类,其数据的加载在load_images方法中,首先对类进行加载,然后把分类的信息贴到类中

  • 【情况2】非懒加载类 + 懒加载分类,其数据加载在read_image就加载数据,数据来自data,data在编译时期就已经完成,即data中除了类的数据,还有分类的数据,与类绑定在一起

  • 【情况3】懒加载类 + 懒加载分类 ,其数据加载推迟到 第一次消息时,数据同样来自data,data在编译时期就已经完成

  • 【情况4】懒加载类 + 非懒加载分类 ,只要分类实现了load,会迫使主类提前加载,即在_read_images中不会对类做实现操作,需要在load_images方法中触发类的数据加载,即rwe初始化,同时加载分类数据

如下图所示


image

补充:load_images原理分析

load_images方法的主要作用是加载镜像文件,其中最重要的有两个方法:prepare_load_methods(加载) 和 call_load_methods(调用)

  • 进入load_images源码实现

    load_images原理分析-1

  • 进入prepare_load_methods源码

    • 进入_getObjc2NonlazyClassList -> schedule_class_load源码,这里主要是根据类的继承链递归调用获取load,直到cls不存在才结束递归,目的是为了确保父类的load优先加载

      load_images原理分析-2

    • 进入add_class_to_loadable_list,主要是将load方法和cls类名一起加到loadable_classes表中

      load_images原理分析-3

      • 进入getLoadMethod,主要是获取方法的sel为load的方法
        load_images原理分析-4
    • _getObjc2NonlazyCategoryList -> realizeClassWithoutSwift -> add_category_to_loadable_list ,主要是将非懒加载分类的load方法加入表中

      load_images原理分析-5

      • 进入add_category_to_loadable_list实现,获取所有的非懒加载分类中的load方法,将分类名+load加入表loadable_categories
        load_images原理分析-6
  • 进入call_load_methods源码,主要有3部分操作

    • 反复调用类的+load,直到不再有

    • 调用一次分类的+load

    • 如果有类或更多未尝试的分类,则运行更多的+load


      load_images原理分析-7
    • 进入call_class_loads,主要是加载类的load方法

      load_images原理分析-8

      其中load方法中有两个隐藏参数,第一个为id 即self,第二个为sel,即cmd

    • call_category_loads,主要是加载一次分类的load方法

      load_images原理分析-9

综上所述,load_images方法整体调用过程原理图示如下

  • 调用过程图示


    调用过程图示
  • 原理图示


    原理图示

    主要分为两步

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