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

Question

作为一个初学者，最近阅读了JDK1.8的源码。我面临的问题是为什么用AB>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");
    }
}