浅谈OC运行时-RunTime

独奏

学习思考|2014-12-29|最后更新: 2023-2-23|
type
status
date
slug
summary
tags
category
icon
password
常说OC是一门动态语言,这使得OC开发可以变得相当灵活,但是归根结底OC还是一种编译型的语言,其具有一定的动态性,但是其动态特性也比不上JavaScript这种解释型的语言。OC的动态性主要体现在<objc/runtime.h>这个文件中,下面我们打开这个文件,对其总结一下。

一、基本结构及其继承关系

要谈runtime首先必然要先了解OC的对象以及类的结构,这非常有助与我们理解其动态性。
首先我们打开<objc/objc.h>文件,可以看到如下定义:
通过上面定义我们可以看出以下几点:
  • 我们常用的id类型实际上一个指向objc_object结构体的指针,id通常指代一个对象,也就是说OC对象其实就一个指向objc_object结构体的指针
  • 我们看objc_object结构体定义,得知其结构体内有一个类型为Class的字段isa,这就是我们常说的isa指针了。
  • 再来看Class的声明,为一个指向objc_class的指针,
  • 实际上isa就是指明当前结构体所属类型,我们可以理解为objc_object为Class类型的
接下来我们继续打开<objc/runtime.h>,来看objc_class声明
下面说一下我们感兴趣的几个字段:
  • isa:这里的isa指针同样是一个指向objc_class的指针,表明该Class的类型,这里的isa指针指向的就是我们常说的meta-class了。不难看出,类本身也是一个对象
  • super_class:这个指针就是指向该class的super class,即指向父类,如果该类已经是最顶层的根类(如NSObject或NSProxy),则super_class为NULL。
  • cache:用于缓存最近使用的方法。一个接收者对象接收到一个消息时,它会根据isa指针去查找能够响应这个消息的对象。在实际使用中,这个对象只有一部分方法是常用的,很多方法其实很少用或者根本用不上。这种情况下,如果每次消息来时,我们都是methodLists中遍历一遍,性能势必很差。这时,cache就派上用场了。在我们每次调用过一个方法后,这个方法就会被缓存到cache列表中,下次调用的时候runtime就会优先去cache中查找,如果cache没有,才去methodLists中查找方法。这样,对于那些经常用到的方法的调用,但提高了调用的效率。
  • version:我们可以使用这个字段来提供类的版本信息。这对于对象的序列化非常有用,它可是让我们识别出不同类定义版本中实例变量布局的改变。
  • objc_method_list方法链表中存放的是该类的成员方法(-方法),类方法(+方法)存在meta-class的objc_method_list链表中。
接下来,这里有一个很形象的图来描述相应的继承关系:
notion image
oc对象继承模型
这里的继承关系就相当清晰了,需要注意的几个小问题如下:
  • meta-class的isa指针指向的是root meta-class
  • root meta-class的isa指针指向的是其本身
  • root meta-class的super class指向的是root class(这一点我也不是很清楚是为什么)
  • root class的super class 指向的是nil
上面说了这么多,现在我们再来理解一下当你调用respondsToSelector:这样的方法的时候,实例对象只需要根据其isa指针,找到其所属的class,然后遍历其methodLists,如果没有,那么根据这个类的super_class找到其父类,再看其父类是否能相应这个方法就可以了,直到super_class为nil时,就无法相应这个方法了,return NO。
同理,当我们使用类名调用类方法(+方法)时,只需要根据class的isa指针,找到其meta-class,然后通过meta-class的methodLists找到相应的方法既可。

二、动态特性

runtime中提供了大量的方法对其就够进行操作,当然这些方法也都是C方法
例如,我们可以动态的添加/替换属性
我们可以动态的添加/替换方法
我们甚至可以动态的调整一个类的继承关系
以上这些OC的动态特征全都得益于OC的内部数据结构定义。当然我们实际应用中基本不会用到类似修改一个类的父类这样的动态特性,因为这样就破坏了类本身的封装性。当然这些动态特性在某些情况下确实会带给我们很多惊喜。总之,runtime虽好,使用需谨慎。

三、扩展阅读