这个是acwing站长YXC的模板
https://www.acwing.com/file_system/file/content/whole/index/content/3073/
版本1
当我们将区间[l, r]划分成[l, mid]和[mid + 1, r]时，其更新操作是r = mid或者l = mid + 1;，计算mid时不需要加1。
C++ 代码模板：
int bsearch_1(int l, int r)
{
while (l < r)
{
int mid = l + r >> 1;
if (check(mid)) r = mid;
else l = mid + 1;
}
return l;
}
版本2
当我们将区间[l, r]划分成[l, mid - 1]和[mid, r]时，其更新操作是r = mid - 1或者l = mid;，此时为了防止死循环，计算mid时需要加1。
C++ 代码模板：
int bsearch_2(int l, int r)
{
while (l < r)
{
int mid = l + r + 1 >> 1;
if (check(mid)) l = mid;
else r = mid - 1;
}
return l;
}
这个是《算法竞赛进阶指南》的模板 对于check函数也进行了描述
保证答案处于闭区间[l,r]以内，循环以l=r结束
在单调递增序列a中查找>=x的数中最小的一个(即x或x的后继)
while(l<r){
int mid = l+r>>1;
if(a[mid]>=x) r=mid;else l = mid+1;
}
return a[l];
在单调递增序列a中查找<=x的数中最大一个(即x或者x的前驱)
while(l<r){
int mid = (l+r+1)>>1;
if(a[mid]<=x) l= mid;else r =mid-1;
}
return a[l];