data-structures - 为什么在 jdk 中使用 "offset+length<0"来确定参数是否非法？

Question

在jdk中，有很多地方可以检查array.eg的参数。

/*..........
 *
 * @throws IllegalArgumentException
 *         If <tt>offset</tt> is negative or greater than
 *         <tt>buf.length</tt>, or if <tt>length</tt> is negative, or if
 *         the sum of these two values is negative.
 *
 * @param buf   Input buffer (not copied)
 * @param offset    Offset of the first char to read
 * @param length    Number of chars to read
 */
public CharArrayReader(char buf[], int offset, int length) {
    if ((offset < 0) || (offset > buf.length) || (length < 0) ||
            //$ offset+length
        (**(offset + length) < 0)**) {
        throw new IllegalArgumentException();
    }
    this.buf = buf;
    this.pos = offset;
    this.count = Math.min(offset + length, buf.length);
    this.markedPos = offset;
}

为什么“(偏移+长度)<0”是必要的？

Answer 1

在 Java 中 int已签名，因此可能会发生两个正 int s 加在一起会产生负值。它被称为环绕式或 Integer Overflow