Go sort.Search 出错时怎么排查比较函数

我第一次被 sort.Search 绊住，是因为把它当成了“在切片里找等于目标值”的函数。结果明明有数据，返回的索引却指向后一个元素；目标不存在时，又差点把返回值当成了 -1。真正的排查重点只有一个：比较函数必须把索引区间切成前 false、后 true 两段。

sort.Search 真正要求的比较函数是什么

Search 只接收一个范围和一个谓词，并不知道你的数据是升序还是降序。它假设在 [0,n) 内，谓词先连续返回 false，之后连续返回 true，然后用二分查找压缩范围。只要中间出现 false、true、false，函数就失去了判断依据，结果可能“看起来接近”，却不是你想要的位置。

还有两个经常被忽略的契约：回调只会收到合法索引；没有 true 时返回 n，不是 -1。因此 n 必须和回调访问的数据范围一致，传入比切片长度更大的数就可能触发越界。

先用单调性表把错误压缩出来

排查时我会先把闭包从业务代码里抽出来，只看每个索引会得到什么布尔值。假设切片为 []int{3, 8, 12, 12, 19, 27}，目标值为 12，升序切片应该寻找“第一个大于等于 12 的位置”，谓词序列就是：

最小可复用写法如下。注意这里找的是下界，不是直接判断相等：

target := 12
data := []int{3, 8, 12, 12, 19, 27}

// 升序数据的谓词必须保持 false 前缀、true 后缀。
i := sort.Search(len(data), func(i int) bool {
    return data[i] >= target
})

如果数据是降序，比较方向要反过来，例如寻找第一个小于等于目标的位置。若谓词里混入随机数、外部可变状态，或闭包内部修改了切片，二分查找期间同一个索引可能得到不同答案，这也是“偶发出错”最值得先查的地方。

把找到和没找到分开判断

Search 返回 2，只说明 2 是第一个满足 >= 12 的位置；它并不自动承诺数据里真的有 12。精确查找应当先保护索引，再做一次相等判断：

i := sort.Search(len(data), func(i int) bool {
    // 这里寻找第一个不小于 target 的位置。
    return data[i] >= target
})

// i == len(data) 表示没有候选位置，不能直接访问 data[i]。
if i 

这个判断还能自然处理重复值：多个 12 存在时，返回最左侧的 12。调试时可以固定检查三个边界：目标小于全部元素、目标位于中间、目标大于全部元素。最后一种情况返回 len(data)，正好能暴露把“未找到”写成负数或忘记边界保护的问题。

常见问题

为什么用 data[i] == target 会得到错误结果？

相等判断通常不是单调谓词，前面 false、中间 true、后面又 false。应先用 >= 或 找边界，再单独判断是否精确命中。

为什么目标不存在时返回切片长度？

这是约定的插入位置：所有元素都不满足谓词时，第一个 true 在范围末端之外，所以返回 n。

数据已经排序，为什么结果仍不稳定？

检查查找期间切片是否被修改，以及闭包是否依赖会变化的外部状态。排序只保证输入顺序，不保证谓词本身稳定。