Go 1.22 对 “for” 循环进行了两项更改

01

介绍

Go 1.22 的大部分更改都发生在工具链、运行时和库的实现中。关于语言更改，Go 1.22 对 “for” 循环进行了两项更改。

02

每次迭代都会创建新的变量

在 Go 1.22 之前，由 “for” 循环声明的变量只创建一次，并在每次迭代时更新。

示例代码：

package main

import (
 "fmt"
)

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

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

 // wait for all goroutines to complete before exiting
 for _ = range values {
  <-done
 }
}

输出结果：

// go 1.21
c
c
c

阅读上面这段代码，由于循环变量的工作方式，在 Go 1.22 之前，在使用具有并发性的闭包时可能会出现一些混淆。

在 Go 1.21 中，我们期望输出 a、b、c，而得到的输出是 c、c、c。这是因为循环的每次迭代都使用变量 v 的相同实例，因此每个闭包共享该单个变量。

要在启动时将 v 的当前值绑定到每个闭包，必须修改内部循环以在每次迭代时创建一个新变量。

一种方法是将变量作为参数传递给闭包：

for _, v := range values {
    go func(u string) {
        fmt.Println(u)
        done <- true
    }(v)
}

在此示例中，v 的值作为参数传递给匿名函数。然后，该值可以在函数中作为变量 u 访问。

更简单的方法是创建一个新变量，使用一种声明样式，这种样式可能看起来很奇怪，但在 Go 中工作正常：

for _, v := range values {
    v := v // create a new 'v'.
    go func() {
        fmt.Println(v)
        done <- true
    }()
}

在 Go 1.22 中，“for” 循环的每次迭代都会创建新的变量，以避免意外的共享错误，从而消除了这个问题。

03

支持遍历整数

在 Go 1.22 之前，带有 “range” 子句的 “for” 语句遍历数组、切片、字符串或映射的所有条目、通道上接收的值。

在 Go 1.22 中，带有 “range” 子句的 “for” 语句支持遍历大于 0 的整数。

示例代码：

package main

import "fmt"

func main() {
  for i := range 10 {
    fmt.Println(10 - i)
  }
  fmt.Println("go1.22 has lift-off!")
}

输出结果：

10
9
8
7
6
5
4
3
2
1
go1.22 has lift-off!

04

总结

本文我们介绍 Go 1.22 关于语言的更改，即关于 for loop 进行的两项更改。

在 Go 1.21 中，已经支持 for loop 的两项更改，但是，需要设置环境变量 GOEXPERIMENT=loopvar。

在 Go 1.22 中，关于 for loop 的两项更改，默认开启，不再需要设置环境变量。