Java中的原始数据类型溢出

Question

int num=Integer.MAX_VALUE*Integer.MAX_VALUE;

为什么这行没有给出Java不兼容的错误，因为结果超出了int的限制？

有人可以详细说明吗？

Answer 1

乘法运算符*允许这样做。 JLS的15.17.1节规定：

如果整数乘法溢出，则结果是数学乘积的低阶位，以某种足够大的二进制补码格式表示。 结果，如果发生溢出，则结果的符号可能与两个操作数值的数学乘积的符号不同。

简而言之，使用int值，允许溢出并且不是错误。 但是，某些IDE可能将此行标记为警告（IntelliJ似乎对此发出警告）。 但这会编译，当我打印出num ，我得到1 ，这是溢出的结果。

数学上，将x定义为Integer.MAX_VALUE + 1或2 ³¹ 。 然后num是（x-1） ²或（x ² -2x +1）。 在Java中，当发生溢出时，就好像获取了结果（mod 2 ³² ），其结果为1。

Answer 2

Java语言规范为溢出数据类型的计算提供了精确的含义：例如，对int的任何运算都使用结果的32个最低有效位。 没有歧义，也没有理由抛出异常。