mid = left+right>>1;
mid = [left,right] 左边界
即 对于[left,left+1]->mid恒等于 left
因此 left = mid 则对于只进入该分支的情况 left永不能跟right相等
由此 left = mid+1
反之
mid = left+right+1>>1 left问题则解决
而对于右边界相应的 left+right+1>>1 得到的是右半边的范围 因此right = mid-1才不至于死循环