单态原型查找更快,因v8将属性访问固化为固定内存偏移量,跳过运行时判断;多态需查表比对、分支跳转,开销高2–3倍;超态则弃缓存,回归慢路径。

单态原型查找比多态原型查找快,核心在于 V8 能把属性访问固化为固定内存偏移量,跳过运行时结构判断;而多态意味着引擎必须查表、比对、分支跳转,开销明显上升。
单态:一次比对,直接取值
当某个属性访问(如 obj.x)反复作用于**同一隐藏类**的对象时,V8 在第一次执行后就记下该类中 x 的确切内存偏移量。后续调用不再检查对象结构,直接按地址加载——类似 C 语言结构体字段访问,是真正的“硬编码路径”。这种状态叫单态(monomorphic),IC 插槽里只存 1 个隐藏类,无分支、无查表、无额外指针解引用。
多态:查小表 + 线性比对
若同一调用点(如 loadX(o))陆续遇到 2–4 种不同隐藏类的对象(例如 {x:1}、{x:1,y:2}、class Point { x }),V8 升级为多态(polymorphic)状态。此时反馈向量插槽中会缓存多个类-偏移对,每次执行都要:
- 取出当前对象的隐藏类
- 在插槽的小型映射表中线性比对(最多 4 次)
- 匹配成功才用对应偏移加载,否则走慢路径
这个过程引入了条件分支、额外内存读取和可能的 CPU 分支预测失败,实测开销比单态高 2–3 倍,尤其在 tight loop 中放大明显。
超态:放弃缓存,回归通用查找
一旦插槽记录的隐藏类超过 4 种(比如混用普通对象、Map、Proxy、带 getter 的 class 实例等),V8 标记为超态(megamorphic)。它不再尝试缓存具体偏移,而是每次调用都走完整原型链遍历或通用属性查找逻辑——相当于退回到未优化的解释器路径,性能回落到基准水平,甚至因指令缓存污染更差。
真正影响速度的不是“继承层数”,而是“结构一致性”
注意:原型链深度(如 A→B→C)本身不直接导致多态;但若不同调用传入的对象来自不同构造器、字段顺序不一、或动态增删属性,就会生成不同隐藏类,从而触发多态升级。例如:
-
稳定结构:
new User(1, 'a')和new User(2, 'b')共享隐藏类 → 单态 -
结构漂移:
{id:1,name:'a'}、{name:'a',id:1}、Object.assign({}, base, {role:'admin'})→ 多态甚至超态
所以优化重点不是缩短原型链,而是让高频调用点的输入对象保持形状统一。










