iOS runtime(理论篇)

一.从objc_msgSend开始说

[receiver message] 
//会被编译器转化为
objc_msgSend(receiver, selector) 

所以当我们调用一个方法时,会执行的过程大致如下: 1.rutime系统会把方法调用转化为消息发送,并且把方法的调用者,和方法选择器,当做参数传递过去。 2.方法的调用者会通过isa 指针来找到所属的类,然后在 cache 或者 methodLists 中查找该方法,找得到就跳到对应的方法去执行。 3.如果在类中没找到该方法,则通过super_class 往上一级超类查找。如果一直找到 NSObject 都没有找到该方法的话,可能就会触发到消息转发。

二. runtime 的术语的数据结构

上面讲的是执行过程里面有一些术语接下来大概介绍下。

1.SEL

selector 是方法选择器,其实作用就和名字一样,日常生活中,我们通过人名辨别谁是谁。 Objective-C在编译的时候,会根据方法的名字,生成一个用 来区分这个方法的唯一的一个ID,这个ID就是SEL类型的。我们需要注意的是,只要方法的名字相同,那么它们的ID都是相同的。就是说,不管是超类还是子类,不管是有没有超类和子类的关系,只要名字相同那么ID就是一样的。

    -(void)setWidth:(int)width;   
    -(void)setWidth:(double)width;   

这样的函数则被认为是一种编译错误,而这最终导致了一个非常非常奇怪的Objective-C特色的函数命名:

    -(void)setWidthIntValue:(int)width;   
    -(void)setWidthDoubleValue:(double)width;   

本质上,SEL只是一个指向方法的指针,它的存在只是为了加快方法的查询速度。

2.Class

Class 其实是指向 objc_class 结构体的指针

3.Method

Method 代表类中某个方法的类型

4.Ivar

Ivar 是表示成员变量的类型。

5.IMP

它就是一个函数指针,这是由编译器生成的。当你发起一个 ObjC 消息之后,最终它会执行的那段代码,就是由这个函数指针指定的。而 IMP 这个函数指针就指向了这个方法的实现。 如果得到了执行某个实例某个方法的入口,我们就可以绕开消息传递阶段,直接执行方法,这在后面 Cache 中会提到。 你会发现 IMP 指向的方法与 objc_msgSend 函数类型相同,参数都包含 id 和 SEL 类型。每个方法名都对应一个 SEL 类型的方法选择器,而每个实例对象中的 SEL 对应的方法实现肯定是唯一的,通过一组 id和 SEL 参数就能确定唯一的方法实现地址。 而一个确定的方法也只有唯一的一组 id 和 SEL 参数。

6.Cache

Cache 为方法调用的性能进行优化,每当实例对象接收到一个消息时,它不会直接在 isa 指针指向的类的方法列表中遍历查找能够响应的方法,因为每次都要查找效率太低了,而是优先在 Cache 中查找。 Runtime 系统会把被调用的方法存到 Cache 中,如果一个方法被调用,那么它有可能今后还会被调用,下次查找的时候就会效率更高。就像计算机组成原理中 CPU 绕过主存先访问 Cache 一样。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏java一日一条

10行Java代码实现最近被使用(LRU)缓存

在最近的面试中,我曾被多次问到,怎么实现一个最近最少使用(LRU)的缓存。缓存可以通过哈希表来实现,然而为这个缓存增加大小限制会变成另一个有意思的问题。现在我们...

492
来自专栏数据之美

Python 基础:类与函数

1、Python 中的类(上) 1.1 数据属性 类数据属性和实例数据属性 特殊的类属性 属性隐藏 1.2 方法 实例方法 类方法 ...

2019
来自专栏友弟技术工作室

Go 程序的基本结构和要素

示例 package main import "fmt" func main() { fmt.Println("hello, world") } 包...

30911
来自专栏前端知识分享

第63天:json的两种声明方式

1、 对象声明 var  json = {width:100,height:100}

762
来自专栏武培轩的专栏

JVM内存模型

运行时数据区域 Java虚拟机(Java Virtual Machine,简称JVM)在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区域。这...

3564
来自专栏Pythonista

面向对象进阶

反射的概念是由Smith在1982年首次提出的,主要是指程序可以访问、检测和修改它本身状态或行为的一种能力(自省)。这一概念的提出很快引发了计算机科学领域关于应...

682
来自专栏Golang语言社区

Go语言语法汇总

最近看了看GoLang,把Go语言的语法总结了一下,做个快速参考 数据类型 ---- var varName type,var var1,var2… type,...

33413
来自专栏IMWeb前端团队

打开Promise的正确姿势

引言 最近实践中需要用到大量的异步回调风格代码的编写,作者最近处于同步编程风格转为异步编程风格的状态。同时第一时间遇到了下面提到的代码,第一直觉就是该代码肯定有...

2455
来自专栏Nian糕的私人厨房

Type Script 的基本概念及常用语法

TypeScript 是一种由微软开发的自由和开源的编程语言,它作为 JavaScript 的一个超集,扩展了JavaScript 的语法,而且本质上向这个语言...

913
来自专栏Golang语言社区

Go语言语法汇总

最近看了看GoLang,把Go语言的语法总结了一下,做个快速参考 数据类型 ---- var varName type,var var1,var2… type,...

4158

扫码关注云+社区