在 go 中，匿名函数（闭包）直接引用外部作用域的局部变量是合法且常见的，但需注意变量捕获的是引用而非副本——若变量在 goroutine 启动后被修改，可能引发非预期行为。
在 go 中，匿名函数（闭包）直接引用外部作用域的局部变量是合法且常见的，但需注意变量捕获的是引用而非副本——若变量在 goroutine 启动后被修改，可能引发非预期行为。
Go 允许闭包安全地访问其定义时所在词法作用域中的变量，这本质上是通过编译器自动将变量“逃逸”到堆上并由闭包持有对其的引用实现的。因此，你提供的示例：
func main() {
foo := 1
go func() {
fmt.Println(foo) // ✅ 合法：foo 被闭包捕获，生命周期延长至 goroutine 结束
}()
}完全正确，不会出现悬垂指针或未定义行为。foo 在 main 函数栈帧中初始化后，被该 goroutine 闭包隐式引用，Go 运行时会确保其内存持续有效。
⚠️ 真正的风险在于变量值被后续修改，而闭包在延迟执行时读取的是最新值——尤其当多个 goroutine 共享同一变量，或使用循环变量时：
func badExample() {
for i := 0; i < 3; i++ {
go func() {
fmt.Println(i) // ❌ 总输出 3（循环结束后的最终值），非预期的 0/1/2
}()
}
time.Sleep(time.Millisecond) // 确保 goroutines 执行
}✅ 正确做法：在循环内显式绑定当前值（通过参数传入或声明新变量）：
func goodExample() {
for i := 0; i < 3; i++ {
i := i // 创建新变量，绑定当前迭代值
go func() {
fmt.Println(i) // ✅ 输出 0, 1, 2（顺序不定，但值正确）
}()
}
time.Sleep(time.Millisecond)
}或更推荐的方式（显式传参）：
for i := 0; i < 3; i++ {
go func(val int) {
fmt.Println(val) // ✅ 清晰、无歧义
}(i)
}此外，defer 语句中的闭包也遵循相同规则：它捕获的是defer 语句执行时变量的引用，而非定义时的快照。例如：
err := errors.New("error 1")
defer func() { fmt.Println(err) }() // 捕获 err 变量本身
err = errors.New("error 2") // 修改变量
// defer 执行时打印的是 "error 2"? 总结：
- ✅ 读取外部变量（如 fmt.Println(foo)）安全且推荐；
- ⚠️ 修改共享变量需同步控制（如 sync.Mutex）；
- ⚠️ 循环中启动 goroutine 或 defer 时，避免直接捕获可变循环变量；
- ? 始终牢记：Go 闭包捕获的是变量的地址（引用语义），不是值的拷贝——这是理解其行为的关键。
