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