[Java知识库]Note: offset or count might be near -1＞＞＞1.

在JDK源码中有好几处可以看到这么一句话：

Note: offset or count might be near -1>>>1.

比如String的一个构造方法中包含这个注释，如下：

    public String(char value[], int offset, int count) {
        if (offset < 0) {
            throw new StringIndexOutOfBoundsException(offset);
        }
        if (count <= 0) {
            if (count < 0) {
                throw new StringIndexOutOfBoundsException(count);
            }
            if (offset <= value.length) {
                this.value = "".value;
                return;
            }
        }
        // Note: offset or count might be near -1>>>1.
        if (offset > value.length - count) {
            throw new StringIndexOutOfBoundsException(offset + count);
        }
        this.value = Arrays.copyOfRange(value, offset, offset+count);
    }

刚看到的时候，不是很理解这句话，但是查阅资料之后觉得写JDK源码的人考虑还是很周全的，写的真的很有水平。

首先理解这个字面量-1>>>1代表什么，他其实就是Integer.MAX_VALUE，即2147483647，因为整型-1的计算机内部表示是整型1的计算机内部表示取反加一，整型1的计算机内部是00000000 00000000 00000000 00000001，取反加一后得到11111111 11111111 11111111 11111111，>>>代表无符号右移，右移之后高位补0，右移一位之后得到01111111 11111111 11111111 11111111，最高位是符号位，0代表正数，所以最终-1>>>1表示2147483647。

接着看这句话，offset or count might be near -1>>>1.，这里说offsett或者count可能接近这个值，接近这个值之后可能会发生什么，也就是会overflow了，比如，打印下面这一行代码：

System.out.println(Integer.MAX_VALUE + 1);

你会得到-2147483648，和预期严重不符。出现这种情况将会是一件很可怕的事情。但是看这个注释下的表达式，怎么也不会出现这种情况呀？

offset > value.length - count

因为通过前面的判断，运行到这行代码时，下面条件是成立的，offset>=0，count>0，value.length>=0，两正数相减，即使在极端情况下0-Integer.MAX_VALUE也不会出现overfow的情况。代码写的是完全没有问题的。

所以这行注释是有其他意图的。

继续看这个表达式，如果转化成offset + count > value.length之后，是不是可以让脑子更好的理解这个if的表达式的条件。这个时候，如果后面维护JDK的开发人员，没有考虑到overflow的情况，认为为啥不采用这个更好理解的方式写这个条件表达式，而把代码改成了offset + count > value.length，这个时候是不是就有问题了。只要offset和count的和大于Integer.MAX_VALUE，问题就会出现了。

这个表达式写的很巧妙，避免了出现overflow的情况。注释也写的很合适，告诉阅读者下面这行代码为何这样写。JDK值得学习的地方太多了，分享一下。