JDK 1.8源码中，为什么用A-B>0来判断哪一个更大，而不是A>B？

Question

作为初学者，最近阅读了JDK1.8的源码。我遇到一个问题，为什么用A-B>0来判断哪个更大，而不是A>B？

下面的代码在java/util/ArrayList.java:236中

private void ensureExplicitCapacity(int minCapacity) {
    modCount++;

    // overflow-conscious code
    if (minCapacity - elementData.length > 0)
        grow(minCapacity);
}

我看不懂

minCapacity - elementData.length > 0

的代码。为什么不使用 minCapacity > elementData.length。

Answer 1

可能是为了防止 minCapacity 溢出，请检查此示例：

 public static void main(String[] args) {
    int elementDataLength = 10;
    int minCapacity = Integer.MAX_VALUE; // very big

    minCapacity += 1; // accidentally overflow it

    if (minCapacity > elementDataLength) {
        System.out.println("Will not work: minCapacity=-2147483647 elementDataLength=10");
    }
    if (minCapacity - elementDataLength > 0) {
        System.out.println("Will work: minCapacity - elementDataLength = 2147483638");
    }
}