go语言允许编译器在单个goroutine内对无依赖的内存写入操作进行重排序，以优化性能；但跨goroutine读写若缺乏同步（如互斥锁、channel、sync.waitgroup等），可能导致观察到违反代码顺序的值——这并非竞态bug，而是内存模型的明确设计。
go语言
允许编译器在单个goroutine内对无依赖的内存写入操作进行重排序，以优化性能；但跨goroutine读写若缺乏同步（如互斥锁、channel、sync.waitgroup等），可能导致观察到违反代码顺序的值——这并非竞态bug，而是内存模型的明确设计。
在Go的内存模型中，“Happens Before”关系是定义并发正确性的核心。关键原则之一是：
单个goroutine内的读写必须表现得如同按程序顺序执行
——但这并不意味着底层指令必须严格按源码顺序发出。只要重排序不改变该goroutine内部的可观察行为（即无数据依赖、无中间读取、无副作用），编译器和CPU就可自由调整执行顺序。
以原始示例为例：
虽然a = 1在源码中先于b = 2，但二者无数据依赖（b的赋值不依赖a的值，也不读取a），且f()后续未使用a或b，因此编译器可能将b = 2提前执行（例如利用寄存器缓存地址）。此时若g()在f()完成前恰好执行，就可能观测到b已更新为2而a仍为初始零值0。
⚠️ 注意：这不是Go特有的“bug”，而是所有现代语言（C/C++/Java/Rust）共享的底层内存模型特性。Go明确承认并文档化了这一点——它不提供“默认顺序一致性”，而是要求开发者
显式同步
来建立跨goroutine的happens-before关系。
立即学习
“
go语言免费学习笔记（深入）
”；
go语言参考手册 中文CHM版
Go 是一个开源的编程语言，它能让构造简单、可靠且高效的软件变得容易。本文给大家带来Go参考手册，需要的可以来下载！ Go是从2007年末由Robert Griesemer, Rob Pike, Ken Thompson主持开发，后来还加入了Ian Lance Taylor, Russ Cox等人，并最终于2009年11月开源，在2012年早些时候发布了Go 1稳定版本。现在Go的开发已经是完全开放的，并且拥有一个活跃的社区。 Go 语言特色 简洁、快速、安全 并行、有趣、开源 内存管理、v数组安全、编译
下载
✅ 正确做法：引入同步原语，确保f()的写入对g()可见。例如：
其他等效方式包括：
使用 sync.Mutex 保护共享变量读写；
用 sync.WaitGroup 等待f()返回；
通过带缓冲channel发送值（如 ch <- struct{}{}）作为信号。
? 总结：Go不保证跨goroutine的写入顺序可见性，也不强制单goroutine内写入的“全局可观测顺序”。
顺序是局部的、有条件的
。开发者必须主动构建同步点，才能让“先写a再写b”的逻辑意图，在并发场景下被其他goroutine可靠感知。忽视这一点，是生产环境中隐蔽竞态的根本原因之一。
var a, b int
func f() {
a = 1 // 语句A
b = 2 // 语句B
}
func g() {
print(b) // 可能输出2
print(a) // 可能输出0（而非预期的1）
}var a, b int
var done = make(chan struct{})
func f() {
a = 1
b = 2
close(done) // 同步点：关闭channel保证此前所有写入对接收方可见
}
func g() {
<-done // 等待f完成
print(b) // 必然输出2
print(a) // 必然输出1
}