闭包捕获局部变量几乎必然导致逃逸，因为一旦闭包被返回、传入goroutine、存入map或channel，编译器无法确定其调用时机和生命周期，只能将被捕获变量分配到堆上以确保安全访问。
闭包捕获局部变量几乎必然导致逃逸——不是“可能”，而是编译器只要看到 func() { return x } 这种形式，且 x 是函数内定义的非字面量值，就会把它搬到堆上。
为什么闭包一捕获就逃逸？
闭包本质是函数 + 捕获环境的组合体。一旦闭包被返回、传给 go f()、存入 map 或 channel，编译器无法确定它何时被调用、生命周期多长，只能保守地把被捕获变量分配到堆上，确保它们在原函数返回后仍可访问。
-
fmt.Println(data)里闭包没传出？没事，栈上就行 -
return func() int { return data }？data立刻逃逸 -
go func() { fmt.Println(data) }()？哪怕只用一次，data也逃逸——因为 goroutine 启动时机不确定
闭包逃逸的典型错误写法
这些看似无害的写法，实际都在悄悄触发堆分配：
- 在循环中创建闭包并存入切片：
handlers = append(handlers, func() { fmt.Println(i) })→i逃逸，且所有闭包共享同一个i地址（常见 bug） - 把闭包赋给全局变量：
var cb func() = func() { fmt.Println(x) }→x逃逸 - 闭包作为参数传给标准库函数：
sort.Slice(stuff, func(i, j int) bool { return a[i].Name → 若 <code>a是局部 slice，其底层数组很可能逃逸
真正有效的规避方式：切断捕获链
核心不是“不用闭包”，而是让闭包内部用的值和外部变量彻底脱钩：
- 显式传参代替隐式捕获：
cb := func(val int) { fmt.Println(val) }; go cb(data)——data仍是栈上值，cb内部只操作副本 - 循环中立即求值并绑定：
for i := range items { i := i; handlers = append(handlers, func() { fmt.Println(i) }) }——i := i创建新局部变量，避免共享引用 - 小结构体直接值传递：
type Config struct{ Timeout int }; cfg := Config{Timeout: 30}; go func(c Config) { time.Sleep(time.Second * time.Duration(c.Timeout)) }(cfg)——cfg≤48 字节，大概率栈上分配 - 避免闭包嵌套：外层闭包捕获
x，内层再捕获外层变量 → 多重逃逸叠加，更难优化
别信“只读闭包不逃逸”这种说法
Go 编译器不区分读写——只要变量出现在闭包词法作用域内，且闭包有潜在外泄路径（返回、goroutine、全局存储），就逃逸。哪怕你写的是 func() int { return x + 1 }，只要 x 不是常量或字面量，它就被拖上堆。
真正能绕过逃逸的，只有两种情况：闭包完全不出当前函数作用域（比如只在 defer 或局部 if 块里调用），或者被捕获变量本身是编译期可确定的常量（如 const v = 42）。其余都得靠传参、复制、缩小作用域来硬解。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
