无法理解5.6.1。注意：捕获迭代变量

Question

我正在学习 Go，但无法理解

 var rmdirs []func()

 for _, dir := range tempDirs() {
     os.MkdirAll(dir, 0755)
     rmdirs = append(rmdirs, func() {
         os.RemoveAll(dir) // NOTE: incorrect!
     })
 }

书上的解释我看了好几遍了，还是不明白为什么不正确。

我记得在go中参数是按值传递的，所以每个循环

dir

都是不同的值，为什么不正确？

Answer 1

你的直觉是正确的：go对迭代值重复使用相同的地址，因此不能保证当附加到

dir

的匿名函数时

rmdirs

指向的值与该函数时的值相同创建并首先捕获

dir

。 规格中的确切措辞是：

迭代变量可以通过“range”子句使用短变量声明（:=）的形式来声明。在这种情况下，它们的类型被设置为各自迭代值的类型，并且它们的范围是“for”语句的块； 它们在每次迭代中都会被重复使用。如果迭代变量在“for”语句之外声明，则执行后它们的值将是最后一次迭代的值。

（强调我的）。 为了进一步演示，这里是您的代码尝试执行的操作的简化版本：

var rmdirs []func()
tempDirs := []string{"one", "two", "three", "four"}

for _, dir := range tempDirs {
    fmt.Printf("dir=%v, *dir=%p\n", dir, &dir)
    rmdirs = append(rmdirs, func() {
        fmt.Printf("dir=%v, *dir=%p\n", dir, &dir)
    })
}

fmt.Println("---")

for _, f := range rmdirs {
    f()
}

运行时，会产生以下输出：

dir=one, *dir=0x40e128
dir=two, *dir=0x40e128
dir=three, *dir=0x40e128
dir=four, *dir=0x40e128
---
dir=four, *dir=0x40e128
dir=four, *dir=0x40e128
dir=four, *dir=0x40e128
dir=four, *dir=0x40e128

游乐场链接：https://play.golang.org/p/_rS8Eq9qShM

如您所见，循环的每次迭代都会重复使用相同的地址。 匿名函数的每次迭代都查看相同的地址，因此它们都打印相同的值。

处理这种情况的正确方法，正如您引用的书中提到的，是在循环中定义一个新变量，将迭代值复制到该变量，然后将其传递给匿名函数，如下所示：

var rmdirs []func()
tempDirs := []string{"one", "two", "three", "four"}

for _, d := range tempDirs {
    dir := d
    fmt.Printf("dir=%v, *dir=%p\n", dir, &dir)
    rmdirs = append(rmdirs, func() {
        fmt.Printf("dir=%v, *dir=%p\n", dir, &dir)
    })
}

fmt.Println("---")

for _, f := range rmdirs {
    f()
}

这会产生您期望的输出：

dir=one, *dir=0x40e128
dir=two, *dir=0x40e150
dir=three, *dir=0x40e168
dir=four, *dir=0x40e180
---
dir=one, *dir=0x40e128
dir=two, *dir=0x40e150
dir=three, *dir=0x40e168
dir=four, *dir=0x40e180

游乐场链接：https://play.golang.org/p/Ao6fC9i2DsG

Answer 2

从 GO 1.22 版本开始已修复，无需额外复制即可给出预期结果（如

dir := d

）：

https://go.dev/play/p/pZTj0urz7ya?v=goprev

修复说明： https://go.dev/blog/loopvar-preview