使用(low + high) >>> 1求平均值仅适用于结果保证不是负数的情况,但好处是即使两个数的和int溢出也能求出正确的结果,例如java.util.Arrays.binarySearch: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.这里用(low + high) >>> 1代替(low + high) /2是非常正确的,首先是因为数组下标肯定不会是负数,另一方面如果low + high大于int最大值时,只有>>>1能保证结果正确。我简单的测了一下运算时间,(low + high) >>> 1 基本等于 (low + high) >> 1 小于(low + high) /2编译器没有做优化的原因,是因为在low+high为负数的时候,三者不等价,例如:-5 / 2 = -2-5 >> 1 = -3-5 >>> 1 = 2147483645