今天读了一下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(),当然这写函数在使用时都需要进行类型转换。
最后书中还提了一下这个“尾调用优化”，这个可以去看阮一峰的这片文章尾调用优化 - 阮一峰的网络日志
网友评论