关于objc_msgSend的理解

今天读了一下Effective Objective-C 2.0 的第11条,下面做一下纪录和理解

静态绑定和动态绑定

书中关于这个描述给了一个例子:

void do1(int type){

if(type == 0){

printA();

}else{

printB();

}

}

void do2(int type){

void(*func)();

if(type == 0){

func = printA;

}else {

func= printB;

}

func();

}

那么对于函数do1,就是静态绑定,对于函数do2,就是动态绑定,为什么呢?

关于objc_msgSend的理解_第1张图片

这个是do1执行时的指令,我们看到printA和printB的地址被硬编码在指令调用中,在编译期就知道printA和printB所在位置,可以直接过去。

关于objc_msgSend的理解_第2张图片

这个是do2的执行指令,在指令call时,我们无法在编译后直接知道所要调用函数地址,需要通过上面运行时,指令计算的来,那么这就可以认为是动态绑定,所谓的动态也就是运行时。

objc_msgSend()

当我们“调用”方法时,在OC中称之为传递消息,对象接收到消息后,会去“方法列表“中寻找,本类中找不到则向上找,如果一直找不到,则进行”消息转发“。那么OC是如何进行消息传递的呢?

在OC中,所有的方法底层都是C语言的函数,当我们向一个对象发送一条消息时,编译器会将其转换为一个C函数 objc_msgSend(),这个函数会动态帮我们绑定要执行的函数。

既然这个函数可以帮我们动态绑定要执行的函数,那我们是否可以直接使用它来执行函数呢?当然可以,但是要注意:

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

这个是函数的原型,单如果直接使用,编译器会报错objc_msgSend(person,@selector(age)) Too many arguments to function call ,expected 0,have 2! why????

其实这个我们在使用时函数的原型应该是这个

void objc_msgSend(void /* id self, SEL op, ... */ )

官方说了,我们应该这么办:

These functions must be cast to an appropriate function pointer type before being called

其实我们可以看编译器是怎么做的,[p age]会编译成如下形式

((int (*)(id, SEL))(void *)objc_msgSend)((id)p, sel_registerName("age"));

好了就是这样,转换吧。

不是所有的消息传递都会变成objc_msgSend,还有一些其他的

use objc_msgSend_stret for some struct return types.

use objc_msgSend_fpret for some float return types.

use objc_msgSend_fp2ret for some float return types.

如果给超类发送消息,还有相应的函数如 obj_msgSendSuper(),当然这写函数在使用时都需要进行类型转换。

最后书中还提了一下这个“尾调用优化”,这个可以去看阮一峰的这片文章尾调用优化 - 阮一峰的网络日志

你可能感兴趣的:(关于objc_msgSend的理解)