关于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会有很多这样的数字使成立的