Go slices.BinarySearchFunc 找不到元素时怎么判断：排序契约与比较器边界

业务代码里经常要从一组按名称排好的结构体中找记录：找到时要拿到下标，没找到时又希望知道新元素应该插在哪里。slices.BinarySearchFunc 已经把这两个结果一起返回，但它有一个容易被忽略的前提：切片的排序规则必须和比较函数完全一致。

先看一个“下标对了但结果错了”的现场

下面的记录按 Name 升序排列。查询不存在的 Carol 时，返回的下标不是错误，它表示插入位置；真正决定是否命中的，是第二个返回值 found。

package main

import (
    "fmt"
    "slices"
    "strings"
)

type User struct {
    Name string
    ID   int
}

func main() {
    users := []User{
        {Name: "Alice", ID: 7},
        {Name: "Bob", ID: 8},
        {Name: "Dave", ID: 10},
    }

    pos, found := slices.BinarySearchFunc(users, "Carol", func(u User, name string) int {
        return strings.Compare(u.Name, name)
    })
    fmt.Println(pos, found) // 2 false
}

pos == 2 说明 Carol 应该放在 Bob 和 Dave 之间；found == false 才说明切片里没有同名记录。把“插入位置”误当成“命中结果”，是这类代码最常见的误判。

比较器的三个返回区间要和排序契约对齐

比较器接收一个切片元素和目标值。它返回负数时，当前元素应该排在目标之前；返回 0 表示匹配；返回正数时，当前元素应该排在目标之后。标准库要求切片按这个规则递增排列，而不是“看起来大致有序”就可以。

例如按 Name 查找时，排序也必须按 Name 排序。若先按 ID 排好，却在 cmp 中比较 Name，二分查找跳过的区间就失去依据。

按复查顺序排查查不到的问题

先验证 sorted slice，而不是先改比较器

把测试数据打印出来，确认它确实按比较器使用的字段排列。开发阶段可以加一条断言：

if !slices.IsSortedFunc(users, func(a, b User) bool {
    return a.Name 

这条检查只能证明排序方向，不能替代业务上的重复键规则；它的价值是尽早暴露“排序字段和查找字段不一致”。

再核对 cmp 的参数方向

cmp 的第一个参数是切片元素，第二个参数是目标。不要把它写成目标减元素的反向语义，否则查找方向会整体颠倒。

pos, found := slices.BinarySearchFunc(users, targetName, func(u User, name string) int {
    return strings.Compare(u.Name, name)
})

最后处理重复名称

如果允许多个用户使用同一个名称，found 为 true 只能说明命中了某个位置。需要拿到全部重复项时，应从返回位置向前、向后扫描，或者把唯一键纳入排序与比较规则。

把返回值接入插入与更新分支

查找结果适合直接接到业务分支，但要明确“找到”和“应该插入的位置”是两条不同路径：

pos, found := slices.BinarySearchFunc(users, targetName, func(u User, name string) int {
    return strings.Compare(u.Name, name)
})
if found {
    users[pos].ID = newID
} else {
    users = slices.Insert(users, pos, User{Name: targetName, ID: newID})
}

这里 slices.Insert 使用的正是未命中时返回的插入位置。插入后仍保持 Name 升序，下一次二分查找才继续成立。

常见问题

BinarySearchFunc 没找到时返回的下标有用吗？

有用。它是目标按排序规则应出现的位置，可以直接作为保持有序插入的下标。

为什么 found 为 false 但下标不是 -1？

这个 API 返回的是插入位置，不是“未找到标记”。是否命中要看布尔值，不能套用返回 -1 的线性查找习惯。

比较器能按一个字段查，排序却按另一个字段吗？

不能。二分查找依赖同一套全序关系；排序字段和比较器字段不一致时，结果没有可靠保证。

实际接入时，先让 sorted slice 和 cmp 使用同一字段，再分别测试命中、插入点、重复值三个分支，通常比反复调整下标更快定位问题。