sort.Search 不是泛型函数，仅接受 int 长度参数并返回索引，无法约束元素类型 T 的可比较性与排序前提，需手动确保切片有序、闭包逻辑匹配类型。
为什么不能直接用 sort.Search 做泛型二分查找
sort.Search 确实是 Go 标准库提供的二分查找入口，但它只接受 int 作为长度参数，返回的是索引位置，不带类型约束——你得自己确保切片元素可比较、已排序，且传入的闭包逻辑和元素类型匹配。它不是泛型函数，无法直接约束 T 必须支持 或实现某个接口，编译器也不会帮你检查比较逻辑是否自洽。
更关键的是：它不返回 (found bool, index int) 这种明确语义的结果，而是统一返回插入点，你需要额外判断 index 才知道是否找到——这在泛型封装里容易漏判、难复用。
所以，真要写“通用的二分查找泛型函数”，得自己定义约束、控制比较行为、处理边界，并显式暴露查找结果含义。
如何定义支持有序比较的泛型约束
Go 泛型不支持直接对任意类型用 ，必须靠约束（constraint）限定。最常用的是 <code>constraints.Ordered（来自 golang.org/x/exp/constraints），但它在 Go 1.21+ 已被弃用；现在推荐用内置的 comparable 配合手动比较函数，或直接使用 ~int | ~int8 | ... | ~string 这类近似类型集合——但不够通用。
真正兼顾安全与通用的做法是：要求调用方传入比较函数，类型约束只保底 comparable，把大小关系逻辑交给使用者把控。这样既不限死类型，又避免依赖未导出的实验包或冗长的联合类型声明。
- 不要依赖
constraints.Ordered：它已移除，且隐含假设所有Ordered类型都可用比较，但比如 <code>[3]int满足Ordered却不能直接比大小 - 避免写
type Ordered interface{ ~int | ~int8 | ... }：维护成本高，且漏掉用户自定义类型 - 推荐签名：
func BinarySearch[T comparable](slice []T, target T, less func(T, T) bool) (bool, int)
实现细节：循环写法 vs 递归，以及 mid 计算陷阱
泛型函数主体和传统二分没区别，但有三个实操细节极易出错：
-
mid计算别写成(lo + hi) / 2：当lo和hi很大时可能溢出（虽然int在 64 位系统上少见，但作为通用函数应防御）。正确写法是lo + (hi-lo)/2或用uint转换（但需注意负索引） - 循环条件用
for lo ，不是 <code>：否则会漏掉单元素区间；每次迭代后必须严格收缩区间，<code>less(target, slice[mid])时hi = mid - 1，less(slice[mid], target)时lo = mid + 1，相等时直接返回 - 不要用递归：泛型函数递归会导致编译器为每层调用实例化新函数，栈深度不可控，且无尾递归优化，容易爆栈
一个最小可行示例：
func BinarySearch[T comparable](slice []T, target T, less func(T, T) bool) (bool, int) {
lo, hi := 0, len(slice)-1
for lo <= hi {
mid := lo + (hi-lo)/2
if !less(slice[mid], target) && !less(target, slice[mid]) {
return true, mid
}
if less(target, slice[mid]) {
hi = mid - 1
} else {
lo = mid + 1
}
}
return false, -1
}使用时怎么传比较函数才不容易翻车
传比较函数看着灵活，但新手常在这里犯两类错：一是把大小方向搞反，二是忽略 less(a,b) 应该等价于 a 的语义，导致查找逻辑颠倒；二是对浮点数、自定义结构体等类型，没处理好相等情况（比如用 <code>math.Abs(a-b) 判断相等，但 <code>less 函数里没同步用 eps）。
- 整数/字符串直接用
func(a, b int) bool { return a ，别写成 <code>a 或 <code>b - 浮点数慎用二分：除非你确定数据已按
math.Float64bits(x)整形序排序，否则优先用线性查找或专门的近似查找逻辑 - 结构体要自定义
less：比如按Person.Age查找，则less = func(a, b Person) bool { return a.Age ，且确保切片按同一字段升序排列 - 如果目标是降序数组，别改
less为a > b，而应保持less语义不变，把数组反转后再查——否则BinarySearch内部逻辑会失效
调用示例：
nums := []int{1, 3, 5, 7, 9}
found, i := BinarySearch(nums, 5, func(a, b int) bool { return a < b })
// found == true, i == 2真正的复杂点不在泛型语法，而在于：你得同时保证切片有序、less 函数单调、相等判断与 less 自洽——这三者缺一不可，且无法由编译器校验。
