二分法加一问题

看二分法模板时一直有的问题，就是加不加一如何理解，个人浅浅的写一下。

1.

while(l<r)
{
int mid=l+r+1>>1;
if(q[mid]<=x)l=mid;
else r=mid-1;
}

 该种情况存在一种临界情况，当l=r-1时，进入循环，若不加一，mid=(2r-1)/2,由于是向下取整，导致mid=r-1,若满足q[mid]<=x，即l=mid=l，继续下一轮循环，这样反反复复，一直重复该操作，也就是死循环。当加上一时，mid=r,即l=r,这样就循环终止了。        

2.

while(l<r)
{
int mid=l+r>>1;
if(q[mid]>=x)r=mid;
else l=mid+1;
}

我们假设这种情况也有临界，即l=r-1，mid=(2r-1)/2，也向下取整，这时mid同样等于r-1，即l，这种r=mid=l，不满足下一轮循环条件，循环终止，也找到x了。