0001 // 二分查找算法(版本C):在有序向量的区间[lo, hi)内查找元素e,0 <= lo <= hi <= _size 0002 template <typename T> static Rank binSearch ( T* S, T const& e, Rank lo, Rank hi ) { 0003 while ( lo < hi ) { //每步迭代仅需做一次比较判断,有两个分支 0004 Rank mi = ( lo + hi ) >> 1; //以中点为轴点(区间宽度的折半,等效于宽度之数值表示的右移) 0005 ( e < S[mi] ) ? hi = mi : lo = mi + 1; //经比较后确定深入[lo, mi)或(mi, hi) 0006 } //成功查找不能提前终止 0007 return --lo; //循环结束时,lo为大于e的元素的最小秩,故lo - 1即不大于e的元素的最大秩 0008 } //有多个命中元素时,总能保证返回秩最大者;查找失败时,能够返回失败的位置