关于AbstractStringBuilder 类中的扩容方法：expandCapacity 内部实现的一些疑问

Question

AbstractStringBuilder 抽象类的 expandCapacity(int minimumCapacity)方法源码如下：

 /**
 * This implements the expansion semantics of ensureCapacity with no
 * size check or synchronization.
 */
void expandCapacity(int minimumCapacity) {
    int newCapacity = value.length * 2 + 2; // 原容量*2+2 作为备选新的容量
    
    /*
    * newCapacity（>=2） 与minimumCapacity比较，如果小于就直接把minimumCapacity作为新容量大小
    * 也就是说对newCapacity的修改只有在newCapacity - minimumCapacity < 0的情况下发生而此时  newCapacity肯定是 >=2，也就意味着minimumCapacity是负数的情况下下面的第二个判断才有意义，可是minimumCapacity如果是负数newCapacity - minimumCapacity >= 2的，newCapacity也就不存在被修改的情况，这是矛盾的，newCapacity 就不肯能小于0，第二个判断是没意义的啊！！！可是这是jdk源码，不敢乱怀疑，特来请教。看明白的给我解释下啦. 描述的有点乱，不明白评论区问我
    */
    if (newCapacity - minimumCapacity < 0) 
        newCapacity = minimumCapacity;
    if (newCapacity < 0) {
        if (minimumCapacity < 0) // overflow
            throw new OutOfMemoryError();
        newCapacity = Integer.MAX_VALUE;
    }
    value = Arrays.copyOf(value, newCapacity);
}

Answer 1

newCapacity<0 && (newCapacity-mininumCapacity>0) 成立的情况下, 第二种也会执行
如果newCapacity溢出恰好为-1时, 此时这个条件会成立.
你自己写个程序跑一下, 从0~Integer.MAX_VALUE会有很多这样的数字使成立的