对于一个数组。

lo=0;
hi=nums.length;
mid=(lo+hi)/2中点靠右

lo=0;
hi=nums.length-1;
mid=(lo+hi)/2中点靠左

无论是哪一个循环条件是lo<hi
下标更新都是
lo=mid+1
hi=mid
注意被排除的[0,lo)和[hi,n)里都是什么条件