sort.Search 要求谓词函数返回前 false 后 true 的单调序列，而 a[i] == target 不满足该条件；正确写法是 a[i] >= target（升序）或 a[i] <= target（降序），否则结果不可预测。
sort.Search 为什么不能直接写 a[i] == target
它会破坏单调性，导致返回位置不可预测。sort.Search 的设计前提是：传入的函数必须返回一个「前 false、后 true」的单调布尔序列。而 a[i] == target 在升序数组中是「false-true-false」（比如 [1,3,5] 查 3，i=0→false，i=1→true，i=2→false），不满足单调，结果可能任意。
正确断言只能是 a[i] >= target（升序）或 a[i] （降序），这样才能保证左边界语义稳定。
- 错误示例：
sort.Search(len(a), func(i int) bool { return a[i] == 5 })→ 可能在 [1,3,5,7] 中返回索引 3（a[3]==7），也可能 panic（i 超出 len） - 正确流程：先用
>=找插入点，再手动比对值 - 空切片安全：
sort.Search(0, ...)返回 0，后续idx 自动为 false，不会 panic
查存在性时，为什么必须两次判断
sort.Search 只返回索引，不承诺该索引处有目标值——它只保证「这是第一个满足条件的位置」。哪怕整个数组都小于 target，它也会返回 len(a)；哪怕都大于 target，它返回 0。所以必须显式检查两个条件：
idx ：防止越界访问-
a[idx] == target：确认真值匹配，而非仅满足「≥」
漏掉任一条件都会导致逻辑错误。例如数组 []int{2,4,6} 查 5，sort.Search 返回 2（指向 6），若只判 idx 就误认为找到了。
立即学习“go语言免费学习笔记（深入）”；
sort.SearchInts 和 sort.Search 选哪个
功能完全等价，sort.SearchInts 就是 sort.Search 对 []int 的封装，底层调用一模一样。性能差异可忽略，选择只取决于灵活性需求：
- 查纯整数且逻辑是「≥ target」→ 用
sort.SearchInts(nums, target)，写法略短 - 要查结构体字段（如
users[i].ID >= 100）、复合条件（如「第一个偶数 ≥ 50」）、或非[]int类型 → 必须用sort.Search配自定义函数 - 别写
sort.SearchInts(nums, target) == target—— 这是在比较索引和数值，毫无意义
降序数组怎么二分查找
sort.Search 默认只适配升序，降序必须反转比较逻辑，不能直接套用 sort.SearchInts（它内部硬编码了 >=）：
- 升序查「≥ target」→
func(i int) bool { return a[i] >= target } - 降序查「≤ target」→
func(i int) bool { return a[i] ，此时返回的是最右匹配位置 - 更稳妥做法：用
sort.Search+ 显式逆序索引映射，或先转升序（如果允许） - 注意：无论升序降序，查完都得验证
idx ，因为插入点语义不变
真正容易被忽略的不是怎么写断言，而是忘了「排序前提」本身——sort.Search 对未排序数据的行为是未定义的，它不会报错，只会返回垃圾索引。上线前务必确认数据已按预期顺序排好，别依赖运行时校验。
