Go 1.21 即将揭晓：颠覆性的 for 循环变量修改

后端

2023-12-06 12:38:04

Go 1.21 版本即将发布，其中最受瞩目的变化之一就是 for 循环变量语义的重大革新。本文将深入探讨这一变动及其对代码编写、执行以及并发性的影响。

旧语义 vs. 新语义

在 Go 1.21 之前，for 循环变量始终引用底层数据的副本。这意味着对 for 循环变量的修改不会影响底层数据本身。这种语义在某些情况下会带来限制，例如：

难以在 for 循环中对底层数据进行排序或修改。
当 for 循环变量是结构体指针时，对 for 循环变量的修改不会影响底层结构体。

为了解决这些限制，Go 1.21 引入了新的 for 循环变量语义。现在，for 循环变量将始终引用底层数据的原始值。这意味着对 for 循环变量的修改也会修改底层数据。

修改后的 for 循环语义示例

以下代码示例演示了修改后的 for 循环语义是如何工作的：

package main

import "fmt"

func main() {
    // 创建一个切片
    slice := []int{1, 2, 3, 4, 5}

    // 使用 for range 循环遍历切片
    for i, value := range slice {
        // 修改 for 循环变量 value
        value += 1

        // 打印修改后的切片元素
        fmt.Println(slice[i])
    }

    // 打印修改后的切片
    fmt.Println(slice)
}

在该示例中，for range 循环遍历切片 slice。在循环体内，我们对 for 循环变量 value 进行修改，并打印修改后的切片元素。最后，我们打印修改后的切片。

输出结果如下：

2
3
4
5
6
[2 3 4 5 6]

正如你所看到的，对 for 循环变量 value 的修改也修改了底层切片 slice。

修改后的 for 循环语义的影响

修改后的 for 循环语义对 Go 程序的编写和执行产生了重大影响。以下是一些关键的影响：

for 循环变量的修改将影响底层数据。 这使得在 for 循环中对底层数据进行排序或修改变得更加容易。
当 for 循环变量是结构体指针时，对 for 循环变量的修改也将影响底层结构体。 这使得在 for 循环中对结构体进行修改变得更加容易。
修改后的 for 循环语义可能会导致并发问题。 因为多个 goroutine 可能会同时修改同一个底层数据。因此，在使用修改后的 for 循环语义时需要小心。