本文详解 java 中递归版二分查找的常见错误与修复方法，重点指出忽略递归调用返回值导致始终返回 -1 的根本原因，并提供健壮、可直接运行的完整实现。
本文详解 java 中递归版二分查找的常见错误与修复方法，重点指出忽略递归调用返回值导致始终返回 -1 的根本原因，并提供健壮、可直接运行的完整实现。
二分查找是一种经典的高效搜索算法，要求输入数组必须升序排列，时间复杂度为 O(log n)。递归实现虽简洁，但极易因控制流疏漏而失效——最典型的问题就是：未将递归调用的结果返回给上层调用者，导致函数在进入分支后仍执行末尾的 return -1，无论目标是否存在，最终都返回 -1。
观察原始代码，问题核心在于以下两处：
-
recursiveBinarySearch(...)被调用后，其返回值被丢弃； - 函数末尾无条件
return -1，覆盖了所有递归路径的正确结果。
修复的关键是：每个递归分支都必须显式 return 递归调用的结果，并移除冗余的兜底 return -1（它已被 low > high 的边界条件覆盖）。
以下是修正后的完整实现（含边界检查与使用示例）：
JavaStoryDevelop
下载
你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在
立即学习“Java免费学习笔记（深入）”；
public static int recursiveBinarySearch(int[] array, int key, int high, int low) {
// 防御性检查：空数组或索引越界
if (array == null || low < 0 || high > array.length || low > high) {
return -1;
}
int mid = low + (high - low) / 2; // 推荐写法，避免整数溢出
int middleNumber = array[mid];
if (key == middleNumber) {
return mid;
} else if (low > high) {
return -1;
} else if (middleNumber > key) {
return recursiveBinarySearch(array, key, mid - 1, low);
} else {
return recursiveBinarySearch(array, key, high, mid + 1);
}
}
// 使用示例
public static void main(String[] args) {
int[] arr = {1, 6, 7, 9, 11, 16};
// 注意：high 应为 array.length - 1（即最大有效索引），而非 array.length
System.out.println(recursiveBinarySearch(arr, 7, arr.length - 1, 0)); // 输出: 2
System.out.println(recursiveBinarySearch(arr, 3, arr.length - 1, 0)); // 输出: -1
System.out.println(recursiveBinarySearch(arr, 16, arr.length - 1, 0)); // 输出: 5
}⚠️ 重要注意事项：
-
high参数含义：应传入数组最大有效索引（即arr.length - 1），而非数组长度。原调用recursiveBinarySearch(array, 7, array.length, 0)中high = 6超出索引范围（合法范围为0~5），会导致mid = 3时访问array[3]正常，但后续可能越界；若mid计算为6则直接抛ArrayIndexOutOfBoundsException。 -
防溢出写法：推荐用
low + (high - low) / 2替代(low + high) / 2，避免low和high均为大整数时和溢出。 -
参数命名建议：将
high改为endIndex、low改为startIndex可提升可读性。 -
递归终止条件：
low > high是核心退出条件，确保搜索区间为空时及时返回-1。
总结：递归函数的本质是“层层委托、逐级返回”，任何分支中的递归调用都必须通过 return 向上传递结果。掌握这一原则，不仅能修复二分查找，更能避免绝大多数递归逻辑错误。
