1.Objective-C中的函数调用
对于C语言,函数调用是由编译器直接转化完成的,在编译时程序就开始查找要执行的函数(C语言函数调用原理)。而在OC中,我们将函数调用称为消息发送。在编译时程序不查找要执行的函数,必须等到真正运行时,程序才查找要执行的函数。
例子:在C语言中,仅申明一个函数,不去实现。其他地方调用此函数。编译时就会报错(C语言编译时查找要执行的函数,找不到所以报错)。而同样的情况在OC中并不会报错,只有在运行时候才会报错。(OC运行时才查找要执行的函数)
2.Objective-C函数调用的底层实现
Objective-C之所以能做到运行时才查找要执行的函数主要归功于runTime的SDK。下面我们来看看Objective-C是怎么让程序拥有运行时特性的。
在runTime的SDK下有一个objc_msgSend()的方法
OBJC_EXPORT id objc_msgSend(id self, SEL op, ...)
当我们写下一行代码[obj doSth];,在编译时,编译器会将我们的代码转化为
objc_msgSend(obj,@selector(doSth));
objc_msgSend()方法实现了函数查找和匹配,下面是它的原理:
- 根据对象obj找到对象类中存储的函数列表methodLists。
- 再根据SEL@selector(doSth)在methodLists中查找对应的函数指针method_imp。
- 根据函数指针method_imp调用响应的函数。
3.Objc_msgSend的实现细节
前面我们只是简单的介绍了objc_msgSend()的原理,下面我们来详细看看objc_msgSend是怎么实现的
首先对于任意一个NSObject对象下面都有一个isa的属性,指向对象对应的Class类@interface NSObject { Class isa OBJC_ISA_AVAILABILITY; } 根据对象调用即可拿到对应的Class。下面我们来看看Classtypedef 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方法列表。所以根据Class我们可以直接找到methodLists下面我们来看看怎么从methodLists中找到对应的函数指针struct old_method_list {
- void *obsolete; //废弃的属性
- int method_count; //方法的个数 /* variable length structure */ struct old_method method_list[1]; 方法的首地址 }; struct old_method { SEL method_name; //方法对应的SEL char *method_types; //方法的类型 IMP method_imp; //方法对应的函数指针 };对于old_method_list结构体,他存储了old_method方法个数和方法首地址。我们可以把他当做一个可变长度的old_method数组。开始我也不明白为什么是method_list[1],数组的大小怎么会是1呢?后来才想通由于数组的大小是不定的,不同的类对应的不同的方法个数。所以定义时只存储首地址,在实际使用过程中再扩展长度对于old_method结构体,他由SEL,type,IMP三个成员组成。由此可知,我们只要在method_list中找到了old_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; }
- 查找函数是个内联函数,传入old_method_list和SEL,返回old_method
- 首先对old_method_list数组判空,如果为空,返回nil
- 遍历old_method_list数组,根据SEL匹配,找到old_method
4 函数调用的性能优化
上面部分我们已经讲完了函数调用的基本过程 。在看完上面部分之后大家可能会有疑惑:Objective-C的函数调用是如此的复杂,会不会导致运行起来非常慢呢?毕竟每调用一个函数都要走这么多过程。 别急,其实在调用的过程中苹果对其做了一些性能优化,使得其调用并不比C语言很多。下面我们来具体看看做了哪些性能优化:
4.1 SEL的使用大家可能早就有疑惑了,前面一直在说SEL,SEL到底是个什么东西?/// 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
- 由于isa是obj的成员变量,methodLists是isa的成员变量,所以用obj可以直接拿到methodLists
- 由于method_imp是old_method的成员变量,所以用old_method可以直接拿到method_imp所以函数调用过程的主要时间消耗在methodLists中查找old_method。
cache就是用来优化这个查找过程的。
我们可以把cache简单当成一个哈希表,key是SEL,Value是old_method。由此可知,从cache中查找old_method相当简单高效。
从methodLists中查找old_method的真正过程分为如下两步: - 通过SEL在cache中查找old_method,若找到了直接返回,若未找到执行2
- 在methodLists中查找old_method,找到之后先将old_method插入cache中以方便下次查找,再返回old_method由此可知,在第一次调用某个函数时,会比较慢,因为cache中没有这个函数,第二次调用时就会非常快了
- http://blog.zuics.com/runloop-runtime/