c++ Algorithm库中lower_bound和upper_bound的返回值及各种情况

参数

first : 起始迭代器
last : 结束的迭代器
val : 搜索的基准值，在lower_bound中要≥val，在upper_bound中要＞val
comp : 二进制函数，通常省略

返回值类型

以此为例，对于：vector<int> arr = {5, 6, 8, 8, 15, 19}

1. 返回迭代器

通过lower_bound查找≥8的数，得到的是迭代器，通过迭代器能够获得查找到的元素的值

//获得一个迭代器
vector<int>::iterator it = lower_bound(arr.begin(), arr.end(), 8);
//通过迭代器能够得到找到的值
cout << *it;//这里输出的是8，因为在arr中第一个≥8的值为8

2. 返回下标

将之前得到的迭代器减去arr.begin()即可得到下标值

vector<int>::iterator it = lower_bound(arr.begin(), arr.end(), 8);
cout << it - arr.begin();//这里输出的是2，因为第一个8的下标为2

不过通常的写法为

//直接获取下标值
int pos = lower_bound(arr.begin(), arr.end(), 8) - arr.begin();
cout << pos;//返回值为2

使用时的各种情况

同样，例子：vector<int> arr = {5, 6, 8, 8, 15, 19}，以返回下标来进行说明。

注意：使用两函数时的数组在大多数情况下为已排序数组，可以观察到arr是非递减的。

1. 基准数val在数组最大最小值之间，且存在于数组中
   vector<int> arr = {5, 6, 8, 8, 15, 19}

//大于等于6的第一个数的下标值
int Low = lower_bound(arr.begin(), arr.end(), 6) - arr.begin();
cout << Low << endl;//输出的是1，因为第一个6的下标是1
//大于6的第一个数的下标值
int Up = upper_bound(arr.begin(), arr.end(), 6) - arr.begin();
cout << Up;//输出的是2，因为大于6的数的第一个数的下标是2

输出的是下标值

2. 基准数val在数组最大最小值之间，但不存在于数组中
   vector<int> arr = {5, 6, 8, 8, 15, 19}

//大于等于9的第一个数的下标值
int Low = lower_bound(arr.begin(), arr.end(), 9) - arr.begin();
cout << Low << endl;//输出的是4
//大于9的第一个数的下标值
int Up = upper_bound(arr.begin(), arr.end(), 9) - arr.begin();
cout << Up;//输出的是4

可以发现Low的值等于Up，因为要找的值9不存在
所以lower_bound的功能此时与upper_bound一致，都是找到大于9的第一个数

3. 基准数val小于数组最小值
   vector<int> arr = {5, 6, 8, 8, 15, 19}

//大于等于0的第一个数的下标值
int Low = lower_bound(arr.begin(), arr.end(), 0) - arr.begin();
cout << Low << endl;//输出的是0
//大于0的第一个数的下标值
int Up = upper_bound(arr.begin(), arr.end(), 0) - arr.begin();
cout << Up;//输出的是0

此时输出都是0，类似第二种情况，val不存在于数组arr中
此时两函数功能一致，都是找到大于val的第一个数
因为val小于最小值，故而更大的一个数为数组的第一个数，下标为0

4. 基准数val等于数组最大值
   vector<int> arr = {5, 6, 8, 8, 15, 19}

//大于等于19的第一个数的下标值
int Low = lower_bound(arr.begin(), arr.end(), 19) - arr.begin();
cout << Low << endl;//输出的是5
//大于19的第一个数的下标值
int Up = upper_bound(arr.begin(), arr.end(), 19) - arr.begin();
cout << Up;//输出的是6

因为19存在于数组中，所以lower_bound输出的是它第一次出现的下标5
而大于19的元素不存在，所以输出的是数组的长度6

5. 基准数val大于数组最大值
   vector<int> arr = {5, 6, 8, 8, 15, 19}

//大于等于20的第一个数的下标值
int Low = lower_bound(arr.begin(), arr.end(), 20) - arr.begin();
cout << Low << endl;//输出的是6
//大于20的第一个数的下标值
int Up = upper_bound(arr.begin(), arr.end(), 20) - arr.begin();
cout << Up;//输出的是6

此时输出的都是6，即都输出数组的长度
因为两函数都查找失败，即在数组arr中不存在大于等于20的数，最终输出6

最后，若为迭代器的话，输出数组的长度相当于arr.end()