二分查找有这么几个要素,一个是left,right的选择,第二个是left right的移动条件,第三个是循环的结束条件是left < right 还是left <= right,第四个是return时返回什么,是l, r, 还是l + 1, r + 1.
首先left, right的选择决定了我们查找的区间是开区间还是闭区间,是左开右闭还是左闭右开。如果left = 0, right = len(arr)也就是数组长度,那么这就是一个左闭右开的区间,那么在最后就有可能返回这个数组长度。如果left和right初始值是数组中的元素索引,那么就可视为一个闭区间,返回的位置也必对应数组中的元素。
其次是left right 的移动条件,左指针是在arr[middle] < num移动还是arr[middle] <= num移动对应的查找结果不同。在一个非严格单调增序列中,如果是前者的话则找到的是一系列相等元素中最左边的元素,如果是后者的话找到的是最右边的元素。
第三个是while的结束条件,如果是left < right的话,那么最终退出循环时left和right的值必然相等,返回left还是Right都可以。如果是left <= right,结束时right肯定比left小1。
第四个是return时返回什么,是l, r, 还是l + 1, r + 1,这个取决于第二个和第三个条件,根据循环不变式来决定。