标签：运行时   消息转发   objc_msgsend   

第11条：理解objc_msgSend的作用

    在对象上调用方法是OC中经常使用的功能。用OC术语来说这叫做：“传递消息”（pass a message）。消息有“名称”（name）或者“选择子”（selector），可以接收参数，而且可能还有返回值。

    由于OC是C的超集，所以最好理解C语言的函数调用方式。C语言使用“静态绑定”，就是说在编译期就能决定运行时所应调用的函数。以下列代码为例：

#import <stdio.h>
void printHello(){
    printf("Hello world\n");
}
void printGoodBye(){
    printf("Goodbye world\n");
}
void doTheThing(int type){
    if(type == 0){
        printfHello();
    }else{
        printGoodbye();
}
    return 0;   
}

    编译器在编译代码的时候就已经知道程序中有printHello与printGoodBye这两个函数了，于是直接生成调用这些函数的指令。而函数地址实际上是硬编码在指令之中的。若将刚才那段代码写成下面这样，会如何呢？

#import <stdio.h>
void printHello(){
    printf("Hello world\n");
}
void printGoodBye(){
    printf("Goodbye world\n");
}
void doTheThing(int type){
    void (*fun)();
    if(type == 0){
        fun = printfHello();
    }else{
        fun = printGoodbye();
}
    fun();
    return 0;   
}

    这时就得使用“动态绑定”（dynamic binding），因为所要用的函数知道运行时才能确定。编译器在这个环境下生成的指令与刚才哪个例子不同，在第一个例子中if和else语句中都有函数调用指令。而第二个例子中，只有一个函数调用指令，不过待调用的地址无法硬编码在指令之中，而是要运行期读出来。

    在OC中，如果向某对象传递消息，那就会使用动态绑定机制来决定需要调用的方法。在底层，所有方法都是普通C语言函数，然而对象收到消息后，究竟该掉哪个方法则完全于运行期决定，甚至可以在程序运行时改变，这些特性使得OC称为一门真正的动态语言。

    给对象发消息可以这样写：

    id returnValue = [someObject messageName:parameter];

    本例中，someObject叫做“接收者”，messageName叫做“选择子”。选择子与参数合起来称为“消息”。编译器看到此消息后，将其转换为一条标准的C语言函数调用，所调用的函数乃是消息传递机制的核心函数，叫做objc_msgSend，其原型如下：

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

    这是个参数个数可边长的函数，经过转化，刚才的函数被转化为这样：

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

    objc_msgSend函数会依据接收者与选择子的类型来调用适当的方法。为了完成此操作，该方法需要在接收者所属的类中搜索其“方法列表”（list of methods）如果能找到与选择子名称相符的方法，就跳至其实现代码。若找不到，那就沿着继承体系继续向上查找，等找到名称相符的方法之后再跳转。。如果最终还是找不到相符的方法，那就执行“消息转发”

    这么说来，想调用一个方法似乎需要很多步骤。所幸objc_msgSend会将匹配结果缓存在“快速映射表”里面。实际上，消息派发（message dispatch）并非应用程序的瓶颈所在。

    前面讲的这部分内容只描述了部分消息的调用过程，其他“边界情况”（edge case）则需要交由OC运行环境中的另一些函数来处理：

● objc_msgSend_stret 待发的消息要返回结构体

● objc_msgSend_fpret 消息返回的是浮点数

● objc_msgSend_Super 要给超类发消息。

    <return_type> class_selector(id self,SEL _cmd,...)

   每隔类里都有一张表格，其中的指针都会指向这个函数，而选择子的名称则是查表时所用的“键”。objc_msgSend等函数正是通过这张表格来寻找应该执行的方法并跳至其实现的。请注意，原型的样子和objc_msgSend很像。这不是巧合，而是利用“尾调用优化”（tail-call optimization）技术，令“跳至方法实现”这一操作变得更简单。

    在实际编写OC时，无须担心这些问题，开发者应该了解其底层工作原理。代码究竟是如何执行的，而且能理解为何在调试的时候，栈信息中总是出现objc_msgSend

【本节要点】

● 消息由接收者、选择子及参数构成。给某对象“发送消息”也就相当于在该对象上“调用方法”

● 发给某对象的去全部消息都要由“动态消息派发系统”（dynamic message dispatch system）来处理。该系统会查出对应的方法，并执行其代码

第12条：理解消息转发机制

-[__NSCFNumber lowercaseString]:unrecognized selector sent to instance 0x87
*** Terminating app due to uncaught exception 'NSInvalidArgumentException',reason:'-[__NSCFNumber lowercaseString]:unrecognized selector sent to instance 0x87'

    动态方法解析

id autoDictionaryGetter(id self,self _cmd);
void autoDictionarySetter(id self, SEL _cmd,id value);
+(BOOL)resolveInstanceMethod:(SEL)selector{
    NSString *selectorString = NSStringFromSelector(selector);
    if(/*selector is from a @dynamic property*/)
    {
        if([selectorString hasPrefix:@"set"]){
            class_addMethod(self.selector,(IMP)autoDictionarySetter,"v@:@");
        }else{
            class_addMethod(self.selector,(IMP)autoDictionaryGetter,"v@:@");
        }
    return YES;
    }
return [super resolveInstanceMethod:selector];
}

备援接收者

-(id) forwardingTargetForSelector:(SEL)selector

完整的消息转发

    如果转发算法已经来到这一步，那么唯一能做的就是启动完整的消息转发机制了。首先创建NSInvacaton对象，把与尚未处理的那条消息有关的全部细节都封于其中，此对象包含选择子、目标（target）及参数。在触发NSInvocation对象时，“消息派发系统”将亲自出马，把消息指派给目标对象。

    此步骤会调用下列方法转发消息：

    -(void) forwardInvocation:(NSInvocation*)invocation

    这个方法可以实现得很简单：只需要改变调用目标，使消息在新目标上得以调用即可。然而这样实现出来的方法与“备援接收者”方案所实现的方法等效，所以很少有人采用这么简单的实现方式。比较有用的实现方式为：在触发消息前，先以某种方式改变消息内容，比如追加另外一个参数，或是该换选择子，等等。

    实现此方法时，若发现某调用操作不应本类处理，则需要调用超类的同名方法。这样的话，继承体系中的每隔类都有机会处理此调用请求，直至NSObject。如果最后调用了NSObject类的方法，那么该方法还会继而调用“doesNotRecognizeSelector:”以抛出异常，次异常表示选择子最终未能得到处理。

消息转发全流程

    下图描述了消息转发的各个步骤：

    接收者在每一步均有机会处理消息。步骤越往后，消息处理的代价就越大。

第13条：用“方法调配技术”测试“黑盒方法”

    id(*IMP)(id,SEL,..)

    OC运行期系统提供的几个方法都能够用来操作这张表。开发者可以向其新增选择子，也可以改变某选择子对应的方法实现，还可以交换选择子所映射到的指针。经过几次操作之后，类的方法表就会标称如图这个样子

    在新的映射表中，多了一个名为newSelector的选择子，capitalizedString的实现也变了，而lowercaseString与uppercaseString的实现则互换了。上述修改均无需编写子类，只要修改了“方法表”的布局，就会反映到程序中所有的NSString实例之上。这下大家见识到此特性的强大之处了吧

    下面看一下如何互换两个方法实现。想交换方法实现，可用下列函数：

void method_exchangeImplementations(Method m1,Method m2)

    此函数的两个参数表示待交换的两个方法实现，而方法实现则可通过下列函数获得：

Method class_getInstanceMethod(Class aClass,SEL aSelector)

    具体操作如下：

Method originalMethod = class_getInstanceMethod([NSStringclass],@selector(lowercaseString));
Method swappedMethod = class_getInstanceMethod([NSStringclass],@selector(uppercaseString));
method_exchangeImplementations(originalMethod,swappedMethod);

    实际应用，可以为那些黑盒方法增加日志技术功能。比如NSString 的lowercaseString接口，想在lowercaseString中添加log，该如何做呢

@interface NSString (EOCMyAddtions)
-(NSString*)eoc_myLowercaseString;
@end
@implementation NSString(EOCMyAdditions)
-(NSString*) eoc_myLowercaseString{
    NSString *lowercase = [self eoc_mylowercaseString];
    NSLog(@"%@ =>%@",self,lowercase);
    return lowercase;
}
@end

Method originalMethod = class_getInstanceMethod([NSStringclass],@selector(lowercaseString));
Method swappedMethod = class_getInstanceMethod([NSStringclass],@selector(roc_myLowercaseString));
method_exchangeImplementations(originalMethod,swappedMethod);

    执行完上诉代码之后，只要在NSString实例上调用lowercaseString方法，就会输出log了。

● 在运行期间，可以向类中新增或者替换选择子所对应的方法实现。

● 使用另一份实现来替换缘由的方法实现，这道工序叫：“方法调配”，开发者常用此技术向原有实现中添加新功能。

● 一般来说，只有调试程序的时候才需要在运行期修改方法实现，这种做法不宜滥用。

第14条：理解“类对象”的用意

    OC实际上是一门及其动态的语言。第11条讲解了运行期系统如何查找并调用某方法的实现代码，第12条则讲述了消息转发的原理：如果类无法立即响应某个选择子，那么就会启动消息转发流程。然而，消息的接收者究竟是何物？是对象本身么？运行期系统如何知道某个对象的类型呢？对象类型并非在编译器就绑定好了，而是要在运行期查找。而且还有个特殊类型id，它能够指代任意的OC对象类型。

    我们先讲一些基础知识，看看OC对象本质是什么。每个OC对象都是指向某块内存数据的指针。所以在声明变量时，类型后面都要跟一个星号（*）

NSString *pointerVariable = @"Some thing";

    编过C语言程序的人都知道什么意思。该变量“指向”（point to）NSString实例。所有OC对象都是如此，如果想把OC对象声明在栈上，编译器会报错：

Sting stackVariable = @"Some thing";
//error: interface type cannot be statically allocated

    对于通用id类型，由于其本身已经是指针了，所以我们能够这样写：

id genericTypeString = @"Some thing";

    描述OC对象所用的数据结构定义在运行期程序库的头文件里，id类型本身也在定义这里：

typedef struct objc_object{
    Class isa;
} *id;

    由此可见，每隔对象结构体的首个成员是Class类的变量。该变量定义了对象所属的类，通常称为is a指针。例如，刚才的例子中所有的对象is a NSString，所以其“is a”指针就指向NSString。Class对象页定义在运行期程序库的头文件中：

typedef struct objc_class *class;
struct objc_class{
    Class isa;
    Class super_class;
    const char* name;
    long version;
    long instance_size;
    struct objc_ivar_list *ivars;
    struct objc_method_list **methodLists;
    struct objc_cache *cache;
    struct objc_protocol_list *protocols
};

    假设有个名为SomeClass的子类从NSObject中继承而来，则其继承体系如下图所示

    super_class指针确立了继承关系，而isa指针描述了实例所属的类。通过这张布局关系图即可执行“类型信息查询”。我们可以查出对象是否能响应某个选择子，是否遵从某项协议，并且能看出此对象位于“类继承体系”的那一部分。

在类继承体系中查询类型信息

    可以用类型信息查询方法来检视类继承体系。“isMemberOfClass:”能够判断出对象是否为某个特定类的实例。而“isKindOfClass:”则能够判断出对象是否为某类或其派生的实例。

NSMutableDictionary *dict = [NSMutableDictionary new];
[dict isMemberOfClass:[NSDictionary class]];//no
[dict isMemberOfClass:[NSMutableDictionary class]];//yes
[dict isKindOfClass:[NSDictionary class]];//yes
[dict isKindOfClass:[NSArray class]];//no

【本节要点】

● 每隔实例都有一个指向Class对象的指针，用以表明其类型。从这些Class对象则构成了类的继承体系。

● 如果对象类型无法在编译期确定，那么就应该使用类型查询方法来探知

● 尽量使用类型信息查询方法来确定对象类型，而不要直接比较类对象，因为某些对象可能实现了消息转发功能。

《Effective Objective-C 2.0》—(第11-14条)—运行时动态绑定、objc_msgSend、消息转发机制,布布扣,bubuko.com

《Effective Objective-C 2.0》—(第11-14条)—运行时动态绑定、objc_msgSend、消息转发机制

标签：运行时   消息转发   objc_msgsend   

原文地址：http://blog.csdn.net/hherima/article/details/38425605