JDK二分查找算法详解与Bug分析-CSDN博客

本文链接：https://blog.csdn.net/hugh282003/article/details/18150669

本文深入探讨了JDK中的二分查找算法，解析了在JDK 5版本中`java.util.Arrays`类中二分查找方法存在的整数溢出BUG，该BUG在JDK 6中得到修复。通过对源代码的分析，展示了如何正确实现避免数组越界的二分查找算法。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

二分查找算法是在一个有序（升序）的数据集中以集合里位于中间位置的值为基准来与要查找的值做比较，如此则把集合分为了两部分，一部分是从集合的起始位置到中间位置的前一个位置，所有的值都比中间位置的值小，另外一部分则从中间位置的下一个位置到集合的末尾，所有的值都比中间位置的值大，如果查找的值等于中间位置的值，则查找结束返回该中间位置的集合索引，如果查找的值较大则在大于中间位置值的集合中按照上述方法继续进行二分查找，如果查找的值小于中间位置的值则在小于中间位置值的集合中按照上述方法继续二分查找。

我们来看看JDK中是如何实现的。主要是在两个地方有实现，一个是java.util.Arrays，另一个是java.util.Collections。我们以Arrays类中的实现为例。该类中有很多针对不同数据类型的重载方法。我们以其中的对int类型的数据进行二分查找的方法为例。该方法在JDK 5中的具体实现如下面的代码所示：

public static int binarySearch(int[] a, int key) {
    int low = 0;
    int high = a.length-1;
    while (low <= high) {
        int mid = (low + high) >> 1;
        int midVal = a[mid];
        if (midVal < key)