今天读了一下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,就是动态绑定,为什么呢?
这个是do1执行时的指令,我们看到printA和printB的地址被硬编码在指令调用中,在编译期就知道printA和printB所在位置,可以直接过去。
这个是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(),当然这写函数在使用时都需要进行类型转换。
最后书中还提了一下这个“尾调用优化”,这个可以去看阮一峰的这片文章尾调用优化 - 阮一峰的网络日志