Smi不是堆对象,无内存布局,直接编码在指针低位;HeapNumber是堆分配对象,含map指针和value字段,偏移8字节。二者仅通过指针LSB区分类型:0为Smi,1为堆对象。
Smi 和 HeapNumber 在内存中根本不是同一类东西——前者压根不占堆内存,后者必须分配堆空间;谈“布局异同”容易误以为它们是同类结构的变体,其实连存在位置都不同。
为什么 Smi 没有传统意义上的“内存布局”
Smi(Small Integer)不是对象,不分配堆内存,也不在堆上存储任何字段。它直接编码在指针值里:在 64 位系统中,最低位(LSB)为 0,其余 63 位左移一位后表示整数值(即实际值 = 指针值 >> 1)。比如整数
存为指针值
(二进制末位是 0),CPU 拿到这个值,右移一位就得到真实数值,全程无解引用、无内存访问。
这意味着:
会显示
,但你找不到它在堆上的地址——它没有堆地址
数组
的元素若全是 Smi,V8 可能用紧凑的整数向量(如
)存指针值,每个槽位就是个
,里面直接是编码后的 Smi
不存在
或类似字段偏移——它没有 C++ 类定义里的成员布局
HeapNumber 真实占用堆内存,有明确对象结构
HeapNumber 是堆上真实分配的对象,继承自
,有 map 指针 + value 字段的标准布局。在 64 位 V8 中典型结构如下:
注意:
它的地址 LSB 必为 1(因堆地址 8 字节对齐,右移一位后末位补 1 标识堆对象)
实际执行的是
,即从对象起始地址偏移 8 字节读取
每次创建
或隐式装箱(如
)都会触发堆分配,受 GC 管理
二者唯一共性:都通过指针值区分类型
V8 利用指针最低位做类型 tag:0 表示 Smi,1 表示堆对象(含
)。这是唯一可比的“布局规则”,但本质是编码策略,不是内存组织方式。
所以你会看到:
和
—— 运行时类型判断依赖该 tag,但语义完全不同
返回 true 仅当
是未装箱的 Smi;
才有效,不能写
(表达式求值可能触发临时装箱)
混用
、
或除法(如
)会导致索引变成 HeapNumber,让数组访问从 fast mode 切到 slow mode,性能断崖下跌
真正关键的不是记住布局图,而是理解:Smi 是 CPU 寄存器友好的即时值,HeapNumber 是需要 GC 照顾的堆对象。一旦数值运算中出现哪怕一次隐式升格,后续所有路径都可能被去优化——这点在热循环里尤其致命。
420x54%DebugPrint(42)Smi: 0x54[1, 2, 3]FixedArrayuintptr_tSmi::kValueOffsetHeapObjectHeapNumber object (16 bytes total):
+---------------------+
| map pointer (8B) | ← 指向 HeapNumber 的隐藏类
+---------------------+
| value (8B, double) | ← 实际存储的浮点数值,位于 kValueOffset = 8
+---------------------+HeapNumber::value()READ_DOUBLE_FIELD(this, 8)doublenew Number(3.14)2147483648HeapNumbertypeof 42 === 'number'typeof new Number(42) === 'object'%HasSmiValue(x)xconst v = arr[i]; %HasSmiValue(v)%HasSmiValue(arr[i])| 0Math.floori / 2