[super performSelector:sel]探秘

Super

@interface Super : NSObject

@end

@implementation Super
- (void)log{
    NSLog(@"super");
}
@end

Child

@interface Child : Super

@end

@implementation Child
- (void)log{
	if([super respondsToSelector:@selector(log)]){
	    [super performSelector:@selector(log)];
	}
}
@end

Child中的log调用能成功吗?
这种情况可能很多朋友都遇到过,在重写父类的过程中,想调用一个父类没有公开的方法,可能最省事的办法就是使用performSelector了(当然这是不好的设计方式),直觉上觉得这样当然没问题啦,可是一运行却发现代码会陷入死循环,就拿上面的例子来说会发现一直在递归调用Child里的log方法,why???

要搞清楚这个问题,还需要从runtime入手,首先,让我们来看看super是怎么回事?

让我们重写下我们的objc代码,可以看到如下的代码片段:

 ((id (*)(__rw_objc_super *, SEL, SEL))(void *)objc_msgSendSuper)((__rw_objc_super){(id)self, (id)class_getSuperclass(objc_getClass("Child"))}, sel_registerName("performSelector:"), sel_registerName("log"));

是的,super最终会变成对objc_msgSendSuper方法的调用,而关于objc_msgSendSuper的文档是这样写的:

/** 
 * Sends a message with a simple return value to the superclass of an instance of a class.
 * 
 * @param super A pointer to an \c objc_super data structure. Pass values identifying the
 *  context the message was sent to, including the instance of the class that is to receive the
 *  message and the superclass at which to start searching for the method implementation.
 * @param op A pointer of type SEL. Pass the selector of the method that will handle the message.
 * @param ...
 *   A variable argument list containing the arguments to the method.
 * 
 * @return The return value of the method identified by \e op.
 * 
 * @see objc_msgSend
 */

而它的第一个参数定义大致如下:

 struct objc_super {
    /// Specifies an instance of a class.
    __unsafe_unretained id receiver;
    /// Specifies the particular superclass of the instance to message. 
    __unsafe_unretained Class super_class;
    /* super_class is the first class to search */
};

所以,super的作用其实可以理解为两个:

  • 告诉runtime从父类开始找SEL的实现

  • 再说第二个作用之前,需要看看一个实例方法对应的IMP是什么样子的,还是看看之前重写后的Child上的log的IMP:

      static void _I_Child_log(Child * self, SEL _cmd) {...}
    

可见,在调用最终的c函数时,runtime会把当前实例作为第一个参数传递进去(这与很多其他面向对象的语言行为类似)。而super的第二个作用则正是要告诉runtime在执行第一步找到的IMP时self应该传什么,结合前面的内容,可以看到其实传递的就是当前的实例(这样才能保证多态)。

然后我们再来看看performSelector的实现:

- (id)performSelector:(SEL)sel {
    if (!sel) [self doesNotRecognizeSelector:sel];
    return ((id(*)(id, SEL))objc_msgSend)(self, sel);
}

绕了一圈,[super performSelector:sel]其实就是在执行objc_msgSend(self, sel), 因此对于之前出现的现象也就不会觉得奇怪了。

posted @ 2016-04-27 22:22  FrogTan  阅读(846)  评论(0编辑  收藏  举报