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