C++有序数组的二分查找算法赏析

/*
参数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的。