Number.isSafeInteger 的校验范围是 −9007199254740991 到 9007199254740991，源于 IEEE 754 双精度浮点数 53 位有效精度，确保整数能被唯一、精确表示；它不检测溢出，只判断是否在精度保真区间内。

Number.isSafeInteger 的校验范围直接源于 IEEE 754 双精度浮点数的表示结构：它用 64 位二进制编码一个数字，其中 1 位符号位、11 位指数位、52 位尾数位（即有效数字位）。真正决定“哪些整数能被唯一、精确表示”的，是这 52 位尾数所能承载的精度上限。

为什么最大安全整数是 2⁵³ − 1

双精度浮点数能精确表示所有不超过 2⁵³ 的整数，原因如下：

• 尾数域实际提供 53 位有效精度（隐含前导 1），意味着它可以无损表达从 0 到 2⁵³ − 1 的每一个整数；
• 一旦整数 ≥ 2⁵³，相邻两个可表示浮点数之间的间隔变为 2，即无法再表示奇数（如 2⁵³ + 1 和 2⁵³ + 2 都映射到同一个浮点值）；
• 因此，能被完全区分、不丢失信息的最大连续整数就是 2⁵³ − 1，也就是 9007199254740991。

负数范围对称但不含 0 的特殊性

最小安全整数是 −(2⁵³ − 1)，而非 −2⁵³，因为：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• 整数范围关于 0 对称，且包含 0；
• 0 是精确可表示的，而 −2⁵³ 本身已超出 53 位精度覆盖的连续整数段；
• 所以安全下界与上界绝对值相等，即 −9007199254740991。

它不检查“是否溢出”，只确认“是否仍在精度保真区间”

Number.isSafeInteger 不是运行时溢出检测器，而是静态精度资格审查：

立即学习“Java免费学习笔记（深入）”；

• 它不关心你加了什么、乘了多少，只看当前值能否在双精度格式中被唯一还原；
• 例如 9007199254740992 是合法 number 类型，但它等于 9007199254740992 + 1，说明精度已塌缩——isSafeInteger 正是为捕捉这种塌缩而存在；
• 数学本质是：该值必须满足 |value| ≤ 2⁵³ − 1 且 value === Math.round(value)（即无小数部分）。

和 Number.MAX_SAFE_INTEGER 的关系

Number.MAX_SAFE_INTEGER 就是 2⁵³ − 1 的具名常量，Number.isSafeInteger 内部正是以它为边界进行判断。二者数学定义完全一致，只是接口形态不同：

• 手动写 val >= Number.MIN_SAFE_INTEGER && val <= Number.MAX_SAFE_INTEGER && Number.isInteger(val) 理论可行，但易漏判 NaN、Infinity 或类型错误；
• Number.isSafeInteger 把这三重逻辑封装成原子操作，避免开发者重复实现或引入边界疏漏。