Duration类toNanos方法为何在秒数为负时执行额外操作？

先看你给出的Duration.toNanos()代码：

public long toNanos() {
    long tempSeconds = seconds;
    long tempNanos = nanos;
    // TODO: Here makes me confused
    if (tempSeconds < 0) {
        // change the seconds and nano value to
        // handle Long.MIN_VALUE case
        tempSeconds = tempSeconds + 1;
        tempNanos = tempNanos - NANOS_PER_SECOND;
    }
    long totalNanos = Math.multiplyExact(tempSeconds, NANOS_PER_SECOND);
    totalNanos = Math.addExact(totalNanos, tempNanos);
    return totalNanos;
}

你的疑问 #

我无法理解为何在秒数为负时需要执行额外操作。正数的最大值为2^63-1，负数的最小值为2^63，这段代码似乎会将-2^63s,-1ns转换为-2^63+1s,1000_000_000-1ns，但最终仍需参与计算。在我看来这毫无意义，因为当数字溢出时，Math.multiplyExact和Math.addExact会抛出异常，无论是否存在该判断都不会改变这一结果。

逻辑解析 #

这段转换的核心是处理Long.MIN_VALUE（即-2^63）这个特殊值，避免其补码特性导致的中间计算异常，且转换前后的总纳秒数是完全等价的：

(seconds + 1) * NANOS_PER_SECOND + (nanos - NANOS_PER_SECOND) 
= seconds*NANOS_PER_SECOND + NANOS_PER_SECOND + nanos - NANOS_PER_SECOND 
= seconds*NANOS_PER_SECOND + nanos

为什么要针对Long.MIN_VALUE做处理？

Long.MIN_VALUE是long类型里唯一的特殊值：它的相反数2^63无法用long表示（long最大值是2^63-1）。当直接计算Long.MIN_VALUE * NANOS_PER_SECOND时，Math.multiplyExact的溢出检查逻辑会因为这个值的特殊性，进入非预期的判断路径；而转换后，tempSeconds = Long.MIN_VALUE + 1（即-2^63+1），这个值的相反数是合法的long值，Math.multiplyExact的溢出检查可以按正常逻辑执行。

关于溢出的疑问

你说得没错：转换前后的溢出结果完全一致——如果原计算会溢出抛出异常，转换后的计算也一定会抛出异常，因为两者的最终数学结果等价。这段代码的作用并非改变溢出结果，而是让计算过程在处理Long.MIN_VALUE时，遵循统一的负数计算逻辑，避免因特殊值导致的内部检查逻辑异常。

另外需要注意：Duration的内部状态保证nanos的绝对值小于1e9，且与seconds同号（或为0），所以转换后的tempNanos虽然看起来超出了常规范围，但在后续的加法计算中会抵消，最终结果仍符合预期。

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