二分查找（递归与非递归实现）_请分析采用递归算法和非递归算法实现的二分查找的具体实现过程-CSDN博客

本文链接：https://blog.csdn.net/Shingle_/article/details/51683785

本文介绍了二分查找的基本原理及其在有序表中查找元素的应用。通过类比猜数字游戏，阐述了二分查找如何通过不断缩小搜索范围来提高查找效率，并提供了递归与非递归两种实现方式。

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

二分查找

排序的重要意义之一，就是为检索带来方便。而在有序表中查找元素常常使用二分查找（Binary Search），有时也译为“折半查找”，它的基本思想就像是“猜数字游戏”：你在心里想一个不超过1000的正整数，我可以保证在10次之内猜到它——只要你每次告诉我猜的数比你想的大一些、小一些，或者正好猜中。
猜的方法就是“二分”。首先我猜500，除了运气特别好正好猜中之外，不管你说“太大”还是“太小”，我都可以把可行范围缩小一半：如果“太大”，那么答案在1~499之间；如果“太小”，那么答案在501~1000之间。只要每次选择可行区间的中点去猜，每次都可以把范围缩小一半。由于lg1000 < 10，10次一定能猜到。

递归：方法可以调用自己。

递归代码比相应的非递归代码更加简洁优雅、易懂。

编写递归代码最重要的有以下三点：

递归总有一个最简单的情况—方法的第一条语句总是包含return的条件语句。
递归调用总是尝试解决一个规模更小的子问题，这样递归才能收敛到最简单的情况。
递归调用的父问题和尝试解决的子问题之间不应该有交集。

递归

public static int rank(int key, int[] a)
{
    return rank(key, a, 0, a.length - 1);
}

public static int rank(int key, int[] a, int lo, int hi)
{
    //如果key存在于a[]中，它的索引不会小于lo且不会大于hi
    if(lo > hi) return -1;
    int mid = lo + (hi - lo) / 2;
    if (key < a[mid])
        return rank(key, a, lo, mid - 1);
    else if (key > a[mid])
        return rank(key, a, mid + 1, hi);
    else 
        return mid;
}

尽管可以用递归实现，人们一般把二分查找写成非递归的：

非递归（迭代实现）

public class BinarySearch
{
    public static int rank(int key, int[] a)
    {
        //数组必须是有序的
        int lo = 0;
        int hi = a.length - 1;
        while(lo <= hi)
        {
            //被查找的键要么不存在，要么必然存在于a[lo..hi]之中
            int mid = lo + (hi - lo) / 2;
            if(key < a[mid])  hi = mid - 1;
            else if(key > a[mid])  lo = mid + 1;
            else      return mid;
        }
        return -1;
    }
}