二分查找容易忽略的一个bug

对于二分查找算法，相信大家肯定不会陌生。算法从一个排好序的数组中找指定的元素，如果找到了返回该元素在数组中的索引，否则返回-1。下面给出了解法。

[cpp] view plain copy print ?

1. //a为排好序的数组，n为数组的大小，x为指定元素  
2. int binarySearch(int a[], int n, int x)  
3. {  
4.     int left = 0, right = n-1, middle = 0;  
5.     int tmp = 0;  
6.     while(left <= right)  
7.     {  
8.          middle = (left + right)/2;  
9.          tmp = a[middle];  
10.          if(x < tmp) right = middle - 1;  
11.          else if(x > tmp) left = middle + 1;  
12.          else return middle;  
13.     }  
14.     return -1;  
15. }  

      乍看没有错误，但是不幸的是，该程序存在一个bug。当数组极大时，(left+right)可能为负数，则数组下标溢出，程序崩溃。

解决的方案：将middle=(left+right)/2改为middle=left+(right-left)/2即可。即利用减法代替加法，从而消除上溢。

      参考自《代码之美》