javascript class没有虚方法表，其继承调用基于原型链查找与内联缓存优化，通过隐藏类和jit编译实现动态多态，而非c++/java式的vtable调度。
现代 JavaScript 引擎（如 V8、SpiderMonkey、JavaScriptCore）并不实现传统面向对象语言中的“虚方法表（vtable）”或运行时动态分派的虚函数调用机制，因此不存在严格意义上的“class 虚方法继承调用”这一执行模型。这是理解问题本质的关键前提。
所谓“虚方法”（virtual method）是 C++/Java 等静态类型语言的概念：编译器在类布局中预留 vtable 指针，方法调用通过 obj->vtable[index]() 间接跳转，依赖运行时对象的实际类型做动态绑定。而 JavaScript 的 class 是语法糖，底层完全基于原型链 + 属性查找 + JIT 优化，没有 vtable、没有虚函数指针、也没有编译期生成的方法分发表。
所以，“探究 class 虚方法继承调用的执行全貌”这一表述本身存在概念错位。真实执行路径如下：
方法调用的本质是属性访问与动态绑定
当执行 obj.method() 时，引擎实际做的是：
- 在
obj自身属性中查找method - 若未找到，沿
obj.[[Prototype]]链向上搜索（即obj.__proto__ → constructor.prototype → ...） - 找到后，以
obj为this绑定执行该函数 - 整个过程不依赖“虚函数索引”，也无固定偏移量跳转
这意味着：
✅ 同一方法名在不同子类实例上调用，可能命中不同原型上的同名函数（多态表现）
❌ 但这种“多态”不是靠虚表调度，而是靠运行时原型链遍历 + 内联缓存（IC）优化
引擎如何用分支预测辅助这一流程？
V8 等引擎不会对“虚函数跳转”做分支预测——因为根本没这种跳转。但它会对以下两类热点行为做深度优化：
1. 内联缓存（Inline Cache, IC）的单态/多态判定
每次 obj.method() 调用，V8 先检查最近几次调用的对象类型（hidden class）和方法位置：
- 若总是同一 hidden class → 单态 IC → 直接硬编码
obj.[[Prototype]]地址 + 方法偏移 → 无分支 - 若出现 2–4 种类型 → 多态 IC → 生成小的类型检查分支（类似
if (type === A) ... else if (type === B) ...）→ 此处才涉及分支预测 - 若类型过多 → megamorphic IC → 退化为慢速字典查找 → 绕过分支预测，走通用路径
✅ 示例：连续调用
dog.speak()和cat.speak()（二者 prototype 不同），V8 可能在多态 IC 中插入 2–3 个cmp + je指令，CPU 分支预测器会学习这些跳转模式提升命中率。
2. JIT 编译后对 super.method() 的静态解析
子类中写 super.foo()，V8 在 TurboFan 编译阶段就确定：
-
super指向父类 prototype（非运行时计算） -
foo在父类 prototype 上的固定内存偏移（若已稳定） → 编译为直接读取parentProto.foo+call，无运行时分支
⚠️ 注意：若父类 prototype 被动态修改（如
Parent.prototype.foo = newFn），IC 失效，触发去优化（deoptimization），回到解释器慢路径。
为什么没有真正的虚方法优化空间？
- JavaScript 方法可随时被重写：
obj.method = ...、C.prototype.m = ...、甚至delete obj.__proto__.m -
this绑定灵活：obj.m.call(other)、箭头函数无this、bind()创建新函数 - 引擎必须保守：任何看似“稳定”的调用都可能因后续代码突变而失效
→ 所有优化都是概率性、可撤销的推测（speculative optimization），而非确定性虚表调度。
实际调试建议（验证上述行为）
想观察真实执行路径，可用：
// 启动 V8 with trace IC: --trace-ic --trace-opt
class A { m() { return 'A'; } }
class B extends A { m() { return 'B'; } }
const b = new B();
b.m(); // 观察 IC 状态变化（log 中出现 "load IC" / "keyed load IC"）
或使用 DevTools 的 Optimization tab 查看函数是否被 TurboFan 优化、是否因 prototype 修改而 deopt。
JavaScript 的“继承多态”是动态、懒惰、可逆的，它靠的是隐藏类演化 + 内联缓存 + 去优化机制，而不是虚函数表与分支预测协同。把 C++/JVM 的虚方法思维套用到 JS，容易误判性能瓶颈和调试方向。真正影响性能的是原型链长度、hidden class 稳定性、以及是否触发去优化——而不是“虚函数跳转是否被 CPU 预测对”。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
