本文深入解析 int 与 double 在算术溢出时表现迥异的根本原因：整数溢出是确定性回绕（wrap-around），而双精度浮点数溢出遵循 IEEE 754 标准，表现为精度丢失或向无穷大渐进。
本文深入解析 `int` 与 `double` 在算术溢出时表现迥异的根本原因：整数溢出是确定性回绕（wrap-around），而双精度浮点数溢出遵循 ieee 754 标准，表现为精度丢失或向无穷大渐进。
在 Java 中，Integer.MAX_VALUE + 1 == Integer.MAX_VALUE 返回 false，而 Double.MAX_VALUE + 1 == Double.MAX_VALUE 却返回 true——表面看矛盾，实则深刻反映了两种数据类型底层语义与硬件支持的根本差异。
? 整数溢出：模运算式回绕（Wrap-around）
Java 的 int 是 有符号 32 位二进制补码整数，其取值范围严格限定为 ([-2^{31},\ 2^{31}-1])，即 ([-2147483648,\ 2147483647])。当执行 Integer.MAX_VALUE + 1（即 2147483647 + 1）时，二进制加法发生溢出，最高位进位被丢弃，结果按补码规则自动回绕为 Integer.MIN_VALUE（-2147483648）：
System.out.println(Integer.MAX_VALUE); // 2147483647 System.out.println(Integer.MAX_VALUE + 1); // -2147483648 ← 回绕结果 System.out.println(Integer.MAX_VALUE + 1 == Integer.MAX_VALUE); // false System.out.println(Integer.MAX_VALUE + 1 == Integer.MIN_VALUE); // true ✅
这是明确定义的行为（JLS §15.18.2），非异常、不报错，但极易引发逻辑缺陷——因此现代开发中推荐使用 Math.addExact() 等安全方法捕获溢出。
? 浮点数溢出：IEEE 754 的精度与无穷大机制
double 遵循 IEEE 754-1985/2008 双精度浮点标准，以 64 位表示：1 位符号 + 11 位指数 + 52 位尾数（隐含前导 1）。其关键特性包括：
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
立即学习“Java免费学习笔记（深入）”；
- 有限精度：约 15–17 位十进制有效数字；
- 动态范围：可表示 ( \pm 1.7976931348623157 \times 10^{308} ) 量级的数；
- 特殊值支持：POSITIVE_INFINITY、NEGATIVE_INFINITY、NaN。
因此：
- Double.MAX_VALUE + 1：由于 Double.MAX_VALUE ≈ 1.7976931348623157E308，而相邻可表示 double 值的间距（ulp）已达 ( \sim 2^{970} \approx 10^{292} ) 量级，1 远小于该精度单位，加法后数值无法改变，结果仍为 Double.MAX_VALUE → 比较返回 true。
- Double.MAX_VALUE * 2：指数部分加 1，超出最大允许指数（1023），触发上溢（overflow），按 IEEE 754 规则，结果被置为 Double.POSITIVE_INFINITY → == 比较返回 true。
验证示例：
System.out.println(Double.MAX_VALUE); // 1.7976931348623157E308 System.out.println(Double.MAX_VALUE + 1 == Double.MAX_VALUE); // true System.out.println(Double.MAX_VALUE * 2 == Double.POSITIVE_INFINITY); // true System.out.println(Double.isInfinite(Double.MAX_VALUE * 2)); // true
⚠️ 重要注意事项
- ❌ 永远不要用 == 比较 Double 对象：因涉及引用比较或装箱缓存问题（如 new Double(0.1) == new Double(0.1) 为 false）；应使用 Double.compare(d1, d2) == 0 或 Objects.equals(d1, d2)。
- ✅ 浮点数相等判断需谨慎：即使 d1 == d2 为 true，也不代表数学上精确相等；涉及计算时建议用误差范围（如 Math.abs(d1 - d2)
- ? 整数溢出不可逆，浮点溢出可检测：Double.isInfinite() 和 Double.isNaN() 是诊断浮点异常的可靠工具；而 int 溢出后无运行时痕迹，只能靠静态分析或 Math.*Exact() 方法防御。
✅ 总结
| 维度 | int / Integer | double / Double |
|---|---|---|
| 溢出行为 | 确定性回绕（到 MIN_VALUE） | 精度丢失（不变）或上溢至 Infinity |
| 标准依据 | 二进制补码（JLS 定义） | IEEE 754 浮点标准 |
| 可表示范围 | 固定 32 位整数区间 | 动态指数范围，支持极大/极小值及特殊值 |
| 安全编程建议 | 用 Math.addExact() 等防溢出 | 用 Double.isInfinite()/isFinite() 检测 |
理解这一差异，是写出健壮数值计算代码的基础——它不是“bug”，而是两种抽象模型在计算机中各司其职的必然体现。
