为什么 Go 需要在闭包中显式复制循环变量？

Go 中捕获的闭包（for 循环变量）

Go 编译器不会自动捕获 for...range 循环变量作为本地分配闭包变量。相反，Go 类似地对待所有 for 循环（包括 for...range 循环），需要将循环变量显式复制到局部闭包中以确保预期的行为。

复制循环变量的原因

此行为源于 Go 对 for 循环的一致处理。在所有类型的 for 循环中，包括 for...range 循环，循环变量的作用域为循环块。循环块结束后，循环变量将不再可访问。

在 for...range 循环中，循环变量在循环的每次迭代中都会被初始化为新值。但是，循环内创建的闭包继续引用原始循环变量。为了确保闭包具有循环变量的独立副本，必须将其分配给闭包内的局部变量。

代码示例

下面是一个示例这说明了复制循环变量的必要性：

func main() {
    m := make(map[int32]int32)
    for i := int32(1); i <= 10; i++ {
        m[i] = i
    }

    l := make([]func() (int32, int32), 0)
    for k, v := range m {
        l = append(l, func() (int32, int32) {
            return k, v
        })
    }

    for _, f := range l {
        k, v := f()
        fmt.Println(k, v)
    }
}

在此示例中，循环变量 k 预计在 for...range 的每次迭代期间发生变化 环形。然而，闭包捕获了原始循环变量 k，该变量在整个循环中保持不变。结果，代码打印同一对值 (10, 10) 十次。

解决方案：复制循环变量

要解决此问题，循环变量必须复制到闭包内的局部变量中：

func main() {
    m := make(map[int32]int32)
    for i := int32(1); i <= 10; i++ {
        m[i] = i
    }

    l := make([]func() (int32, int32), 0)
    for k, v := range m {
        kLocal, vLocal := k, v
        l = append(l, func() (int32, int32) {
            return kLocal, vLocal
        })
    }

    for _, f := range l {
        k, v := f()
        fmt.Println(k, v)
    }
}

现在，闭包捕获局部变量 kLocal 和vLocal，它独立地保存在 for...range 循环的每次迭代期间分配的值。代码正确打印了预期的值对 (1, 1), (2, 2), ..., (10, 10)。

以上是为什么 Go 需要在闭包中显式复制循环变量？的详细内容。更多信息请关注PHP中文网其他相关文章！