使用 goroutine 在 for 循环中迭代结构体指针而不是结构体本身的原因

在 Go 语言中，使用 goroutine 并行处理数据时，若要正确迭代结构体指针，需要将结构体切片定义为指针类型。错误示例中，由于 goroutine 在 for 循环结束后执行，此时循环变量已更新，导致所有 goroutine 引用同一结构体指针，输出重复值。正确的示例通过使用指针类型切片，确保每个 goroutine 引用不同结构体指针，从而输出正确结果。

背景

我正在阅读 go 中的 50 个阴影，特别是“for”语句中的迭代变量和闭包，我将从其中摘录一段。

不正确

package main

    import (  
        "fmt"
        "time"
    )

    type field struct {  
        name string
    }

    func (p *field) print() {  
        fmt.println(p.name)
    }

    func main() {  
        data := []field{{"one"},{"two"},{"three"}}

        for _,v := range data {
            go v.print()
        }

        time.sleep(3 * time.second)
        //goroutines print: three, three, three
    }

正确

将 []field{{"一"},{"二"},{"三"}} 更改为 []*field{{"一"},{"二"},{"三"}}、one、two 和 three 将按某种顺序打印。

我的思考过程

1. 在错误的情况下，go v.print() 被编译器替换为 go (&v).print()，因为 print() 是在指针接收器上定义的。

2. 在执行生成的 goroutine 之前，运行时只知道 goroutine 应该执行 print()，但不知道应该将哪个实例的指针作为接收者传递。

3. 当生成的 goroutine 执行时，for 循环很可能已经终止，因此当我们想要决定应该传递哪个值作为接收者时，我们会得到 v 的地址，该地址在执行过程中共享整个循环并在每次迭代中更新，因此我们将 data 最后一个元素的地址作为接收者传递给 print()，这就是为什么我们打印了 3 个 tri。

问题

对我来说，将 []field 更改为 []*field 只会让编译器跳过步骤 1，但不会更改步骤 2 和步骤 3，所以我不知道为什么会解决问题。

我想我的思考过程中肯定存在一些缺陷，我很感谢任何建议。

更新

我碰巧在这里看到了另一个正确的实现，我想我可能知道我的思维过程哪里出了问题。

data := []field{{"one"}, {"two"}, {"three"}}

for i := range data {
    go data[i].print()
}

问题是，要传递给 print() 作为接收器的指针是在步骤 2 而不是步骤 3 中确定的。这意味着在不正确的版本中，我们在每次迭代中传递相同的地址，但是它指向的内容 (data) 在每次迭代中都会更新。然而，在正确的版本中，作为接收者传递给 print() 的指针指向 field 的实际元素。这同样适用于使用索引的情况。

解决方案

您的接收器是一个点，您必须将字段切片定义为指针，这就是此代码工作的原因

data := []*field{{"one"}, {"two"}, {"three"}}

如果您将接收器更改为非指针，您的代码也可以工作。

func (p field) print() {
    fmt.Println(p.name)
}

data := []field{{"one"}, {"two"}, {"three"}}

今天关于《使用 goroutine 在 for 循环中迭代结构体指针而不是结构体本身的原因》的内容就介绍到这里了，是不是学起来一目了然！想要了解更多关于的内容请关注golang学习网公众号！