深入浅出 Runtime（四）：super 的本质
深入浅出 Runtime（四）：super 的本质
1. objc_super 与 objc_msgSendSuper
我们先来看两个数据结构objc_super和objc_super2。
它们的区别在于第二个成员：
objc_super：super_class // receiverClass 的父类
objc_super2：current_class // receiverClass（消息接收者的class对象）
// message.h（objc4）
struct objc_super {
__unsafe_unretained _Nonnull id receiver; // 消息接收者
#if !defined(__cplusplus) && !__OBJC2__
/* For compatibility with old objc-runtime.h header */
__unsafe_unretained _Nonnull Class class;
#else
__unsafe_unretained _Nonnull Class super_class; // receiverClass 的父类
#endif
/* super_class is the first class to search */
};
// objc_runtime_new.h（objc4）
struct objc_super2 {
id receiver; // 消息接收者
Class current_class; // receiverClass（消息接收者的class对象）
};再来看两个函数objc_msgSendSuper()和objc_msgSendSuper2()。
从源码来看，两个函数所接收的参数没有区别，
但是从官方注释我们可以推测，objc_msgSendSuper2()函数所接收的第一个参数应该为objc_super2而非objc_super。
// message.h（objc4）
void objc_msgSendSuper(void /* struct objc_super *super, SEL op, ... */ )
// objc-abi.h（objc4）
// objc_msgSendSuper2() takes the current search class, not its superclass.
id _Nullable objc_msgSendSuper2(struct objc_super * _Nonnull super, SEL _Nonnull op, ...)2. self 和 super
self
- OC 方法都带有两个隐式参数：
(id)self和(SEL)_cmd； - self 是一个对象指针，指向当前方法的调用者/消息接收者； 如果是实例方法，它就是指向当前类的实例对象； 如果是类方法，它就是指向当前类的类对象。
- 当使用 self 调用方法的时候，底层会转换为
objc_msgSend()函数的调用，通过上一篇文章可以知道，该函数会从当前消息接收者类中开始查找方法的实现。
super
- super 是一个编译器指令；
- 当使用 super 调用方法的时候，底层会转换为
objc_msgSendSuper2()函数的调用，该函数会从当前消息接受者类的父类中开始查找方法的实现。
3. super 本质
我们通过 clang 将以下 OC 代码 转换为 C++ 代码：
[super viewDidLoad]; // 转换为 C++
((void (*)(__rw_objc_super *, SEL))(void *)objc_msgSendSuper)((__rw_objc_super){(id)self, (id)class_getSuperclass(objc_getClass("ViewController"))}, sel_registerName("viewDidLoad"));
// 简化
struct objc_super arg = {
self,
class_getSuperclass(objc_getClass("ViewController"))
};
objc_msgSendSuper(arg, sel_registerName("viewDidLoad"));可以看到，Runtime 将super转换为objc_msgSendSuper()函数的调用，参数为objc_super和SEL。
LLVM & 中间代码
那么为什么前面说super会转换为objc_msgSendSuper2()函数的调用呢？
因为转成的 C++ 的实现和真正的底层实现是有差异的，
LLVM编译器会将“ OC 代码”先转成“中间代码(.ll)”再转成“汇编、机器代码”，该中间代码非 C/C++。
可以使用以下命令行指令生成中间代码：clang -emit-llvm -S main.m
具体可以查看官方文档 LLVM，这里不做过多介绍。
通过汇编验证
将 ViewController.m 文件转换成汇编代码进行验证：
查看第 18 行代码即[super viewDidLoad]转换成的汇编代码
以上可以看到，[super viewDidLoad]底层实际上是转换成了objc_msgSendSuper2()函数的调用而非objc_msgSendSuper()。
super 本质
- 当使用 super 调用方法的时候，底层会转换为
objc_msgSendSuper2()函数的调用，该函数接收两个参数struct objc_super2和SEL。
struct objc_super2 {
id receiver; // 消息接收者
Class current_class; // receiverClass
};
id _Nullable objc_msgSendSuper2(struct objc_super * _Nonnull super, SEL _Nonnull op, ...)-
objc_msgSendSuper2()函数内部会通过current_class的superclass指针拿到它的父类，从父类开始查找方法的实现。忽略“从 receiverClass 中查找方法的过程”，对应下图就是直接从第 5 步开始。
objc_msgSendSuper2()执行流程
- 要注意
receiver消息接收者还是子类对象，而不是父类对象，只是查找方法实现的范围变了。
4. 相关面试题
Q：调用以下 init 方法的打印结果是什么？
@interface HTPerson : NSObject
@end
@interface HTStudent : HTPerson
@end
@implementation HTStudent
- (instancetype)init
{
if (self = [super init]) {
NSLog(@"[self class] = %@",[self class]);
NSLog(@"[super class] = %@",[super class]);
NSLog(@"[self superclass] = %@",[self superclass]);
NSLog(@"[super superclass] = %@",[super superclass]);
}
return self;
}
@end[self class] = HTStudent [super class] = HTStudent [self superclass] = HTPerson [super superclass] = HTPerson
class和superclass方法的实现在 NSObject 类中，可以看到它们的返回值取决于receiver。
+ (Class)class {
return self;
}
- (Class)class {
return object_getClass(self);
}
+ (Class)superclass {
return self->superclass;
}
- (Class)superclass {
return [self class]->superclass;
}[self class]是从receiverClass开始查找方法的实现，如果没有重写的情况，则会一直找到基类 NSObject，然后调用。
[super class]是从receiverClass->superclass开始查找方法的实现，如果没有重写的情况，则会一直找到基类 NSObject，然后调用。
由于receiver相同，所以它们的返回值是一样的。