包括以下内容

• 数据结构
• 类对象与元类对象
• 消息传递
• 方法缓存
• 消息转发
• Method-Swizzling
• 动态添加方法
• 动态方法解析

1.数据结构

• objc_objct
• objc_class
• isa指针
• method_t

objc_object：

image

objc_class:

image

isa指针：

image

• 对象的isa指针指向其类对象
• 类对象的isa指针指向其元类对象

cache_t：

可以理解为一个数组，其元素是 bucket_t 结构体
bucket_t 由 key 和 IMP 组成；key 是方法的名称，IMP是方法的实现

• 用于快速查找方法执行函数
• 是可增量扩展的哈希表
• 是局部性原理的最佳应用

class_data_bits_t：

• class_data_bits_t主要是对class_rw_t的封装
• class_rw_t代表了类相关的读写信息、对class_ro_t的封装
• class_ro_t代表类相关的只读信息

class_rw_t:

image

class_ro_t:

image

method_t:

image

const char * types -------Type Encodeing

image

数据结构 总结

image

2.对象、类对象、元类对象

• 类对象--存储实例方法列表等信息
• 元类对象--存储类方法列表等信息

image

类对象与元类对象都是 objc_class 结构，又 objc_class 继承自 objc_object 。所以，都有 isa 指针，实例对象的 isa 指针指向其类对象，类对象中存储实例方法类表等信息；类对象的 isa 指针指向其元类对象，从而可以访问类方法列表等信息；元类对象的 isa 指针都指向其根元类对象；根元类对象的 superclass 指向类对象-----（所以若一个元类方法中没找到某类方法，会查找其实例方法代替）。

3.消息传递

提问，打印的内容

image

分析

image

image

那msgSend 和 msgSendSuper这两者有什么区别呢？

消息传递机制

image

所以，本题打印的都为 phone

1、缓存查找

采用哈希查找，为了解决查找效率

例：给定值是 SEL ，目标值是对应的 bucket_t 中的 IMP

通过 key 和 mask 做位与操作，查找到对用 bucket_t 的索引位置

2、当前类中的查找

当前类中的方法一般有方法列表：

• 对于已排序号的列表，采用二分查找算法查找对应的执行函数；
• 对于没有排序的列表，采用一般遍历查找对用函数

3、父类逐级查找

image

4.消息转发

消息转发流程

image

5.Method-Swizzling

image

6.动态添加方法

问题：你是否使用过 performSelector 方法？

分析：可能考察运行时，可能是一个类在编译时没有这个方法，在运行时产生了这个方法。

image

7.动态方法解析

问题：是否使用过 @dynamic

分析：当属性为 @dynamic 时，相当于说这个属性的 set 和 get 方法是在运行时而不是在编译时声明好具体的实现

• 动态运行时语言将函数决议推迟到运行时（当调用到相关方法添加具体的执行函数）
• 编译时语言在编译期进行函数决议（在编译时期就决议好具体的函数实现，运行时无法修改）

练习

• [obj foo] 和 objc_msgSend() 函数之间有什么关系？
• runtime 如何通过 Selector 找到对应的 IMP 地址？
• 能否向编译后的类增加实例变量？

解答

• --- 前者在编译器处理好会转化成后者消息发送
• --- 查找当前实例类对象的缓存，若无，查找当前类的方法列表，若无，逐级查找父类的方法列表
• ----不行，为 class_ro_t 类型，为只读的，不能添加。但是可以向动态添加的类添加实例对象，只要在调用注册信息之前完成实例变量的添加即可实现。