if（a-b <0）和if（a <b）之间的差异

if（a-b <0）和if（a <b）之间的差异

a < b

并且

a - b < 0

可能意味着两个不同的东西。考虑以下代码：

int a = Integer.MAX_VALUE;int b = Integer.MIN_VALUE;if (a < b) {    System.out.println("a < b");}if (a - b < 0) {    System.out.println("a - b < 0");}

运行时，将仅打印

a - b < 0

。发生的事情

a < b

显然是错误的，但是

a - b

溢出并变为

-1

，这是负面的。

话虽如此，请考虑一下数组的长度确实接近

Integer.MAX_VALUE

。中的代码

ArrayList

如下所示：

int oldCapacity = elementData.length;int newCapacity = oldCapacity + (oldCapacity >> 1);if (newCapacity - minCapacity < 0)    newCapacity = minCapacity;if (newCapacity - MAX_ARRAY_SIZE > 0)    newCapacity = hugeCapacity(minCapacity);

oldCapacity

确实接近，

Integer.MAX_VALUE

所以

newCapacity

（是

oldCapacity + 0.5 *oldCapacity

）可能溢出并变成

Integer.MIN_VALUE

（即负数）。然后，将

minCapacity

下溢 相减回正数。

此检查确保

if

不会执行。如果代码编写为

if (newCapacity <minCapacity)

，则

true

在这种情况下（由于

newCapacity

为负）

newCapacity

将被强制执行，

minCapacity

而与无关

oldCapacity

。

此溢出情况由下一个if处理。当

newCapacity

已经溢出，这将是

true

：

MAX_ARRAY_SIZE

被定义为

Integer.MAX_VALUE- 8

和

Integer.MIN_VALUE - (Integer.MAX_VALUE - 8) >0

的

true

。将

newCapacity

因此被正确地处理：

hugeCapacity

方法返回

MAX_ARRAY_SIZE

或

Integer.MAX_VALUE

。

注意：这就是

// overflow-conscious pre

此方法中的注释。