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

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

[cpp] view
plaincopyprint?

//a为排好序的数组，n为数组的大小，x为指定元素  

int binarySearch(int a[], int n, int x)  

{  

    int left = 0, right = n-1, middle = 0;  

    int tmp = 0;  

    while(left <= right)  

    {  

         middle = (left + right)/2;  

         tmp = a[middle];  

         if(x < tmp) right = middle - 1;  

         else if(x > tmp) left = middle + 1;  

         else return middle;  

    }  

    return -1;  

}  

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

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

      参考自《代码之美》