从 [super performSelector:@selector(XXX)] 说起

如何调用父类的私有方法

有这样一个需求:

父类:Person

.h

#import 

NS_ASSUME_NONNULL_BEGIN

@interface Person : NSObject

@end

NS_ASSUME_NONNULL_END

----

.m

#import "Person.h"

@implementation Person

- (void)foo:(NSString *)name {
    NSLog(@"%s",__func__);
}

@end


子类:Son

.h
#import "Person.h"


NS_ASSUME_NONNULL_BEGIN

@interface Son : Person

- (void)foo:(NSString *)name;

@end

NS_ASSUME_NONNULL_END

---
#import "Son.h"

@implementation Son


- (void)foo:(NSString *)name {
    
    // 这里想调用父类的foo:方法
    
    NSLog(@"son--foo");
}

@end

ViewController

@implementation ViewController

- (void)viewDidLoad {
    [super viewDidLoad];
    Son *son = [[Son alloc] init];
    [son foo:@"tom"];
}
@end

现在子类想执行NSLog(@"son--foo");的同时调用父类的foo:,很自然的想到可不可以这样来写

Son.m修改如下


 - (void)foo:(NSString *)name {

+    if ([super respondsToSelector:@selector(foo:)]) {
+        [super performSelector:@selector(foo:) withObject:name];
+    }
    
    NSLog(@"son--foo");
}

看起来很合理,然现实很残酷

15640499204160.jpg

通过左边的堆栈可以看出是死循环,为什么会出现死循环呢?

为什么会死循环?

这个需要看下super的本质了,第一眼可能以为是父类的指针吧,其实他是个编译器特性,告诉编译器编译的时候,从父类的方法列表开始查找。

xcrun -sdk iphoneos clang -arch arm64 -rewrite-objc Son.m

重写后的代码

static void _I_Son_foo_(Son * self, SEL _cmd, NSString * _Nonnull name) {


    if (objc_msgSendSuper)({self,
                            class_getSuperclass(objc_getClass("Son"))
                            },
                           sel_registerName("respondsToSelector:"),
                           sel_registerName("foo:"))) {
        (void *)objc_msgSendSuper)({self,class_getSuperclass(objc_getClass("Son"))},
                                   sel_registerName("performSelector:withObject:"),
                                   sel_registerName("foo:"),
                                   (id)name);
    }

    NSLog((NSString *)&__NSConstantStringImpl__var_folders_s2_zmz_wcdj2px2kh6hm1zkcd780000gp_T_Son_d162f5_mi_0);
}

发现根本没有什么super关键字,它的背后其实是调用的objc_msgSendSuper方法

objc_msgSendSuper

 * id objc_msgSendSuper(struct objc_super *super, SEL op, ...)
 *
 * struct objc_super {
 *     id receiver;
 *     Class super_class;   // the class to search
 * }

第一个参数是一个objc_superobjc_super的第一个参数是方法的调用者,第二个参数是查找方法的开始位置

当调用[super performSelector:@selector(foo:) withObject:name];时做了2个事情

1、 构造objc_super

{
self, // receiver 注意这里是son
class_getSuperclass(objc_getClass("Son")) // 也就是父类`Person`
}

2、 调用objc_msgSendSuper

objc_msgSendSuper(
    {self,class_getSuperclass(objc_getClass("Son"))},
sel_registerName("performSelector:withObject:"),

看下_objc_msgSendSuper的实现

先记住对象的数据结构

struct objc_class : objc_object {
    Class ISA;
    Class superclass;
    cache_t cache;             // formerly cache pointer and vtable
    class_data_bits_t bits;    // class_rw_t * plus custom rr/alloc flags

}
ENTRY _objc_msgSendSuper
UNWIND _objc_msgSendSuper, NoFrame

ldp p0, p16, [x0]       
// 该句汇编表示从x0开始往后分别赋值给p0,p16,而x0
// 就是消息的接受者排在第一位的就是ISA 紧跟着就是superclass,
// 所以p0 = real receiver(也就是isa), p16 = class (也就是superclass)

CacheLookup NORMAL      // calls imp or objc_msgSend_uncached

END_ENTRY _objc_msgSendSuper
    

针对我们的例子

  1. p0就是我们的son
  2. p16就是我们的Person

再来看下objc_msgSend的实现

/********************************************************************
 *
 * id objc_msgSend(id self, SEL _cmd, ...);
 * IMP objc_msgLookup(id self, SEL _cmd, ...);
 * 
 * objc_msgLookup ABI:
 * IMP returned in r12
 * Forwarding returned in Z flag
 * r9 reserved for our use but not used
 *
 ********************************************************************/

    ldr p13, [x0]       // p13 = isa
    GetClassFromIsa_p16 p13     // p16 = class 这个本质就是从isa中提取类的信息
LGetIsaDone:
    CacheLookup NORMAL      // calls imp or objc_msgSend_uncached

可以看出_objc_msgSendSuperobjc_msgSend唯一的不同就是p16寄存器不同,其他都是以一样的,而objc_msgSend是从当前对象的isa中取出类信息,所以从当前类开始的,而_objc_msgSendSuper是从superclass开始的,而p16决定着方法的查找开始的地方。

所以[super performSelector:@selector(foo:) withObject:name];等价于objc_msgSend(objc_super->receiver, @selector(performSelector:withObject:)))在这里就是objc_msgSend(son, @selector(performSelector:withObject:))),消息的接受者还是son

由于SonPerson都没有实现,所以就是NSObject的默认实现

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

所以

 [super performSelector:@selector(foo:) withObject:name];

等价于下面这种写法

[self performSelector:@selector(foo:) withObject:name];

从而导致了死循环。

想想为什么要传入原来的接受者呢,嗯是为了多态,不然父类的方法如何访问子类的方法等信息呢。

说了这么多就是想说明这种写法是错误的,那如何实现这个需求呢,下面推荐个可行的写法

如何解决

使用父类的类扩展,在子类增加父类的方法声明

Son修改如下


+ @interface Person ()
+ - (void)foo:(NSString *)name;
+ @end

@implementation Son


 - (void)foo:(NSString *)name {
    
-    if ([super respondsToSelector:@selector(foo:)]) {
-        [super performSelector:@selector(foo:) withObject:name];
-    }
+   [super foo:name];
    
    NSLog(@"son--foo");
}

但是上面方式有个缺陷,就是万一哪天父类没有这个方法了,子类会崩溃的,所以如果想放心点话可以做个防御,比如调用之前先看下父类有没有该方法


 - (void)foo:(NSString *)name {
    
+    unsigned  count = 0;

+   Method *methodList =  class_copyMethodList([self superclass], &count);

+    BOOL superHasThisMethod = NO;
+    for (int i = 0;  i < count; i++) {

+        Method  method =  methodList[I];
+        if ([NSStringFromSelector(method_getName(method)) isEqualToString:NSStringFromSelector(@selector(foo:))]) {
+            superHasThisMethod = YES;
+            break;
+        }
+    }
+    free(methodList);
    
+    if (superHasThisMethod) {
        [super foo:name];
+    }
    
    NSLog(@"son--foo");
}

如果有更好的写法,欢迎给我留言。

代码地址

你可能感兴趣的:(从 [super performSelector:@selector(XXX)] 说起)