大部分人都知道 nil 就是 0 ,或者说空对象,以及对 nil 发送消息什么也不会发生。可是我相信很多人其实并不十分清楚 nil 到底是什么, OC 是如何实现 nil 的,以及对 nil 发送消息系统到底是如何处理的,为什么什么也不会发生。 这里我就探究一下 nil 的底层实现,希望对大家有帮助,也欢迎大家吐槽:
1.首先新建一个 Person 类,它有一个 run 方法:
2.在 ViewController 中调用它的 run 方法:
3.准备完毕,我们来预处理一下这几行代码,看看预处理过后会变成什么:
使用xcode自带的预处理功能,如下图所示操作:
然后拉到最底下,可以看到,nil 被预处理成了 (void *)0 ;那么 (void *)0 又是什么呢?
回去查查 c 语言的语法,可以知道 void * 其实是万能指针,就相当于 OC 的 id 类型;所以 (void *)0 其实就是把整数 0 强制类型转换为指针类型(因为对象 person 是一个指针,如果不强制类型转换虽然不会报错但是从概念上类型是不匹配的),其实它的本质还是 0 ,所以用于逻辑判断的时候它都是假。
所以可以知道其实 person = nil; 时的 person 就是一个指向 0 地址的指针了 。
这里我们知道了 nil 被预处理成了 (void *)0 ,所以可以推测其实 nil 是一个宏,它的实际内容就是 (void *)0 ;谈到宏,这里可以给大家普及一下我们常用的 YES 和 NO 在 OC 中其实也是宏定义, YES 是 1, NO 是 0 ;如果大家对预处理的作用和过程不太了解可以看我的另一篇文章:https://www.jianshu.com/p/18dd22ff05d6 ,这里就不赘述了。
可以看到,nil、NULL 和 Nil 在预处理过后一模一样,所以可知 NULL 和 Nil 也是宏,其实际内容都是 (void *)0 ; 根据文档, NULL 是 C 语言的空指针, Nil 是 OC 中用来代表空类的指针;根据 OC 类实现方式我们可以知道其实类本身也是一个对象(类对象,这部分不清楚的可以看我的另一篇文章:https://www.jianshu.com/p/1cbfae587a4a)。虽然 nil 和 Nil 是一样的,但是我们使用的时候还是根据规范, nil 用来代表空对象, Nil 用来代表空类。
接下来我们来探索给 nil 发送消息的过程是怎样的:
好的我们继续:
先把 ViewController.m 的 viewDidLoad 方法这么写:
然后我们开始重写,如果没有引入 UIKit 框架, 可以直接用命令 :
可能会问为什么是生成 .cpp 而不是 .c 后缀文件, 因为 iOS 是支持 C++ 的,而 C++ 是包含 C的,所以生成的是 C++ 后缀的 .cpp文件。我们打开它,然后在打开的文件中搜
viewDidLoad,得到下图:
可以看到 nil 又变成了 _ _null,其实 _ _null 就是 C++ 的 NULL,也就是 (void *)0 ;
[person run] 变成了 objc_msgSend(person, sel_registerName("run")) 这个函数(去掉强制类型转化后就是这样的一个调用); 其实这是一个函数调用,作用是给 person 发送 run 消息。
到这一步,我们已经知道了其实 person = nil; [person run]; 其实被编成 C 代码之后相当于 objc_msgSend(nil, sel_registerName("run")); ,也就是给 nil 发送 "run" 消息。那么我们之后开始探索调用 objc_msgSend 函数之后发生了什么。
接下来我们来探索函数:
objc_msgSend(nil, sel_registerName("run")); 执行过程:
首先我们来看看 objc_msgSend 的声明:
可以看到注释里有 objc_msgSend_stret、objc_msgSend_fpret 和 objc_msgSend_fp2ret 来应对特殊返回值的类型。然后我们在文档 https://opensource.apple.com/source/objc4/objc4-551.1/runtime/NSObject.mm.auto.html 看看 performSelector 的实现:
可以看到使用的时候都用了强制类型转化来将返回值统一转成 id.
然后我们看看 objc_msgSend 在 x86,也就是MAC电脑CPU架构下的实现:
可以看到objc_msgSend是用汇编实现的,原因是性能好以及C语言实现的话 objc_msgSend 就必须在编译时知道每个函数调用点和实现,但是 objc_msgSend 是可以有任意类型以及任意个数的参数的(想想要实现这样必须提前知道多少个可能的objc_msgSend的实现,这对动态语言来说太不友好),具体可以参考 这篇文章 。
然后我们来看 objc_msgSend 在x86下的汇编实现:
前面都是一些配置信息,喜欢深究的同学自己具体去研究下 x86 汇编吧,我们就从 MESSENGER_START 开始看,可以看到第一句就是检验指针是否为空:
MESSENGER_START
NilTest NORMAL //(检验指针是否为空)
GetIsaFast NORMAL // r11 = self->isa (根据 self 获取 isa 指针)
CacheLookup NORMAL // calls IMP on success(在缓存中寻找实现)
NilTestSupport NORMAL
GetIsaSupport NORMAL
// cache miss: go search the method lists
LCacheMiss: // (没找到)
// isa still in r11
MethodTableLookup %a1, %a2, _objc_msgSend // r11 = IMP(在方法列表中寻找)
如果检查到 self 为 nil 就会直接返回 nil 不继续向下执行了(想深究可以自己去看 NilTest 的实现);如果不为 nil 就执行 GetIsaFast 根据 self 寻找 isa;然后执行 CacheLookup 在缓存中寻找方法实现,下面我们看 CacheLookup 的注释:
可以看到,如果找到了就调用实现,没找到就跳到 LCacheMiss 这个标签,再之后就是执行 MethodTableLookup 在方法列表里找,之后的流程就不赘述了网上很多。
结语:
到现在大家也应该清楚了其实让 nil 调用方法其实转化为对 nil 发送消息,对 nil 发送消息是一个函数调用(将 nil 作为第一个参数,selector作为第二个参数,所以大家理解了为什么下划线的成员变量_***也会捕获self了),在这个函数调用里会对 nil 是否为空做判断,如果为空就直接返回了,不为空就走正常的寻找 isa、查缓存、在方法列表里寻找......直到找到实现或者找不到实现就 crash 等。并且 nil、NULL 和 Nil 是一样的,只是用宏定义给 (void *)0 上了个马甲。