math.abs对integer.min_value返回负数是补码机制导致的正常现象，需通过显式判断或long转换避免溢出；nan取abs仍为nan，-0.0取abs得0.0但符号位丢失，需用math.copysign保留语义。
Java 中 Math.abs 看似简单，但实际使用中容易踩坑——尤其是 Integer.MIN_VALUE 这个边界值，它调用 Math.abs 后仍返回负数，不是 bug，而是补码系统下的必然结果。
Math.abs 的基本计算逻辑
它不调用复杂算法，就是条件判断加符号翻转：
- 对
int：内部等价于(a - 对
long：同理，(a - 对
float/double：直接清除符号位（IEEE 754 规则），所以没有溢出问题 -
byte和short会自动提升为int再计算，返回类型仍是int
Integer.MIN_VALUE 溢出的根源
32 位 int 补码表示范围是 [-2147483648, 2147483647]。最小值 -2147483648 没有对应的正数表示——因为 2147483648 已超出 int 最大值 2147483647。所以 -(-2147483648) 在 int 范围内仍等于 -2147483648。
Java JDK 25
下载
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
- 只有这一个值会出问题：
Math.abs(Integer.MIN_VALUE) == Integer.MIN_VALUE（即仍是 -2147483648） -
Long.MIN_VALUE同理，Math.abs(Long.MIN_VALUE) == Long.MIN_VALUE - float/double/decimal 不受此限制
如何排查和规避这个溢出问题
不能只靠“取了绝对值就一定非负”这种直觉，尤其在涉及坐标差、索引偏移、时间差或用户输入的场景里。
- 用
Math.absExact(int)替代：JDK 8+ 提供，遇到Integer.MIN_VALUE直接抛ArithmeticException，适合强校验场景 - 升维再降维：先转成 long 计算，再检查是否超出 int 范围，例如：
long absLong = Math.abs((long) x); if (absLong > Integer.MAX_VALUE) throw new IllegalArgumentException(); int result = (int) absLong; - 显式判断边界：
x == Integer.MIN_VALUE ? throw new IllegalStateException("Unsupported value") : Math.abs(x) - 避免隐式转换：比如
int diff = Math.abs(end - start)，若 end=0、start=Integer.MAX_VALUE，差值是-2147483648，再取 abs 就失效；应改用Math.abs((long)end - (long)start)
NaN 和 ±0.0 的特殊行为也要留意
它们虽不导致溢出，但影响逻辑判断：
-
Math.abs(Float.NaN) == Float.NaN，不会变成 0 或抛异常 -
Math.abs(-0.0) == 0.0，但Double.doubleToLongBits(-0.0) != Double.doubleToLongBits(0.0)，符号信息丢失 - 若业务需保留负零语义（如某些数值模拟），别用
Math.abs，改用Math.copySign(1.0, x) > 0 ? x : -x或直接判断符号位
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
