if（a-b <0）和if（a

Answer 1

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 code此方法中的注释。