为何如下Java代码无法正确检测integer overflow？

1. 检测对象完全错误 #

你在断言中校验的是入参a的绝对值，而a在整个方法生命周期中没有被修改过，只要传入时a满足Math.abs(a) <= Integer.MAX_VALUE，这个断言永远不会触发，和你实际运算的sum变量没有任何关系。

2. 数据类型和溢出规则不匹配 #

• 你用float类型做数值运算，float的溢出逻辑和整数完全不同：float溢出后不会像int那样出现数值回绕，而是直接变为Infinity（无穷大），不存在你所说的integer overflow（整数溢出）场景。
• 你用Integer.MAX_VALUE作为阈值判断浮点数值本身就存在逻辑缺陷：float在数值大于2^24后就无法精确表示所有整数，就算数值没有超过Integer.MAX_VALUE，也已经出现精度丢失，且Infinity和任何有限值的比较都会返回false，就算后续你改成校验sum，这个阈值判断也不符合预期。

3. Java断言默认处于关闭状态 #

JVM默认是不启用断言校验的，需要在启动时添加-ea（enable assertions）参数才会触发断言逻辑，如果你没有主动开启这个参数，就算断言条件不满足，也不会抛出任何异常，等于检测代码完全失效。 #

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