当并发 goroutine 递增共享变量时，为什么我的 Go 程序的输出始终为 1？

这是因为 go 编译器优化了代码吗？

在提供的 Go 代码中，变量 i 在 main goroutine 和 goroutine 之间共享使用 go func() { ... }() 创建的并发 goroutine。并发 Goroutine 的目的是无限增加 i。然而，在运行程序时，您注意到输出始终为 1，尽管预期的数字要大得多，因为并发 goroutine 有足够的时间将 i 递增多次。

要理解这种行为，我们需要考虑 Go 内存模型和编译器的优化。

Go 内存模型

Go 内存模型指定了可以保证在一个 goroutine 中读取变量的条件观察不同 Goroutine 中写入同一变量所产生的值。

根据 Go 内存模型，为了使共享变量的更改在 Goroutine 之间可见，它们后面必须跟有同步事件，例如通道操作或锁定互斥锁。

编译器优化

在您的示例中，并发 goroutine 中对 i 的分配后面没有任何同步事件。因此，不能保证主 Goroutine 会观察到赋值，并且编译器可以根据需要自由地优化代码。

激进的编译器可能会通过完全消除增量操作来优化代码，有效地将并发 goroutine 减少为不执行任何操作的无限循环。这种优化可以解释为什么输出始终为 1，因为主 Goroutine 从不观察并发 Goroutine 执行的增量。

为了确保共享变量的更新能够在 Goroutine 之间正确传播，同步访问非常重要使用 Go 的同步和同步/原子包提供的通道、互斥体或其他同步原语来访问这些变量。

以上是当并发 goroutine 递增共享变量时，为什么我的 Go 程序的输出始终为 1？的详细内容。更多信息请关注PHP中文网其他相关文章！