Go协程间共享变量未更新及循环下变量输出异常咨询

Hey，我来帮你拆解这两个问题，都是Go并发编程里常见的坑，刚入门的时候我也踩过好几次 😄

一、为什么Go协程之间的共享变量无法更新？ #

核心原因有两个：

1. 内存可见性问题：Go的内存模型规定，一个协程对变量的修改，并不一定能立刻被其他协程看到。编译器或者CPU可能会对指令进行重排序，或者把变量缓存到寄存器/CPU缓存中，导致其他协程读取到的还是旧值。
2. 调度时机与执行优先级：如果没有同步机制，子协程可能还没来得及执行变量更新操作，主协程就已经完成读取甚至直接退出（main函数结束会终止所有协程）。另外，像死循环这类持续占用CPU的代码，会导致Go的用户态调度器无法切换到子协程，子协程根本没机会运行。

二、为什么带for循环的代码输出0，移除循环后能更新为1？ #

先还原你提到的典型代码场景：

package main

import "fmt"

func main() {
	var i int
	go func() {
		i = 1
	}()
	// 死循环持续占用CPU
	for {}
	fmt.Println(i)
}

原因分析： #

• 当main协程进入for {}死循环时，会一直霸占当前CPU核心。Go的用户态调度器默认不会抢占正在执行的协程（除非协程主动让渡CPU、阻塞在IO/通道/锁，或者达到最大执行时间片），导致子协程完全没机会被调度执行，i=1的赋值根本没运行，最后输出初始值0。
• 移除循环后，main协程会快速走到fmt.Println(i)，虽然理论上还是有小概率输出0（取决于调度时机），但大部分情况下，main协程执行到打印前的短暂间隙里，调度器有机会切换到子协程完成赋值，所以你看到i变成了1。但这种写法本质是依赖不可靠的调度延迟，不是正确的并发实践。

三个解决方案 #

方案1：使用sync.WaitGroup等待子协程完成 #

通过WaitGroup明确等待所有子协程执行完毕后再读取变量，从根源上保证赋值操作已完成：

package main

import (
	"fmt"
	"sync"
)

func main() {
	var i int
	var wg sync.WaitGroup
	wg.Add(1) // 标记需要等待1个协程
	go func() {
		defer wg.Done() // 协程完成后通知WaitGroup
		i = 1
	}()
	wg.Wait() // 阻塞直到所有协程完成
	fmt.Println(i) // 稳定输出1
}

方案2：使用通道（Channel）传递值（Go官方推荐方式） #

Go鼓励用通信代替共享内存，通过通道把值从子协程传递到主协程，天然避免可见性和数据竞争问题：

package main

import "fmt"

func main() {
	ch := make(chan int)
	go func() {
		ch <- 1 // 子协程将值发送到通道
	}()
	i := <-ch // 主协程阻塞等待通道数据
	fmt.Println(i) // 稳定输出1
}

方案3：使用sync.Mutex互斥锁保护共享变量 #

通过互斥锁保证变量读写的原子性和内存可见性，每次操作共享变量都需要加锁：

package main

import (
	"fmt"
	"sync"
)

func main() {
	var i int
	var mu sync.Mutex
	var wg sync.WaitGroup
	wg.Add(1)
	go func() {
		defer wg.Done()
		mu.Lock()
		i = 1
		mu.Unlock()
	}()
	wg.Wait()
	mu.Lock()
	fmt.Println(i)
	mu.Unlock()
}

内容的提问来源于stack exchange，提问作者sof