object-c语言的动态性
Objective-C 是一门极其动态的语言,许多东西都可以推迟到运行时决定、修改。那么到底何为动态、何为静态?我们通过一个简单的例子对比下
/*********** 例1 静态绑定 ***********/
#import
void printHello() {
printf("Hello, world!\n");
}
void printGoodbye() {
printf("Goodbye, world!\n");
}
void saySomething(int type)
{
if (type == 0) {
printHello();
} else {
printGoodbye();
}
return 0;
}
/*********** 例2 动态绑定 ***********/
#import
void printHello() {
printf("Hello, world!\n");
}
void printGoodbye() {
printf("Goodbye, world!\n");
}
void saySomething(int type)
{
void (*func)();
if (type == 0) {
func = printHello;
} else {
func = printGoodbye;
}
func();
return 0;
}
例1的代码在编译期,编译器就已经知道了有 void printHello()、void printGoodbye() 俩函数,并且在 saySomething() 函数中,调用的函数明确,可以直接将函数名硬编码成地址,生成调用指令,这就是 静态绑定(static binding)。那么例2呢?例2的调用的是 func() 函数,而这函数实际调用的地址只能到程序运行时才能确定,这就是所谓的 动态绑定(dynamic binding)。动态绑定将函数调用从编译期推迟到了运行时。
在 Objective-C 中,向对象传递消息,就会使用这种动态绑定机制来决定需要调用的方法,这种动态特性使得 Objective-C 成为一门真正动态的语言。
objec_msgSend 函数
Objective-C 的方法调用通常都是下面这种形式
id returnValue = [someObject messageName:parameter];
这种方法调用其实就是消息传递,编译器看到这条消息会转换成一条标准的 C 语言函数调用
id returnValue = objc_msgSend(someObject,
@selector(messageName:),
parameter);
用消息传递的话来解释就是:向 someObject
对象发送了一个名叫 messageName
的消息,这个消息携带了一个叫 parameter
的参数。这里用到了一个 objc_msgSend
函数,其函数原型如下
void objc_msgSend(id self, SEL cmd, ...);
这是一个可变参数的函数,第一个参数代表消息接收者,第二个代表 SEL 类型,后面的参数就是消息传递中使用的参数。
那么什么是 SEL 呢?SEL 就是代码在编译时,编译器根据方法签名来生成的一个唯一 ID。此 ID 可以用以区分不同的方法,只要 ID 一致,即看成同一个方法,ID 不同,即为不同的方法。
当进行消息传递,对象在响应消息时,是通过 SEL 在 methodlist 中查找函数指针 IMP,找到后直接通过指针调用函数,这其实就是前文介绍的 动态绑定。若是找到对应函数就跳转到实现代码,若找不到,就沿着继承链往上查找,直到找到相应的实现代码为止。若最终还是没找到实现代码,说明当前对象无法响应此消息,接下来就会执行 消息转发 操作,以试图找到一个能响应此消息的对象。
// 获取 SEL
SEL sel = @selector(methodName);
// 获取 IMP
IMP imp = methodForSelector(sel);
消息转发
消息转发并不神奇,我们其实早已接触过,只是不知道而已
-[__NSCFNumber lowercaseString]:unrecognized selector sent to instance 0x87
*** Terminating app due to uncaught exception 'NSInvalidArgumentException', reason:'-[NSCFNumber lowercaseString]:unrecognized selector sent to instance 0x87'
这段异常代码就是由 NSObject 的 doesNotRecognizeSelector: 方法所抛出的,异常表明:消息的接收者类型为 __NSCFNumber,无法响应 lowercaseString 消息,从而转发给 NSObject 处理。
消息转发分为三大阶段
- 第一阶段先征询消息接收者所属的类,看其是否能动态添加方法,以处理当前这个无法响应的 selector,这叫做 动态方法解析(dynamic method resolution)。如果运行期系统(runtime system) 第一阶段执行结束,接收者就无法再以动态新增方法的手段来响应消息,进入第二阶段。
- 第二阶段看看有没有其他对象(备援接收者,replacement receiver)能处理此消息。如果有,运行期系统会把消息转发给那个对象,转发过程结束;如果没有,则启动完整的消息转发机制。
- 第三阶段 完整的消息转发机制。运行期系统会把与消息有关的全部细节都封装到 NSInvocation 对象中,再给接收者最后一次机会,令其设法解决当前还未处理的消息。
动态方法解析
对象在收到无法响应的消息后,会调用其所属类的下列方法
/**
* 如果尚未实现的方法是实例方法,则调用此函数
*
* @param selector 未处理的方法
*
* @return 返回布尔值,表示是否能新增实例方法用以处理selector
*/
+ (BOOL)resolveInstanceMethod:(SEL)selector;
/**
* 如果尚未实现的方法是类方法,则调用此函数
*
* @param selector 未处理的方法
*
* @return 返回布尔值,表示是否能新增类方法用以处理selector
*/
+ (BOOL)resolveClassMethod:(SEL)selector;
方法返回布尔类型,表示是否能新增一个方法来处理 selector,此方案通常用来实现 @dynamic 属性。
// 动态方法解析,先进行这一步
+ (BOOL)resolveInstanceMethod:(SEL)name
// 实例方法
{
NSLog(@" >> Instance resolving %@", NSStringFromSelector(name));
// MissMethod为调用的方法名
if (name == @selector(dynamicParserMethod)) {
class_addMethod([self class], name, (IMP)dynamicMethodIMP, "v@:");
return YES;
}
return [super resolveInstanceMethod:name];
}
// 处理该类无法处理消息的方法
void dynamicMethodIMP(id self, SEL _cmd) {
NSLog(@" >> dynamicMethodIMP");
}
备援接收者
如果无法 动态解析方法,运行期系统就会询问是否能将消息转给其他接收者来处理,对应的方法为
// 备援接收者的处理
- (id)forwardingTargetForSelector:(SEL)aSelector {
NSLog(@" >> forwardingTargetForSelector %@", NSStringFromSelector(aSelector));
if (aSelector == @selector(testReceiveObject)) {
// 返回接受该方法的处理类
ReceiveObject *receiveObject = [[ReceiveObject alloc] init];
return receiveObject;
}
return [super forwardingTargetForSelector:aSelector];
}
在对象内部,可能还有其他对象,该对象可通过此方法将能够处理 selector 的相关内部对象返回,在外界看来,就好像是该对象自己处理的似得。
完整的消息转发机制
如果前面两步都无法处理消息,就会启动完整的消息转发机制。首先创建 NSInvocation 对象,把尚未处理的那条消息有关的全部细节装在里面,在触发 NSInvocation 对象时,消息派发系统(message-dispatch system)将会把消息指派给目标对象。对应的方法为
/**
* 消息派发系统通过此方法,将消息派发给目标对象,实现消息转发
*
* @param anInvocation 之前创建的NSInvocation实例对象,用于装载有关消息的所有内容
*/
- (void)forwardInvocation:(NSInvocation *)anInvocation {
NSLog(@"forwardInvocation = %@", NSStringFromSelector(anInvocation.selector));
if (anInvocation.selector == @selector(forwardInvocationMsg)) {
ReceiveObject *receiveObject = [[ReceiveObject alloc] init];
if ([receiveObject respondsToSelector:[anInvocation selector]]) {
[anInvocation invokeWithTarget:receiveObject];
}else {
[super forwardInvocation:anInvocation];
}
}
}
// 调用forwardInvocation之前要先进行对方法进行注册
- (NSMethodSignature*)methodSignatureForSelector:(SEL)selector
{
NSMethodSignature* signature = [super methodSignatureForSelector:selector];
if (!signature) {
// 注册
ReceiveObject *receiveObject = [[ReceiveObject alloc] init];
signature = [receiveObject methodSignatureForSelector:selector];
}
return signature;
}
这个方法可以实现的很简单,通过改变调用的目标对象,使得消息在新目标对象上得以调用即可。然而这样实现的效果与 备援接收者 差不多,所以很少人会这么做。更加有用的实现方式为:在触发消息前,先以某种方式改变消息内容,比如追加另一个参数、修改 selector 等等。
总结
demo地址