Java方法返回值是否会发生溢出？与变量溢出有何区别？

先给结论 #

方法的返回值肯定会发生溢出，溢出不是变量的专属——你遇到的Math.round案例是特殊情况，不能代表所有方法的行为。

拆解你的两个例子 #

1. 变量运算溢出的本质 #

这段代码的溢出是Java整数运算的默认行为：

long number = Long.MAX_VALUE;
long newNumber = number +1;

Java的整数类型（byte、short、int、long）做原生算术运算时，溢出不会触发异常，而是直接按补码循环规则生成结果——Long.MAX_VALUE +1会变成Long.MIN_VALUE，这是标准的溢出表现。

2. Math.round没溢出的真实原因 #

你写的这段代码没溢出，和方法是否会溢出没关系，是参数的精度限制导致的：

long number = Math.round(Long.MAX_VALUE + 0.6);

• Long.MAX_VALUE是9223372036854775807，是64位整数，但double类型只有53位有效尾数，只能精确表示2^53以内的整数（约9e15），Long.MAX_VALUE远大于这个值。
• 当你计算Long.MAX_VALUE + 0.6时，这个值无法被double精确存储，会被自动舍入到最近的可表示值——也就是Long.MAX_VALUE本身。
• 所以Math.round处理的参数其实还是Long.MAX_VALUE，自然返回这个最大值，根本没碰到溢出的场景。

举个方法返回值溢出的例子 #

如果方法内部做了无防护的整数运算，返回值一样会溢出，比如这个简单的自定义方法：

public static long addOne(long num) {
    return num + 1;
}

调用addOne(Long.MAX_VALUE)，返回结果就是Long.MIN_VALUE，和变量运算的溢出结果完全一致。

再比如java.util.concurrent.atomic.AtomicLong的getAndIncrement方法，当值为Long.MAX_VALUE时，调用后也会变成Long.MIN_VALUE，这也是方法返回值溢出的典型情况。

不同方法的溢出行为不一样 #

方法怎么处理溢出，完全看它的内部实现，常见的几种情况：

• 默认溢出：和原生整数运算一样，直接返回循环后的结果，比如上面的自定义addOne方法。
• 抛出异常：比如Java 8新增的Math.addExact、Math.incrementExact这些方法，一旦检测到溢出就抛出ArithmeticException。
• 截断到极值：有些方法会主动把超出范围的值截断到类型的最大/最小值，比如Math.round如果传入的double值远大于Long.MAX_VALUE（比如Math.round(1e20)），会直接返回Long.MAX_VALUE，这是方法的设计逻辑。

所以没有统一的规则，要具体看方法的文档和实现。

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