Fix for-range Issue Again in Go 1.22

  sonic0002        2024-11-21 01:03:04       1,062        1          English  中文  Tiếng Việt 

随着Go 1.22的发布,Go团队解决了一个长期存在的问题,即for-range循环变量的作用域问题,这个问题一直是编写并发代码的开发人员经常遇到的一个陷阱。具体来说,问题在于for-range循环中的循环变量在迭代中被重复使用,当涉及闭包时会导致意外行为。

Go 1.22之前的問題

考虑以下示例:

package forange

import "fmt"

func Do() {
    done := make(chan bool)
    values := []string{"a", "b", "c"}

    for _, v := range values {
        go func() {
            fmt.Println(v) // 打印意外的值
            done <- true
        }()
    }

    for _ = range values {
        <-done
    }
}

并且有一个go.mod文件如下

module playground

go 1.16

require github.com/ozgio/strutil v0.4.0

在Go 1.22之前的版本中,运行此代码通常会导致多次打印相同的值(例如,c),而不是按预期打印values中的每个值(abc)。这是因为循环变量v在迭代中被重复使用,并且goroutine捕获了相同的内存地址。

Go 1.22的修复

Go 1.22通过使循环变量的行为如同在每次迭代中都被重新声明一样来修复此行为。这意味着每个闭包现在都应该正确地捕获其对应迭代的v的值。

但是,如果您已升级到Go 1.22并且仍然观察到旧的、有问题的行为,那么罪魁祸首可能是您的go.mod文件。此修复程序只有在go.mod文件指定Go版本为1.22或更高版本时才有效。此依赖关系是有意的,它允许开发人员根据需要保留与旧行为的向后兼容性。

在您的go.mod中指定了go 1.22并且应用了修复程序后,运行上述程序应该会正确地打印a、b、c。每个goroutine现在都捕获了其迭代的v的正确值。

经验教训

  • 保持更新:始终阅读新Go版本的发布说明。Go 1.22发布说明特别提到此更改及其对go.mod的依赖性。
  • 使用正确的go.mod版本控制:许多Go语言特性都与go.mod中的go版本相关联。如果您依赖于新的特性或修复程序,请确保指定正确的版本。
  • 彻底测试:即使在升级Go之后,也请确保您的程序按预期运行,方法是运行全面的测试。

为什么需要此依赖关系?

go.mod版本控制方法允许团队逐步采用修复程序,而不会破坏现有构建。通过将新的语言行为与go.mod中的go版本耦合,Go团队确保了向后兼容性,同时为开发人员提供了更平滑的迁移。

如果您遇到类似的挑战,或者对这如何影响您的工作流程有任何见解,请随时在评论中分享!

BUG  GO  FOR RANGE  GO.MOD  GO 1.22 

       

  RELATED


  1 COMMENT


xieyonglin [Reply]@ 2024-11-21 06:43:57

Nice article?



  RANDOM FUN

Using powerful CPU to run a hello world program