本文详解 go 中手动实现递归版二分查找的关键逻辑、典型错误（如忽略递归返回值）及正确写法，并提供可运行示例与健壮性建议。
本文详解 go 中手动实现递归版二分查找的关键逻辑、典型错误（如忽略递归返回值）及正确写法，并提供可运行示例与健壮性建议。
二分查找是一种经典的分治算法，要求输入数组
严格升序排列
，时间复杂度为 O(log n)。在 Go 中，虽然 sort.SearchInts 等标准库函数已高度优化，但手动实现递归版本对理解算法本质、锻炼递归思维和掌握 Go 函数返回值机制极具价值。
上述代码的核心逻辑（计算中点、比较目标值、划分搜索区间）完全正确，但存在一个关键疏漏：
未接收并传递递归调用的返回值
。Go 是值传递语言，函数调用返回的新 index 和 found 值若不显式赋值给当前作用域变量，将被直接丢弃——这正是程序始终输出 0 false 的根本原因（函数末尾 return 返回的是未初始化的零值 index=0, found=false）。
以下是修复后的完整、可运行实现：
关键改进与注意事项：
✅
强制接收递归返回值
：index, found = BinarySearch(...) 是修复问题的核心；
✅
使用 low + (high-low)/2 计算中点
：替代 (low+high)/2，防止大整数相加导致的溢出（虽在本例中不明显，但属最佳实践）；
✅
switch 替代嵌套 if-else
：提升代码可读性与维护性；
⚠️
前置校验不可少
：实际项目中应在入口处检查 len(data) == 0 或 low < 0 || high >= len(data) 等边界，此处为聚焦核心逻辑暂略；
⚠️
仅适用于有序数据
：若输入未排序，结果无意义——二分查找不负责排序，调用方需确保前提成立。
总结而言，递归二分查找的 Go 实现，本质是正确建模“问题分解”与“结果汇聚”两个阶段：前者通过参数更新缩小问题规模，后者通过赋值操作将子问题解向上归并。忽视后者，再精妙的逻辑也因“有去无回”而失效。
package main
import "fmt"
// BinarySearch 在已排序切片 data 中递归查找 target。
// 返回目标索引（>=0）及是否找到的布尔值；未找到时 index = -1。
func BinarySearch(data []int, target int, low, high int) (index int, found bool) {
// 递归终止条件：搜索区间无效
if low > high {
return -1, false
}
mid := low + (high-low)/2 // 更安全的中点计算，避免整数溢出
switch {
case target < data[mid]:
// 向左半区递归，必须接收返回值！
index, found = BinarySearch(data, target, low, mid-1)
case target > data[mid]:
// 向右半区递归，必须接收返回值！
index, found = BinarySearch(data, target, mid+1, high)
default: // target == data[mid]
index, found = mid, true
}
return // 显式返回，增强可读性
}
func main() {
data := []int{2, 4, 6, 8, 9, 11, 12, 24, 36, 37, 39, 41, 54, 55, 56}
index, found := BinarySearch(data, 8, 0, len(data)-1)
fmt.Printf("查找 8: 索引=%d, 是否找到=%t\n", index, found) // 输出：索引=3, 是否找到=true
// 边界测试：查找不存在的值
index, found = BinarySearch(data, 7, 0, len(data)-1)
fmt.Printf("查找 7: 索引=%d, 是否找到=%t\n", index, found) // 输出：索引=-1, 是否找到=false
}