关于NaN Boxing存储64位整数与JavaScript数值范围的技术疑问

嘿，很高兴你在探索NaN Boxing和动态语言实现！这俩知识点刚开始接触确实容易绕，我来帮你拆解这两个困惑：

首先得回顾下NaN Boxing的核心：利用IEEE 754双精度浮点数里的无效NaN编码来存储非浮点数类型。双精度的结构是1位符号位 + 11位指数位 + 52位尾数位，当指数位全为1、尾数位不全为0时，就表示一个NaN——而这部分尾数位（甚至可以挪用指数位的部分位）有大量冗余空间，用来标记类型和存储数据。

针对64位整数的存储，你提到的堆分配是可行方案，但并非唯一选择，而且性能问题也有优化空间：

• 小整数优化（SIO）优先：大部分程序里常用的整数都在小范围（比如-2^51到251-1），这部分可以直接编码到NaN的尾数位里。因为尾数位有52位，加上符号位的话，足够覆盖这个范围的有符号整数，完全不需要堆分配，直接在64位的“值”里存下整数和类型标记，访问速度和浮点数一样快。
• 大整数才用堆分配：对于超出小范围的64位整数，再把它们存在堆上，然后在NaN的尾数位里存储指向堆内存的指针（或者偏移量）。这种情况下确实会有一次间接访问的开销，但大整数在程序里出现的频率不高，而且你可以通过对象池复用来减少内存分配的次数，把性能影响降到最低。
• 进阶：挪用指数位扩展空间：有些实现会把指数位的某几位用来做类型标记（比如原本指数位全1是NaN，现在把最后一位改成0来标记整数类型），这样尾数位还是52位，加上符号位，能进一步扩展可直接存储的整数范围，不过要确保最终的编码还是符合IEEE 754的NaN规范，避免和合法浮点数冲突。

这个问题的核心是理解IEEE 754双精度浮点数的有效精度：

双精度浮点数的尾数位有52位，但它采用了“隐含最高位1”的编码方式——也就是说，实际的有效数字是53位（52位显式+1位隐含）。这意味着，所有小于等于2^53的整数都能被精确表示：因为每个整数都可以用53位二进制数唯一对应，没有歧义。

Number.MAX_SAFE_INTEGER的值就是2^53 - 1，超过这个数之后，两个相邻的浮点数之间的间隔会大于1，就会出现整数无法被精确表示的情况（比如2^53 +1会和2^53表示成同一个浮点数）。

你之前的误区是以为它局限于32位整数，但其实32位整数的范围（-2^31到231-1）远小于2^{53-1，所以JavaScript不仅能精确表示所有32位整数，还能覆盖更大范围的整数，直到2}53-1这个临界点。

刚开始接触位操作和浮点数编码确实会有点懵，慢慢来，先把IEEE 754的结构和NaN Boxing的核心逻辑吃透，再逐步打磨你的语言实现～

内容的提问来源于stack exchange，提问作者PoLLeN