一个经典的二分查找算法
1 public static int binarySearch(int[] a, int key) {
2 int low = 0;
3 int high = a.length - 1;
4 while (low <= high) {
5 int mid = (low + high) / 2;
6 int midVal = a[mid];
7 if (midVal < key)
8 low = mid + 1;
9 else if (midVal > key)
10 high = mid - 1;
11 else
12 return mid; // key found
13 }
14 return -(low + 1); // key not found.
15 }
16
很有意思，java.util.Arrays的BUG 。
bug出现在第5行:
5: int mid =(low + high) / 2;
在一般情况下, 这个语句是不会出错的, 但是, 当low+high的值超过了最大的正int值 (231 - 1) 的时候, mid会变成负值, 这个时候, 会抛出ArrayIndexOutOfBoundsException 异常..
所以当一个数组包含超过2的30次方 个元素的时候, 就很可能会带来问题... 当然, 在一般的应用里面, 很少数组会包含那么多元素, 但是现在这样的情况已经越来越多了, 比如Google的海量运算..
那如何解决这个问题?
很简单, 修改这行语句为:
5: int mid = low + ((high - low) / 2);
或者
5: int mid = (low + high) >>> 1;
