Go闭包是函数值加外部变量地址引用，共享同一变量实例；循环中创建闭包时所有闭包共享同一个i，导致输出全为3而非0、1、2。
Go 语言中的闭包不是语法糖，而是实实在在的函数值（func 类型）+ 捕获环境的组合；它能正常工作，但行为和 JavaScript 或 Python 有关键差异——尤其在循环中捕获变量时极易出错。
闭包在 Go 中的本质：函数值 + 外部变量引用
Go 的闭包是「带环境的函数值」，底层由编译器生成一个结构体，包含函数指针和指向外部变量的指针。这意味着：
- 闭包捕获的是变量的 地址，不是值的拷贝（除非是值类型且未被后续修改）
- 多个闭包共享同一变量实例，修改会影响彼此
- 只要闭包还存活，它捕获的变量就不会被 GC 回收
例如：
func makeAdder(x int) func(int) int {
return func(y int) int {
return x + y // x 是外层参数，被闭包捕获
}
}
add5 := makeAdder(5)
fmt.Println(add5(3)) // 输出 8
for 循环中创建闭包的经典陷阱：所有闭包共享同一个 i
这是 Go 新手最常踩的坑。下面代码不会输出 0 1 2，而是输出三个 3：
立即学习“go语言免费学习笔记（深入）”；
funcs := []func(){}
for i := 0; i < 3; i++ {
funcs = append(funcs, func() { fmt.Print(i, " ") })
}
for _, f := range funcs {
f() // 输出：3 3 3
}
原因：所有闭包都捕获了同一个变量 i 的地址，循环结束时 i == 3，所有闭包读到的都是这个最终值。
修复方式只有两种：
-
用局部变量复制当前值：
for i := 0; i -
把 i 作为参数传入立即执行的闭包：
for i := 0; i
闭包捕获的变量生命周期：比外层函数更长
闭包可以延长其捕获变量的生命周期。即使外层函数已返回，只要闭包还被引用，变量就不会被回收。
例如：
func newCounter() func() int {
count := 0
return func() int {
count++
return count
}
}
counter := newCounter()
fmt.Println(counter()) // 1
fmt.Println(counter()) // 2
这里的 count 是栈上分配的局部变量，但因为被闭包捕获，Go 编译器会自动将其提升到堆上。你不需要、也无法手动控制这个过程。
注意：如果闭包捕获的是大对象（如 []byte 或结构体），且闭包长期存活，可能造成意外内存驻留——需留意 GC 压力。
闭包与 goroutine 配合时的并发风险
当在 goroutine 中启动闭包，又没处理好变量捕获，会导致竞态或逻辑错误：
for i := 0; i < 3; i++ {
go func() {
fmt.Print(i, " ") // 危险！所有 goroutine 共享 i
}()
}
// 输出不确定，极大概率是 3 3 3
正确写法必须显式绑定当前值：
for i := 0; i < 3; i++ {
i := i // 创建新变量
go func() {
fmt.Print(i, " ")
}()
}
或者更清晰地传参：
for i := 0; i < 3; i++ {
go func(i int) {
fmt.Print(i, " ")
}(i)
}
这种问题在线程模型不透明的场景下特别隐蔽——goroutine 启动时机不可控，而变量捕获又发生在启动前，所以必须在 goroutine 启动前完成值的固化。
闭包本身很简单，但 Go 不做隐式拷贝、不提供作用域快照、所有捕获都是按引用——这些设计让它的行为高度可预测，也要求你每一步都明确“我到底捕获了什么”。
