Java二分查找算法：从基础到工程实践

1. 二分查找在Java生态中的核心地位

二分查找作为计算机科学中最基础也最高效的算法之一，在Java生态系统中扮演着至关重要的角色。不同于教科书中的简单实现，工业级的Java实现展现了算法与工程实践的完美结合。今天我们将深入JDK和Guava的源码，揭示这些实现背后的设计哲学和技术细节。

在Java集合框架中，二分查找的应用远不止于简单的查找操作。它被巧妙地融入到各种数据结构和工具类中，形成了完整的算法生态。从基础的数组操作到复杂的集合处理，二分查找的思想无处不在。

2. JDK中的二分查找实现解析

2.1 java.util.Arrays的防御性实现

java.util.Arrays类提供了最基础的二分查找实现，支持所有基本数据类型和对象数组。它的实现看似简单，却蕴含着深刻的工程智慧。

java复制private static int binarySearch0(int[] a, int fromIndex, int toIndex, int key) {
    int low = fromIndex;
    int high = toIndex - 1;

    while (low <= high) {
        int mid = (low + high) >>> 1;
        int midVal = a[mid];

        if (midVal < key)
            low = mid + 1;
        else if (midVal > key)
            high = mid - 1;
        else
            return mid;
    }
    return -(low + 1);
}

这个实现中最值得关注的是中间值计算方式：(low + high) >>> 1。这个看似简单的选择背后隐藏着一个曾经困扰JDK长达9年的bug。

2.1.1 整数溢出问题解析

在JDK 1.6之前，这段代码使用的是(low + high) / 2来计算中间值。当low和high都接近Integer.MAX_VALUE时，它们的和会超过整型的最大值，导致整数溢出变成负数。这不仅会导致错误的中间值计算