小编use*_*308的帖子

Java，会（低+高）>>> 1 溢出吗？

我在看 Java 1.8 Api。在中java.util.Arrays.binarySearch(int[] a, int key)，我找到了这段代码。

int low = fromIndex;
int high = toIndex - 1;

while (low <= high) {
    int mid = (low + high) >>> 1;
    int midVal = a[mid];

    if (midVal < key)
        low = mid + 1;
    else if (midVal > key)
        high = mid - 1;
    else
        return mid; // key found
}
return -(low + 1);  // key not found.

Run Code Online (Sandbox Code Playgroud)

在这段代码中(low + high) >>> 1不会溢出。谁能告诉我为什么会这样？我用我自己的代码测试它。