本文详解二分查找中常见的 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] <p><strong>关键修复点说明：</strong><br>
✅ <strong>空列表防护</strong>：首行检查 len(sorted_arr) == 0，立即返回 -1，杜绝越界；<br>
✅ <strong>正确区间划分</strong>：右半段使用 sorted_arr[cen+1:]（排除中间元素），左半段用 sorted_arr[:cen]（自然不包含 cen）；<br>
✅ <strong>索引追踪机制</strong>：通过 left 参数累积偏移量，确保返回的是原始排序后数组中的<strong>绝对索引</strong>，而非子数组内的相对位置；<br>
✅ <strong>终止保障</strong>：每次递归子数组长度至少减 1（cen+1 或 cen 切分），最终必达空列表或匹配成功。</p><p><strong>使用示例：</strong> </p><pre class="brush:php;toolbar:false;">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（或其他稳定排序）；
⚠️ 递归深度受数组长度限制，超大数组建议改用迭代版本避免栈溢出；
⚠️ 若需频繁查询，可考虑将排序结果缓存，避免重复排序。
该实现兼顾安全性、准确性与可读性，是生产环境中推荐的递归二分查找范式。
