Runtime系列(引文)

作者: 01_Jack | 来源:发表于2015-07-28 13:10 被阅读2837次

    super是什么?先别急着回答,看看下面这段代码

    示例代码.png

    说一下继承关系:Person -> Animal -> NSObject

    NSLog(@"super---%@", [super className]);
    

    这行代码的运行结果可能和预期的不太一样,不应该是Animal吗?Xcode又抽了?当然不是,让我们重新认识一下super。

    self与super

    • self和_cmd是类的隐藏参数
    • 谁调用self,self就指向谁,如类方法中的self指向当前类对象,对象方法中的self指向当前类的实例对象(如果父类中某个类\对象方法有self,子类调用父类的这个方法,此时父类中的self指向子类的类\实例)
    • _cmd其实是个SEL,下面这行代码在哪里调用,就会打印当前调用方法的方法名,作用类似于__func__
    NSLog(@"%@", NSStringFromSelector(_cmd));
    
    • super并不是父类标示符,而是编译器的指示符,怎么理解?让我们重新回到这里
    NSLog(@"super---%@", [super className]);
    NSLog(@"self---%@", [self className]);
    

    className是NSObject的属性,而代码中没有重写 -(NSString *)className,所以两处打印都是调用NSObject中的get方法。那么底层究竟是怎么实现的?

    屏幕快照 .png

    self调用时

    id objc_msgSend(id self, SEL op, ...)
    

    super调用时

    id objc_msgSendSuper(struct objc_super *super, SEL op, ...)
    

    浅析数据结构

    为了更好的理解参数含义,我们先看看id、objc_super究竟分别是什么

    id.png

    可以看到,id本质是结构体objc_object的指针,其中有一个Class isa成员,通过isa我们可以找到对象所属的类别,这也是为什么id可以表示任意对象的原因
    注意:在KVO中,isa在运行时会被修改,指向一个中间类,对于编译器而言,isa的指向才是最真实的类型

    objc_super.png

    receiver表示某个子类的实例,super_class表示当前类的父类

    底层实现

    接着我们来看看调用[receiver message]会做些什么

    • objc_msgSend
    id objc_msgSend(id self, SEL op, ...)
    

    receiver通过isa指针找到当前对象的class,并在class中寻找op,如果找到,调用op,如果没找到,到super_class中继续寻找,如此循环直到NSObject(后续文章会介绍如果NSObject中还是没找到会怎样)

    不难看出[self className]在NSObject中找到对应的方法并调用,所以返回Person

    • objc_msgSendSuper
    id objc_msgSendSuper(struct objc_super *super, SEL op, ...)
    

    本文中[super className]对应到objc_super,receiver表示Person的实例,super_class表示Animal类。同样,先在super_class查找,没找到op再到super_class的super_class中查找,在NSObject中找到op。此时内部的调用情况是这样的:

    objc_msgSend(objc_super -> receiver, @selector(className), ...)
    

    这里的objc_super -> receiver就是Person的实例,所以[super className]的运行结果仍然是Person而不是Animal

    题外话

    现在撇开Runtime回到示例代码本身,如果让[super className]运行的结果是Animal要怎么做?
    一种做法是,在Animal中重写className的get方法:

    - (NSString *)className {
        
        return NSStringFromClass([Animal class]);
    }
    

    当然,由于在Animal中重写了这个方法,此时Person中的

    NSLog(@"super---%@", [super className]);
    NSLog(@"self---%@", [self className]);
    

    输出均为Animal

    相关文章

      网友评论

      • 小白谈理财:糊涂了。父类objc_msgSend(objc_super -> receiver, @Selector(className), ...)和子类objc_msgSend(id self, SEL op, ...)那不就一样了吗?
      • Crowdasola:请教一下,您写的这几篇runtime的文章不是按时间顺序阅读的吧,具体顺序是什么
        01_Jack:@IT狂人Bill 可以按发布时间读
      • c57dddf3b833:写得很清晰,深入浅出,一看即懂。希望作者多分享一些文章
        01_Jack:@c57dd 谢谢支持,最近都在忙,有时间会继续更新😄
      • longlong1:我真的是看不懂了,可否动态录制?
        01_Jack:@龙凌 目前没时间录视频😔
        longlong1:@01_Jack :blush: 是呀,我真的发现我搞不懂
        01_Jack:@龙凌 出视频吗😳
      • Mars飘殇:恕我愚昧,我不太理解,[super className]先在super_class查找,没找到op再到super_class的super_class中查找,最后在NSObject中找到op。这句话里一开始就在super_class中查找,为啥最后打印还会是Person呢?难道[super className]方法调用本质上是子类调用className方法?
        Smicro:@01_Jack 你应该把className这个属性的get方法也贴一下的,get的实现是[self class]吗
        夏都:@Mars飘殇 你可以看一下rumtime的源码,里面有super结构体的定义,super有一个receiver,里面保存的就是调用super的self,也就是说如果你在super对应的方法里使用了self的话实际还是子类的指针,覆盖super方法时需要调用super的原因也是如此,不过这是从现象反过来解释本质感觉有些奇怪
        01_Jack:@Mars飘殇 建议用clang重新编译看消息传递过程
      • 星期五__:写的真好,作者能多写点就有福了
      • dcd5251327dc: 作者写的很详细,每看一遍都能获得更深的理解!
      • 火星的蝈蝈:写的很详细,不过需要多度几遍才能吃透。
        叶舞清风:@9c68f084c4aa 要敲代码才熟悉
      • 十一岁的加重:牛,写两篇就上两精华

      本文标题:Runtime系列(引文)

      本文链接:https://www.haomeiwen.com/subject/kjpmqttx.html