2023年9月19日 Go生态洞察：修复Go 1.22中的For循环问题

2023年9月19日 Go生态洞察：修复Go 1.22中的For循环问题

🐾 摘要 大家好，我是猫头虎博主，在这篇文章中，我们将深入探讨Go语言即将到来的一个重大更新——Go 1.22中的for循环作用域变化。如果你是Go开发者，这个变化对你来说意义重大。接下来，让我们一起潜入这个话题的深海，探索其细节和影响！

🐾 引言 在Go语言的世界里，for循环一直是编写代码时的基础。但正如许多Go开发者所知，现行的for循环作用域设定容易导致错误。幸运的是，Go 1.22将带来一个重要的变化，以解决这个长期存在的问题。

🐾 正文内容

🐈 Go 1.21预览：for循环作用域变更

Go 1.21版引入了一个预览变更，这是计划在Go 1.22中正式推出的。这个变更将解决for循环中引用变量超出其迭代范围的问题，这是Go中一个非常常见的错误。

示例代码分析

考虑以下Go程序：

func main() {
    done := make(chan bool)

    values := []string{"a", "b", "c"}
    for _, v := range values {
        go func() {
            fmt.Println(v)
            done <- true
        }()
    }

    for _ = range values {
        <-done
    }
}

在这个例子中，由于所有创建的goroutine都打印相同的变量v，因此它们通常会输出“c”、“c”、“c”，而不是按某种顺序打印“a”、“b”和“c”。

生产问题案例

这种错误在实际生产中造成了问题，例如在Let’s Encrypt的一个公开文档问题中就出现了这种情况。

🐈 解决方案：Go 1.22的改进

Go 1.22计划改变for循环的行为，使这些变量在每次迭代时拥有独立的作用域，而不是整个循环的作用域。这一改变将解决上述示例中的问题，结束由此类错误导致的生产问题，并消除了对不精确工具的依赖。

向后兼容

为确保与现有代码的向后兼容性，新的语义只适用于在其go.mod文件中声明了go 1.22或更高版本的模块中包含的包。

🐈 预览修复

Go 1.21包含了作用域变更的预览。通过设置环境变量GOEXPERIMENT=loopvar，可以将新的语义应用于所有循环。

修复测试中的Bug

在准备这次切换过程中，我们必须纠正许多测试中的错误，例如下面这个测试：

func TestAllEvenBuggy(t *testing.T) {
    testCases := []int{1, 2, 4, 6}
    for _, v := range testCases {
        t.Run("sub", func(t *testing.T) {
            t.Parallel()
            if v&1 != 0 {
                t.Fatal("odd v", v)
            }
        })
    }
}

这个测试在Go 1.21中通过了，但实际上它应该失败，因为1不是偶数。修复for循环暴露了这类错误的测试。

🐈 更多信息

有关此变更的更多信息，请参阅设计文档和FAQ。

🐾 总结

总的来说，Go 1.22中的for循环作用域变更是对Go生态的一次重要优化。这个变化不仅解决了一个常见的编码陷阱，还有助于提高代码的整体质量。感谢您阅读这篇由猫头虎的Go生态洞察专栏收录的文章，详情点击这里。