关于JavaScript中MAX_SAFE_INTEGER及IEEE 754隐式位的技术疑问

一、隐式1位的实际表示逻辑 #

IEEE 754双精度浮点数由三部分构成：符号位（1位）、指数位（11位）、尾数位（52位）。隐式1位仅针对规格化数（指数位既不全0也不全1的情况）生效：

• 规格化数的尾数采用「1.xxxxxx」的二进制格式，其中整数部分的「1」是固定存在的，无需占用尾数位空间，只需要存储小数部分的52位「xxxxxx」。
• 解析浮点数时，硬件或运行时会自动在尾数最高位前补上这个隐式的「1」，还原出完整的尾数。
• 对于非规格化数（指数位全0），不存在隐式1，尾数直接以「0.xxxxxx」的形式存在，用于表示接近0的极小值。

二、为什么MAX_SAFE_INTEGER是2 ** 53 - 1 #

先明确：安全整数指能被精确表示，且与其他整数进行加减运算时不会出现精度丢失的整数。

• 双精度浮点数的有效精度为53位（隐式1位+52位存储的尾数），所有二进制位数≤53位的整数都能被精确表示。
• 2 ** 53 - 1的二进制是53位全1（111...111），刚好可以通过隐式1加52位全1的尾数精确表示。
• 2 ** 53本身虽能被精确表示，但比它大的整数（比如2 ** 53 + 1）的二进制需要54位，尾数无法容纳所有有效位，会被舍入处理导致无法精确表示；同时，2 ** 53与相邻整数的差值无法被准确区分，因此不属于安全整数。
• 综上，2 ** 53 - 1是满足「精确表示+运算无歧义」的最大整数，也就是JavaScript中的MAX_SAFE_INTEGER。

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