通俗理解二分查找代码细节

本来以为挺简单的，结果并没有一次过。这里对其中的细节做一些总结：

private static int binarySearch(int[] arr,int data){
        int low = 0;
        int high = arr.length - 1;
        int mid = 0;

        while(low <= high){
            mid = (high + low) / 2;
            if(arr[mid] > data){
                high = mid - 1;//最开始写的high=mid
            }else if(arr[mid] < data){
                low = mid + 1;//最开始写的low=mid
            }else{
                return mid;
            }
        }
        return -1;

    }

为什么high那里要减1？以1，2，3，4，5，6，7，8；查询0为例：  

从结果来看：如果不减1，那么会有一轮使得low = high = mid = 0，此时就会死循环

从原因来看：

我们人类在做二分查找时，如果当前要找的值比根节点小，那么会自然地到根节点的左子树中去进行下一轮迭代，下一轮迭代子树应该长这样：

也就是说4这个节点应该被抛弃（或者说每轮迭代都要抛弃根节点，毕竟根节点已经和data比较过了），而high=mid就等于是让下一轮迭代的树长成了这样：

low那里加1也是同理。

看到这里你可能有些问题，比如这个二分查找树一定以4为根节点吗，能不能以5为根节点呢？

当然可以，其实这是由mid = (low + high)/2 决定的，这里有下取整，第一轮算出来arr[mid] = 4，所以根节点是4，我们把这行代码改为 mid = (low + high + 1)/2 程序同样是对的，这里相当于上取整，第一轮构造出来的树如下：

根据上面分析的，high = mid - 1，low = mid + 1（因为每一轮要排除根节点，直接从子树开始下一轮）

第二个问题：循环成立条件那里为什么是low<=high，不取等号可以吗？

从结果上看：假设我们要查找1，肯定会有一轮结束过后使得low = 0，high = 0，mid = 0。此时如果不取等，那么循环就结束了，这里arr[mid]并没有和data进行比较，程序认为1不在arr中，会返回-1，所以要取等。

从原因上看：low=high的时候其实就是判断叶子节点是否和data相同，如果不取等就相当于把叶子节点排除了，直观上就能感受不对。