经典问题：
在一个严格递增序列中A找到给定的数x的下标
令[left,right]为整个序列的下标区间，每次测试比较预查询的x与中间位置A[mid]的大小
1.若x == A[mid] 说明查找成功，返回mid
2.若x < A[mid] 说明x在mid的左侧，因此right = mid-1;
3.若x > A[mid] 说明x在mid的右侧，因此left = mid + 1;
循环的条件为left <= right
当然若A序列为递减，同理。
值得注意的是：若二分查找上界超过int类型范围的一半，并且预查询元素在序列靠后的位置，mid = (left+right)/2 很可能超过int而导致溢出。因此mid 可以写成 mid = left + (right-left)/2
进一步的问题：
若递增序列A中的元素允许重复，那么对于给定的预查询元素x，求出序列中第一个大于等于x元素的位置。
与之前的查找类似，不过在条件上有些许不同
1.若x == A[mid] 那么第一个大于等于x的元素的范围肯定在[left,mid]
2.若x > A[mid] 范围在[mid+1,right]
3.若x < A[mid] 范围在[left,mid]，这个得注意，可以举个例子[3,5,8]x = 4，A[mid] = 5，那么第一个大于等于x应该是5
该问题的循环条件是left < right 而不是left <= right，对于该问题想要返回第一个大于等于x的元素的位置，不需要判断元素x本身是否存在，因此只需[left,right] left==right时就会刚好夹出唯一的位置，因此条件为left <right
这里可以将数组a[n]的输入为[0,n],那么当x大于数组的所有元素[0~n-1]，那么就输出n，表示没有该元素。