【迁移】iOS开发RunTime之函数调用

coding 的演示功能不让用,原来搭建的博客访问不了了。索性将全部博客迁移到简书,这篇是旧文章,欢迎大家以后来简书看我的博客

经过两个多月的面试,工作终于尘埃落定了。这两个多月的面试过程中,我发现很多底层基础的东西大公司非常看重。比如:RunLoop,RunTime,Block等。这篇文章主要是介绍RunTime中函数调用的机制,知识点有一定深度,也是面试过程中能力的体现。

1.Objective-C中的函数调用

对于C语言,函数调用是由编译器直接转化完成的,在编译时程序就开始查找要执行的函数(C语言函数调用原理)。
然而在OC中,情况确是完全不一样的。在编译时OC程序并不直接查找要执行的函数,必须等到真正运行时,程序才查找要执行的函数。这就是OC的运行时特性。

例子:在C语言中,仅申明一个函数,不去实现。其他地方调用此函数。编译时就会报错(C语言编译时查找要执行的函数,找不到所以报错)。而同样的情况在OC中并不会报错,只有在运行时候才会报错。(OC运行时才查找要执行的函数)

2.Objective-C函数调用的底层实现

Objective-C为什么能在运行时才查找函数,它到底是怎么做到的呢?下面我们就来看看吧。
在runTime的SDK下有一个objc_msgSend()的方法

OBJC_EXPORT id objc_msgSend(id self, SEL op, ...)

当我们写下一行代码[obj doSth];,在编译时,编译器并不直接去查找doSth的方法,而是将代码转化为

    objc_msgSend(obj,@selector(doSth));

将调用函数的对象obj和函数的方法名对应的SEL@selector(doSth)作为参数传入objc_msgSend()方法中。由objc_msgSend()方法实现了函数查找和匹配。

objc_msgSend()方法中,主要通过以下步骤来查找和调用函数:

  1. 根据对象obj找到对象类中存储的函数列表methodLists
  2. 再根据SEL@selector(doSth)methodLists中查找对应的函数指针method_imp
  3. 根据函数指针method_imp调用响应的函数。

3.objc_msgSend的实现细节

前面我们只是简单的介绍了objc_msgSend()的原理,下面我们来详细看看objc_msgSend是怎么实现的。

首先我们来看看NSObject的结构,对于任意一个NSObject对象,下面都有一个isa的属性,指向对象对应的Class

@interface NSObject <NSObject> {
    Class isa  OBJC_ISA_AVAILABILITY;
}

所以通过isa属性即可拿到对象对应的Class。然后我们来看看<span id="jump">Class的结构</span>

typedef struct objc_class *Class;

struct objc_class {
    Class isa; // 指向metaclass  
    
    Class superclass;  // 指向父类Class
    const char *name;  // 类名 
    uint32_t version;  // 类的版本信息
    uint32_t info;      // 一些标识信息,标明是普通的Class还是metaclass
    uint32_t instance_size;     // 该类的实例变量大小(包括从父类继承下来的实例变量);
    struct old_ivar_list *ivars;    //类中成员变量的信息
    struct old_method_list **methodLists;   类中方法列表
    Cache cache;    查找方法的缓存,用于提升效率
    struct old_protocol_list *protocols;  // 存储该类遵守的协议  
}

由上面的代码我们能看到Class是一个结构体指针,指向objc_class结构体。

objc_class中有一个methodLists属性,这是一个old_method_list结构体。

struct old_method_list {
    void *obsolete;     //废弃的属性
    int method_count;   //方法的个数
    /* variable length structure */
    struct old_method method_list[1];   //方法的首地址
};

old_method_list结构体是一个储存old_method的列表,他有2个成员,分别是old_method的个数和存储首地址。我们可以把他当做一个可变长度的old_method数组。

开始我也不明白为什么是method_list[1],数组的大小怎么会是1呢?后来才想通由于数组的大小是不定的,不同的类对应的不同的方法个数。所以定义时只存储首地址,在实际使用过程中再扩展长度

我们再来看看old_method结构体

struct old_method {
    SEL method_name;    //函数的SEL
    char *method_types;        //函数的类型
    IMP method_imp;        //函数指针
};

old_method结构体由method_namemethod_typesmethod_imp三个成员组成,分别对应着函数的SEL,函数类型,和指向具体要执行函数的函数指针。

所以只要找到old_method即可通过其成员属性method_imp来调用具体要执行的函数。

我们再来理一下思路:

  1. obj->isa(Class类型) obj对象通过isa属性拿到对应的Class
  2. Class->methodLists(old_method_list类型) Class通过methodLists属性拿到存放所有方法的列表
  3. old_method_list->old_method 在old_method_list中通过SEL查找到对应的old_method
  4. old_method->method_imp(IMP类型) old_method通过method_imp属性拿到函数指针
  5. method_imp->调用函数 通过函数指针调用函数

通过上面的思路我们知道只有第三步稍微复杂一些,我们来看看第三步的具体代码吧。

static inline old_method *_findMethodInList(old_method_list * mlist, SEL sel) {
    int i;
    if (!mlist) return nil;
    for (i = 0; i < mlist->method_count; i++) {
        old_method *m = &mlist->method_list[i];
        if (m->method_name == sel) {
            return m;
        }
    }
    return nil;
}
  1. 查找函数是个内联函数,传入old_method_listSEL,返回old_method
  2. 首先对old_method_list数组判空,如果为空,返回nil
  3. 遍历old_method_list数组,根据SEL匹配,找到old_method

4.函数调用的性能优化

上面部分我们已经讲完了函数调用的基本过程。在看完上面部分之后大家可能会有疑惑:Objective-C的函数调用是如此的复杂,会不会导致运行起来非常慢呢?毕竟每调用一个函数都要走这么多过程。
别急,其实在调用的过程中苹果对其做了一些性能优化,使得其调用并不比C语言很多。下面我们来具体看看做了哪些性能优化:

4.1 SEL的使用

大家可能早就有疑惑了,前面一直在说SELSEL到底是个什么东西?

/// An opaque type that represents a method selector.
typedef struct objc_selector *SEL;

苹果对SEL的官方解释是:一种不透明的类型,它代表着一个方法选择器。
SEL本质其实是一个int类型的地址,指向存储的方法名。对于每一个类,都会分配一块特殊空空间,专门存储类中的方法名,SEL就是指向对应方法名的地址。由于方法名字符串是唯一的,所以SEL也是唯一的。
为什么不直接使用方法名而使用SEL呢?这个问题没有找到比较官方的资料,个人认为由于方法名是字符串,SEL是int类型,使用时int类型更方便,效率更高(特别是比较相等时,字符串的比较比int的比较效率低很多)

4.2 cache的使用

我们来仔细分析一下函数的调用过程:

obj->isa->methodLists
old_method->method_imp
  1. 由于isaobj的成员变量,methodListsisa的成员变量,所以用obj可以直接拿到methodLists
  2. 由于method_impold_method的成员变量,所以用old_method可以直接拿到method_imp

所以函数调用过程的主要时间消耗在methodLists中查找old_method
cache就是用来优化这个查找过程的。cache也是objc_class的一个结构体成员,见Class的结构
我们可以把cache简单当成一个哈希表,keySELValueold_method。由此可知,从cache中查找old_method相当简单高效。
methodLists中查找old_method的真正过程分为如下两步:

  1. 通过SELcache中查找old_method,若找到了直接返回,若未找到执行2
  2. methodLists中查找old_method,找到之后先将old_method插入cache中以方便下次查找,再返回old_method

由此可知,在第一次调用某个函数时,会比较慢,因为cache中没有这个函数,第二次调用时就会非常快了

总结

这篇文章主要是讲Objective-C中函数调用的过程,其他不太相关的东西就被忽略了,例如objc_class结构体中其他成员变量作用,本类中查找不到函数怎么去父类中查找,如果没有找到函数怎么办?这些问题我可能后续还会有文章介绍,现在暂时先写到这吧。如果有人想要了解可以在评论区提问或者加QQ群讨论。大家有什么异议的地方也可以和我说

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

推荐阅读更多精彩内容

  • 转至元数据结尾创建: 董潇伟,最新修改于: 十二月 23, 2016 转至元数据起始第一章:isa和Class一....
    40c0490e5268阅读 1,635评论 0 9
  • 我们常常会听说 Objective-C 是一门动态语言,那么这个「动态」表现在哪呢?我想最主要的表现就是 Obje...
    Ethan_Struggle阅读 2,109评论 0 7
  • 本文转载自:http://yulingtianxia.com/blog/2014/11/05/objective-...
    ant_flex阅读 719评论 0 1
  • runtime 和 runloop 作为一个程序员进阶是必须的,也是非常重要的, 在面试过程中是经常会被问到的, ...
    SOI阅读 21,599评论 3 63
  • 转载:http://yulingtianxia.com/blog/2014/11/05/objective-c-r...
    F麦子阅读 694评论 0 2