Go sort.Search 不生效怎么办

Go sort.Search “不生效”时，最常见的原因不是二分查找失效，而是把它当成了“直接查找目标值”的函数。它实际返回的是范围内第一个让谓词变成 true 的下标；如果一个位置都不满足，返回值就是 len(data)，而不是 -1。

官方地址：https://pkg.go.dev/sort

排查时按这个顺序走：先确认数据已经按同一方向有序，再确认谓词满足“前面全是 false、后面全是 true”，最后对返回下标做越界保护和精确相等判断。

先确认 sort.Search 返回的是什么

sort.Search(n, f) 在区间 [0, n) 内做二分查找，寻找最小的 i，使 f(i) 为 true。它关心的是“边界在哪里”，不是“目标值是否存在”。例如目标值为 23 时，升序切片可以用 data[i] >= 23 找到第一个不小于 23 的位置。

检查谓词是否保持单调

二分查找成立的前提是谓词在整个范围内具有单调性：可以有一个 false 前缀，随后是 true 后缀，但不能出现 false → true → false。如果数据没有排序，或者闭包里比较了会变化的外部状态，二分就没有稳定边界，返回值看起来就像“不生效”。

package main

import (
	"fmt"
	"sort"
)

func main() {
	data := []int{3, 8, 12, 19, 23, 31}
	x := 23

	// 升序数据中，data[i] >= x 会形成 false 前缀和 true 后缀。
	i := sort.Search(len(data), func(i int) bool {
		return data[i] >= x
	})

	// Search 可能返回 len(data)，访问元素前必须先检查边界。
	if i 

这里的闭包只依赖固定的 data 和 x，所以每次对同一个下标的判断一致。排查时可以先把闭包改成普通的、可读的比较表达式，确认它不会随着调用次数改变结果。

按数据排序方向写判断

升序和降序并不是只改一处展示文案，谓词方向也要一起调整。升序数据查找第一个不小于目标值时使用 >=；降序数据查找第一个不大于目标值时使用 。方向写反时，闭包仍然可能返回看似合理的布尔值，但不再对应你想要的边界。

// 升序：找到第一个 data[i] >= x 的位置。
ascIndex := sort.Search(len(ascending), func(i int) bool {
	return ascending[i] >= x
})

// 降序：找到第一个 data[i] 

处理 len(data) 和精确匹配

如果目标比升序切片的最大值还大，谓词始终为 false，sort.Search 会返回 len(data)。这不是错误，而是“应该插在末尾”的位置。要判断“是否存在目标值”，必须再比较一次元素值：

func findExact(data []int, x int) (int, bool) {
	// 该谓词找的是 lower bound，而不是直接返回命中状态。
	i := sort.Search(len(data), func(i int) bool {
		return data[i] >= x
	})
	// 先防止 i == len(data)，再读取 data[i]。
	if i == len(data) || data[i] != x {
		return 0, false
	}
	return i, true
}

重复值也遵循同一规则：返回的是第一个满足条件的下标。如果只需要判断是否存在，比较 data[i] == x 即可；如果要找最后一个重复值，则需要在这个边界基础上继续设计另一个单调条件，不能直接把返回值加一后当成通用答案。

把排障检查收进工作流

在正式代码中，可以把下面几项作为固定检查点：数据是否真的按预期排序；n 是否传入了有效范围；闭包是否只读取稳定的输入；返回值是否先做边界保护；业务需要的是“首个满足条件”还是“精确相等”。这几项分别对应数据、范围、谓词、结果和业务语义，缺一项都可能让二分结果被误判。

常见问题

sort.Search 找不到时为什么不是 -1？

它返回的是插入位置。没有任何元素满足谓词时，插入位置可能是范围末尾，所以返回 len(data)；这是 API 约定。

sort.Search 能直接判断目标值是否存在吗？

不能直接判断。它先找边界，再由调用方检查 i 且 data[i] == x。

数据无序时还能使用 sort.Search 吗？

不应该。先排序，或改用适合无序数据的线性扫描；否则谓词不具备稳定的单调边界。