本文详解二分查找中常见的 IndexError: list index out of range 错误根源，并提供修复后的递归实现，确保在空列表、单元素或目标不存在时安全运行，同时准确返回原始排序数组中的真实索引位置。
本文详解二分查找中常见的 `indexerror: list index out of range` 错误根源，并提供修复后的递归实现，确保在空列表、单元素或目标不存在时安全运行，同时准确返回原始排序数组中的真实索引位置。
二分查找（Binary Search）要求输入数组必须严格升序排列，且在递归实现中极易因边界处理不当导致索引越界。原代码中的核心问题在于：
- 未处理空列表（len(sorted_arr) == 0）情况，直接计算 cen = len(...)//2 后访问 sorted_arr[cen]，当列表为空时 cen = 0，触发 IndexError；
- 划分区间逻辑错误：sorted_arr[0:cen] 和 sorted_arr[cen:len(sorted_arr)] 导致重复包含 pivot 元素（如 cen=5 时，右半段仍含索引 5），且未跳过已比较的中间元素，造成无限递归或越界；
- 缺少“未找到”的明确返回值（如 -1），导致调用方无法判断搜索失败。
以下是修正后的健壮递归实现：
def binSearch(sorted_arr, target, left=0):
# 基础情况：空数组 → 目标不存在
if len(sorted_arr) == 0:
return -1
cen = len(sorted_arr) // 2 # 使用整除更清晰
if sorted_arr[cen] == target:
return left + cen # 返回原始数组中的真实索引
elif sorted_arr[cen] < target:
# 目标在右半段：跳过 cen 及之前所有元素
# 新子数组为 sorted_arr[cen+1:], 起始偏移量更新为 left + cen + 1
return binSearch(sorted_arr[cen+1:], target, left + cen + 1)
else:
# 目标在左半段：子数组为 sorted_arr[:cen], 偏移量不变
return binSearch(sorted_arr[:cen], target, left)关键修复点说明：
✅ 空列表防护：首行检查 len(sorted_arr) == 0，立即返回 -1，杜绝越界；
✅ 正确区间划分：右半段使用 sorted_arr[cen+1:]（排除中间元素），左半段用 sorted_arr[:cen]（自然不包含 cen）；
✅ 索引追踪机制：通过 left 参数累积偏移量，确保返回的是原始排序后数组中的绝对索引，而非子数组内的相对位置；
✅ 终止保障：每次递归子数组长度至少减 1（cen+1 或 cen 切分），最终必达空列表或匹配成功。
使用示例：
my_array = [11, 9, 12, 7, 3, 8, 10, 2, 5, 1, 4, 6] sorted_arr = quickSort(my_array) # [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12] result = binSearch(sorted_arr, 13) # 返回 -1（未找到） result = binSearch(sorted_arr, 7) # 返回 6（正确索引）
注意事项：
⚠️ 二分查找依赖有序性——务必先调用 quickSort（或其他稳定排序）；
⚠️ 递归深度受数组长度限制，超大数组建议改用迭代版本避免栈溢出；
⚠️ 若需频繁查询，可考虑将排序结果缓存，避免重复排序。
该实现兼顾安全性、准确性与可读性，是生产环境中推荐的递归二分查找范式。
