OC的消息传递机制

我们都知道oc是一门动态语言，对象调用方法被称为给对象发送消息，例如：

id returnValue = [someObject messageName:parameter];

someObject叫做“接收者”，messageName叫做“选择器”（selector），选择器和后面的参数合起来称为“消息”。那么编译器在看到此信息后会怎么处理呢？OC作为C语言的超集，在底层所有方法都是C语言函数，我们先看看C语言是如何进行函数调用的。

C语言使用“静态绑定”，编译器在编译期就能决定运行时所应调用的函数，例如：

#import <stdio.h>
void printHello()
{
    printf("hello\n");
}
void printBye()
{
    printf("bye\n");
}
void fun(int type)
{
    if(type == 0)
    {
         printHello();
    }
    else
    {
        printBye();
    }
}

如果不考虑“内联”，那么编译器在编译代码的时候就已经知道程序中又printHello和printBye这两个函数了，于是会直接生成调用这些函数的指令。如果要采用“动态绑定”来写上面的代码，该如何操作呢？如下：

#import <stdio.h>
void printHello()
{
    printf("hello\n");
}
void printBye()
{
    printf("bye\n");
}
void fun(int type)
{
    void (*f)();
    if(type == 0)
    {
         f = printHello;
    }
    else
    {
        f = printBye;
    }
    f();
}

采用函数指针的方式，这时所要调用的函数要到运行期才能确定。回到OC

id returnValue = [someObject messageName:parameter];

编译器会把这条语句转换成一条标准的C语言函数调用：

id returnValue = objc_msgSend(someObject, @selector(messageName:), parameter);

objc_msgSend()函数就是OC消息传递机制中的核心，其原型如下：

void objc_msgSend(id self, SEL cmd, ...)

这是一个参数个数可变的函数，第一个参数代表接收者，第二个参数代表选择器，后面的参数就是消息中传递的参数，objc_msgSend函数会先在接收者所属的类中搜寻方法列表，如果能找到与选择器名称相符的方法，就跳至其实现代码；如果找不到，那就沿着继承体系向上查找，等找到合适的方法再跳转；如果最终还是找不到相符的方法，那就会执行“消息转发”操作。消息转发流程以后再表......