在JDK中,整形类型是有范围的,最大值为Integer.MAX_VALUE,即2147483647,最小值为Integer.MIN_VALUE即-2147483648。
对整形最大值加1,2147483648(越界了),那么此时值为多少呢?结果是-2147483648,即是Integer.MIN_VALUE。类似的,对Integer.MIN_VALUE取反或者取绝对值呢?仍为Integer.MIN_VALUE,因为值为-2147483648,绝对值2147483648超过Integer.MAX_VALUE 2147483647。
所以就有以下结果论:
1.Integer.MAX_VALUE + 1=Integer.MIN_VALUE
2.Math.abs(Integer.MIN_VALUE) = Integer.MIN_VALUE
3.Long,short,byte的结论是相同的。
由上面的解析可以知道:
假设i是int类型,那么当i=2^32-1时,i+1数据溢出变成负数,就达成了条件i+1 < i,其他类型同理