二分查找结束条件-二分查找终止条件
二分查找结束条件并非固定不变，而是依据不同的业务场景和数据特性动态调整，常见的终止情形主要包括三种：循环遍历至指定次数上限、当前查找区间为空、以及发现目标元素。
在传统的实现中，许多开发者倾向于使用内置循环，即当处理完最后一次数据时立即停止。这种方法看似简单，实则存在逻辑陷阱。
例如，在一组有序数据中，若程序员在循环体内判断了“已找到”，却未在外层增加“区间为空”的退出判断，或者在循环次数满足后未检查边界情况，极易导致程序陷入死循环或访问非法索引。
因此，唯有深入理解“当值”与“当空”的优先逻辑，才能编写出健壮的二分查找代码。
核心逻辑：何时停止迭代
二分查找的终止条件应当遵循严格的优先级顺序。首要原则是“当值”，即一旦发现目标元素存在于当前搜索区间内，算法应立即立即返回结果，无需继续扫描剩余区间。这是因为目标已被确认存在，此时强行跳出循环只会虚耗一次不必要的比较，且不会遗漏任何结果。
- 当值优先于当空： 在绝大多数应用场景中，如果目标已找到，算法应优先结束。这是为了追求最优性能，避免在目标存在时继续处理无效数据，从而节省计算资源和时间复杂度。
- 当空作为兜底机制： 只有在“当值”条件无法成立（即持续因区间为空而陷入死锁）时，才需启用“当空”判断。这通常发生在循环次数被设定为固定上限，且程序缺乏对应层级的“区间为空”退出指令时。
- 综合判断逻辑： 一个完整的结束流程应遵循：先检查目标值是否等于当前区间中值，若相等则成功退出；若不相等，则根据左右子区间的大小重新计算边界，直至区间为空。只有当区间长度不再满足比较条件且未找到目标时，才触发特殊退出逻辑。
实战场景一：数据已存在的情况
假设我们要在一个非空数组中查找元素 5，且数组已排序。当我们遍历到第 4 个位置时，发现 arr[2] 恰好等于 5。此时，无论循环次数还剩多少，还是区间是否已经缩小到只剩一个元素，逻辑上目标已经存在，算法应当立即停止遍历并返回索引 2。
- 错误示范（死循环陷阱）： 若代码在循环体末尾直接判断 `i < n` 及 `arr[i] target`，当 `i` 指向目标元素时，虽然 `arr[i] target` 成立，但通常循环会继续执行到 `i n` 或 `i > n` 才退出，或者在循环次数限制到达时强行结束。这种写法可能导致程序后续行为混乱，或者在特定边界情况下产生逻辑歧义。
- 正确策略： 应引入一个标志位或者重构循环逻辑，确保一旦 `arr[i] target` 被检测，程序即刻返回，彻底终止后续所有迭代操作，无需担心区间空或其他次数的干扰。
这种“发现即停止”的理念，不仅提升了算法的鲁棒性，也体现了二分查找追求效率的本质——一旦真相大白，无需再行探查。
实战场景二：数据尚未存在的情况
当我们需要查找的元素并不存在于数组中时，例如在查找元素 6 的有序数组中。此时，若直接返回“未找到”，则必须确保算法在彻底扫描完所有可能区间后，才能给出最终否定结论。
- 区间收缩逻辑： 二分查找通过不断丢弃不满足条件的子区间来逼近目标。当搜索范围被压缩至一个点时，若该点的值仍然不等于目标，则说明目标不存在于数组中。
- 何时触发“当空”： 只有在经历了多次比较后，右侧区间或左侧区间均被判定为空（即 `low < high` 变为空，或左右指示器交错导致无法继续比较），且仍未发现目标时，才算作真正的结束。此时，可以安全地返回“未找到”的结果。
在此过程中，务必注意避免在“当值”成立后，因逻辑判断失误而错误地滑向“当空”的退出路径。正确的做法是，只要 `arr[mid] target`，立刻返回成功；若循环次数达到预设上限，且期间从未满足 `` 条件，则判定为空并返回失败。
边界情况与优化建议
在实际开发中，二分查找的边界问题是高频挑战。数组边界检查至关重要，必须在计算中值前确认 `low <= high`，否则访问数组越界会导致运行时错误。循环次数设定需谨慎，通常建议设置一个与数组长度匹配的迭代上限，防止无限循环或超时。
- 短路优化： 在循环体中，务必将 `arr[mid] target` 的判断置于最前，利用短路机制（Short-circuit evaluation）确保一旦命中目标，后续的比较操作（如 `low = mid + 1` 或 `high = mid - 1`）都不会执行，从而节省不必要的资源消耗。
- 空区间处理： 当 `low > high` 时，算法已穷尽所有可能性。此时若仍未找到目标，应优雅地返回指定状态，避免逻辑死循环。
- 业务适配： 不同应用场景对“结束条件”的定义略有差异。
例如，在高频交易系统中，可能要求“当值立即返回，若未找到则在极短时间内返回标记”；而在新闻检索系统中，则可能允许经过多次扫描，直到确认未找到为止。
因此，在编写最终代码前，需结合具体业务需求，将通用的算法逻辑封装为具体的结束条件。
，二分查找的结束条件是一个动态策略，其核心在于平衡效率与确定性。通过精细控制“当值”与“当空”的优先权，并结合严格的边界检查，我们便能构建出既高效又安全的搜索机制。
