/*
参数A指向一串有序的int型数组
参数e为查找的对象
数组查找区间为[low, high)
函数功能为查找数组A中不大于e的的最后一位元素,并且返回它的秩
*/
int binSearch( int* A, int const &e, int low, int high )
{
while( low < high )
{
int middle = (low + high) >> 1;
e < A[middle] ? high = middle : low = middle + 1;
}
return --low;
}
问:e < A[middle]不成立时,low = middle + 1,这种做法是否会导致middle位置的元素遗漏?
答:不会,假设当前查找区间为[low, high),那么low-1位置(记为k位置)的元素就是上个区间查找中满足 A[middle] <= e 的元素。
如果当前的e < A[middle] ,那么high = middle,不会改变low的位置,
如果当前的e >= A[middle], 当前的middle位置元素与之前的k位置元素一样小于等于e,所以当low右移时,并没有遗漏k位置的元素。
问:为什么返回--low?
答:--low位置的元素即是代表不大于e的最后的元素,因为当区间缩小到low与high重合,while循环结束时,high位置的元素是大于e的。