Runtime 不是一张 C API 清单。真正需要学会的观点是，一条 Objective‑C 消息找不到实现时会发生什么框架怎样插入这条链。还有插错位置为什么会污染继承树、破坏 ABI，甚至与 KVO、DelegateProxy 冲突。

这篇文章直接围绕 RuntimeLab 中可运行的案例展开。每个案例都有独立源码，完整索引见 CASES.md。

先看Runtime 改的是哪一层

下面这张图足够作为总地图。我们不再枚举 API，而是通过五个真实问题来揭示 Runtime 在类结构、方法槽位还有消息转发通道上的影响。

先不要背 objc_msgSend。在 Objective‑C 中写下：

NSString *text =;老实说，

从 Runtime 的角度。它至少包含四样东西：

痛点：C++/Swift 开发者常误以为只要 selector 对，就能随意强转函数指针；实际返回类型或参数布局不匹配会导致崩溃或数据错乱。老实说，

编译器会根据静态类型选择合适的消息发送入口。为了理解机制，可以把它近似写成下面的函数指针调用。但不要在业务代码中随意手写 objc_msgSend

typedef NSString *;GreetingSend send = objc_msgSend;NSString *text = send(receiver。@selector,@"Lin");

This cast isn’t decoration. IMP 本质上是函数地址，但参数和返回值仍受网站 ABI 约束。把返回结构体的方法当作对象返回值调用，或者漏掉浮点参数。即使 selector 和地址都“找对了”，寄存器解释也会错。

跟着调试器看一次派发

1. 在将要发送消息的源码行打断点。
2. 停住后执行 po receiver，确认实际对象。
3. po object_getClass 查看当前真实 Class；KVO 场景不要只看 .
4. class_getMethodImplementation,@selector) 取得当前查找到的 IMP。
5. 确认实现属于哪个二进制和符号。

痛点：If you only log class name you may miss that KVO 已经把对象指向了动态子类，从而导致后续 Swizzle 找不到正确的 IMP。

This set of operations answers “当前这一刻会调用谁”。缓存属于 Runtime 私有实现细节。公开 API 能观察最终解析结果，但不应假设某个版本的缓存结构永远不变。

super 不是另一个接收者

中的接收者仍然是当前 self. 变化的是查找起点：编译器让 Runtime 从当前类的父类开始寻找 . 所以父类实现里的 self 仍指向原来的子类对象，动态派发也不会变成“给父类对象发消息”。

痛点：AOP 框架误把 super 当作另一个实例，会导致在子类上 Hook 父类方法时产生无限递归或双重调用。

You can verify this with RuntimeLab 的 super 查找案例：在父类实现中同时打印  和 _cmd.

至于案例一。线上出现 unrecognized selector，能否动态补救？

现象​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​​‏‏‏‏‏‏‎‎‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎ ‎‎‎‎‎‎‏ ‏ ‏ ‏ ‏ ‏ ‏ ​ ​ ​ ‌‌ ‌ ‌‌‌‌‌‌‌ ‌‌‌‌ ‌‌‍‍ ‍‍‌ ‍️‍️️️️️️ ‍︎‍︎‍   ⁠⁠⁠⁠⁠​​​​​​​​​​​‪‪‪‪‪‪‬‬‬‬‬‬‮‮‮‮‮‮      ⁠  崩溃信息：

-: unrecognized selector sent to instance …

实验代码​​​​​​​ ​​​ ​​​​​ ​​​​​ ​​​​​ ​​​​​ ​​​​​ ​​​​​ ​​​​​ ​​​​​

// 动态 IMP
static NSString *RTLDynamicallyResolvedGreeting {
return;}
// 动态解析入口
+ resolveInstanceMethod:selector {
if ) {
// 添加方法并返回 YES。让运行时继续搜索
return class_addMethod(self,selector,RTLDynamicallyResolvedGreeting,"@@:");}
return，按理说，}

痛点：If you forget correct type encoding and instead use “v@:”。call will silently corrupt registers – sometimes it won’t crash immediately but will produce garbage data later.