普通二分找到任意一个目标还不够重复元素会立刻暴露区间定义混乱。本文从一次边界审查出发统一采用左闭右开区间推导第一个不小于与第一个大于目标的位置并给出 Java 完整实现和空数组、全重复、目标缺失等确定性测试。评审一段搜索代码时作者写了while (left right)更新分支却用了right mid。大多数样例能通过遇到两个元素或重复值时却可能卡住。问题不在某个等号本身而在循环前后没有说明 right 是否属于候选区间。二分查找最可靠的写法是先选区间语义再让每个分支维护同一个不变量。审查意见不是改一个等号本文统一使用左闭右开区间[left,right)。初始left0,rightn空数组自然得到空区间。循环条件是leftright中点midleft(right-left)/2一定落在候选区间内。若nums[mid]已满足要寻找的单调谓词答案可能是 mid 或更左所以令 rightmid否则 mid 明确不是答案令 leftmid1。结束时区间收缩为空left 就是第一个满足谓词的位置。先给搜索区间写合同lowerBound(target)的谓词是nums[i] target返回第一个不小于目标的位置upperBound(target)的谓词是nums[i] target返回第一个严格大于目标的位置。目标出现次数因此等于 upper-lower目标区间是[lower,upper)。查找是否存在只需检查 lowern 且 nums[lower]target。把问题统一成“第一个真”后不再需要为首次出现、末次出现、插入位置各背一套循环。两个边界只差一条谓词数组[1,2,2,2,5]查找 2。lower 的中点先落在索引 2谓词为真于是右界移到 2下一轮检查索引 1 仍为真最终返回 1。upper 同样先看索引 2但22为假左界跳到 3再看索引 4 为真最后返回 4。结果区间[1,4)正好覆盖三个 2。目标为 3 时两个函数都返回 4次数为零插入位置仍然正确。循环结束时谁被排除了循环不变量是答案始终位于闭开区间[left,right]表示的边界位置集合中并且 left 左侧都不满足谓词right 及其右侧都满足谓词。mid 满足时把 right 移到 mid不会丢掉可能的最左答案mid 不满足时把 left 移到 mid1因为 mid 及其左侧不可能成为第一个真。区间长度每轮严格减小所以循环必然终止结束时 leftright 且两侧性质同时成立。从工具函数到业务查询将 lowerBound 和 upperBound 作为小而纯的工具函数比在十个业务查询里复制相似循环更易审查。调用方需要明确返回的是插入边界而非-1这让空数组和不存在目标无需特殊分支。若数据来自远端分页接口不能把跨页查询假装成本地随机访问应由存储系统提供有序游标或索引边界否则网络成本会掩盖对数优势。完整可运行代码importjava.util.Arrays;publicclassBinaryBounds{staticintlowerBound(int[]a,inttarget){intleft0,righta.length;while(leftright){intmidleft(right-left)/2;if(a[mid]target)rightmid;elseleftmid1;}returnleft;}staticintupperBound(int[]a,inttarget){intleft0,righta.length;while(leftright){intmidleft(right-left)/2;if(a[mid]target)rightmid;elseleftmid1;}returnleft;}publicstaticvoidmain(String[]args){int[]a{1,2,2,2,5};assertlowerBound(a,2)1;assertupperBound(a,2)4;assertlowerBound(a,3)4;assertupperBound(a,3)4;assertlowerBound(newint[]{},7)0;assertupperBound(newint[]{2,2,2},2)3;System.out.println(Arrays.toString(newint[]{1,4}));}}对照代码检查区间收缩两个函数只有谓词不同其余结构完全一致这正是审查时希望看到的信号。Java 的数组长度是非负 intright-left不会溢出写成 left(right-left)/2 仍比(leftright)/2更能迁移到大索引环境。示例使用assert运行验证脚本会开启并检查结果若手工运行 Java建议加-ea或把断言改成显式异常。把审查方法迁移到更多二分题寻找平方根可以定义谓词mid*midx求第一个真的位置再减一寻找旋转数组最小值可以根据中点与右端的关系排除一半但必须重新证明谓词或区间关系单调。不能看到“有序”二字就套 lowerBound因为山峰数组整体并不单调真正单调的是坡度符号。审查时先要求作者说出哪一侧已经确定不含答案这句话说不清代码中的等号通常也不可靠。另一类常见问题是答案空间二分。比如求最小可行容量数组本身无需排序只要“容量 c 是否能完成任务”随 c 单调即可。此时 lowerBound 的数组比较被一个判定函数替代循环骨架仍然是寻找第一个真。复杂度要写成 O(log R * check)R 是答案范围check 是一次判定成本只写 O(log n) 会把真正的遍历或图搜索藏起来。代码审查还应查看测试是不是只覆盖目标存在。最容易出错的组合包括答案在零、答案在 n、两个元素、全相等、目标夹在相邻值之间以及谓词从一开始就真或始终为假。可以把闭开模板封装为接收谓词的通用函数但在业务代码里过度抽象也会增加阅读成本。更实用的准则是统一团队模板、保留不变量注释并用线性参考实现做小范围性质测试。让线性扫描担任裁判编写两个仅用于测试的参考函数从左到右返回第一个不小于目标和第一个大于目标的位置。随后枚举长度零到八、元素取零到四的所有非降数组再遍历目标负一到五把二分结果逐项与线性结果比较。这种穷举规模很小却覆盖空数组、重复值、两端插入和中间缺口。若团队修改循环模板先跑这组性质测试再看业务用例。对答案空间二分也应准备小规模暴力枚举裁判并单独验证判定函数的单调性避免二分骨架正确而谓词本身反复真假。进一步推导练习将 lowerBound 的谓词替换为一个单调布尔数组逐轮写出 left、mid、right 和谓词值然后故意把rightmid改成rightmid-1寻找最短反例。再用同一模板求第一个平方不小于 x 的整数注意乘法溢出。练习目标是能在没有具体数组值时只凭谓词单调性解释每次排除而不是依赖“看起来应该向左”。补充检查比较器一致性若数组按降序保存直接复用升序谓词会返回一个形式合法但语义相反的位置。应先将问题改写为第一个不大于或第一个小于再证明真假分界。测试中同时打印线性裁判与二分轨迹能快速区分数据未排序、谓词写反和边界更新三类问题。复杂度分析每轮至少排除一半候选边界时间 O(log n)额外空间 O(1)。同时求左右边界需要两次二分仍为 O(log n)。前提是数组已按同一比较规则升序排列若先排序整体时间变为 O(n log n)且原始下标会丢失。统计输出本身是常数工作不会改变复杂度。边界条件空数组返回零目标小于所有元素时两个边界都为零大于所有元素时都为 n全重复数组中 lower 为零、upper 为 n整数最小值和最大值只参与比较不做加减。数组若未排序函数不会报错而会返回无意义位置因此调用合同必须明确有序前提。常见错误闭区间初始化却使用右开区间更新会死循环或漏元素用rightmid-1搭配leftright容易跳过边界找到相等就立即返回只能得到任意位置搜索末次出现后再加一常引入越界把 upper 定义成大于等于会让出现次数恒为零。可复制的测试用例编译后使用java -ea BinaryBounds预期输出[1, 4]。测试覆盖重复目标、缺失目标、空数组和全重复数组。还可枚举长度不超过六的所有非降数组与线性扫描得到的左右边界对照这种小规模穷举能系统发现单个手写样例遗漏的区间组合。上线前复核清单**区间**函数开头用注释写明[left,right)更新必须与之配套。**谓词**先确认布尔条件随索引单调再谈二分。**返回值**边界函数返回 0 到 n 的插入位置不使用 -1。**重复值**用 upper-lower 统计出现次数避免向两侧线性扩张。**排序**比较器、排序规则和搜索规则必须完全一致。总结二分查找的核心不是算 mid而是维护一个可证明的候选区间。把左右边界统一成“第一个满足谓词的位置”代码会从一堆容易混淆的等号变成两段几乎相同、可以逐行审查的逻辑。