首先,这两个函数包含在头文件<algorithm>中,使用条件是在一个完全排序的数组中。
从外观上看,他们的参数列表包含四项:
(iterator pointing to the "first" , iterator pointing to the "last" , value , [compare function])
(指向"first"的指针,指向"last"的指针,一个值 (,一个比较函数) )
他们的返回值也是一个指针,lower_bound返回一个指向在[first,last)左闭右开区间内第一个不满足element<value的元素的指针,或者返回一个指向比较函数(compare(value,element) )返回false的元素的指针。
upper_bound则返回一个指向在[first,last)左闭右开区间内第一个满足element>value的元素的指针,或者返回一个指向比较函数(compare(value,element) )返回true的元素的指针。
using namespace std;
bool cmp_lower(int value, int element) {
return (value<element);
}
bool cmp_upper(int value, int element) {
return (element>value);
}
int main() {
vector<int>v = { 1,2,3,5,7 };
int l = lower_bound(v.begin(), v.end(),3,cmp_lower) - v.begin();
int r = upper_bound(v.begin(), v.end(), 3,cmp_upper) - v.begin();
cout << l << ' ' << r << endl;
return 0;
}
此时,因为v中下标为2的元素值为3,不满足3<3(element<value),所以lower_bound返回指向它的指针,做差后赋值给l,此时l的值应为2.
同理,v中下标为3的元素值为4,满足4>3(element>value),所以upper_bound返回指向第三个元素的指针,做差赋给r=3.
再举一组例子,若v={1,2,4,5},那么不满足ele<val的元素为下标为2的元素,满足ele>val的也为下标为2的元素,此时l=r=2.
若v={1,2,2,2,2},此时ele均<val,此时lower_bound返回v.end(),l=5.
此时不存在ele>val,upper_bound也返回v.end(),r=5.
综上,我们不难发现,lower_bound,upper_bound所需要的比较函数是互补的,实践中若需比较特殊元素,只需要编写一个比较函数即可.