Go匿名函数变量捕获：闭包中变量i为何永远是4

在Go语言的编程世界里，匿名函数与闭包是强大且常用的特性，但它们也带来了一些容易让人困惑的问题，其中一个典型的现象就是：闭包中捕获的变量i为何在循环结束后永远是4 。下面让我们深入探讨一下这个问题。

我们来看一段简单的代码示例：

package main

import (
    "fmt"
)

func main() {
    var funcs []func()
    for i := 0; i < 4; i++ {
        funcs = append(funcs, func() {
            fmt.Println(i)
        })
    }
    for _, f := range funcs {
        f()
    }
}

你可能预期这段代码会依次输出0、1、2、3，但实际运行结果却是4、4、4、4 。这背后的原因在于Go语言中闭包捕获变量的机制。

在Go中，匿名函数捕获的是变量的引用，而非值。在上述循环中，变量i只有一个实例，每次迭代时，i的值会不断更新。当我们将匿名函数添加到funcs切片中时，这些匿名函数捕获的都是同一个变量i的引用。

直到循环结束，i的值最终变成了4 。之后，当我们遍历funcs切片并调用这些匿名函数时，它们所访问的i已经是最终的值4 。

要想实现预期的输出0、1、2、3 ，有几种解决方案。一种方法是通过传参的方式，将i的值作为参数传递给匿名函数，因为函数参数是值传递：

package main

import (
    "fmt"
)

func main() {
    var funcs []func()
    for i := 0; i < 4; i++ {
        temp := i
        funcs = append(funcs, func() {
            fmt.Println(temp)
        })
    }
    for _, f := range funcs {
        f()
    }
}

在这个修改后的代码中，每次循环创建一个临时变量temp ，它复制了i当前的值。匿名函数捕获的是temp的引用，而每个temp的值都是独立的，所以在调用匿名函数时，就能输出正确的结果。

理解Go语言中匿名函数变量捕获机制对于编写正确且高效的代码至关重要。掌握这些细节，能帮助我们避免这类常见的错误，充分发挥闭包的强大功能。