0001 //二分查找算法（版本B）：在有序向量的区间[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 ( 1 < hi - lo ) { //每步迭代仅需做一次比较判断，有两个分支；成功查找不能提前终止
0004       Rank mi = ( lo + hi ) >> 1; //以中点为轴点（区间宽度折半，等效于其数值表示的右移一位）
0005       ( e < S[mi] ) ? hi = mi : lo = mi; //经比较后确定深入[lo, mi)或[mi, hi)
0006    } //出口时hi = lo + 1，查找区间仅含一个元素[lo]
0007    return e < S[lo] ? lo - 1 : lo; //返回位置，总是不超过e的最大者
0008 } //有多个命中元素时，返回秩最大者；查找失败时，简单地返回-1，而不能指示失败的位置