Go 的多变量赋值（如 b, a = a, b）并非逐条顺序执行，而是先求值后赋值，所有右侧表达式在左侧赋值前已全部计算完毕，从而天然避免中间状态覆盖，实现安全交换。
go 中如何原子地交换两个变量：从语法糖到汇编实现
Go 语言支持简洁的多变量赋值语法，例如 b, a = a, b 可以在一行内完成两个整数的交换。这看似违反直觉——如果按“先赋 b = a 再赋 a = b”的顺序执行，结果显然会出错。但实际并非如此：Go 的多变量赋值是一个原子性操作，其语义是“先同时求取右侧所有表达式的值，再同时写入左侧对应变量”。这意味着 a 和 b 在右侧出现时，引用的是赋值前的原始值，完全规避了中间覆盖问题。
这种行为不是运行时魔法，而是由 Go 编译器严格保证的语言规范。例如：
a, b := 10, 5 b, a = a, b // ✅ 安全交换：a→5，b→10 fmt.Println(a, b) // 输出：5 10
底层实现上，编译器会将该语句编译为独立的加载与存储指令，不依赖临时变量。以 x86-64 架构为例，go tool compile -S 生成的汇编片段显示：
MOVQ $10, CX // a = 10 → 存入寄存器 CX MOVQ $5, AX // b = 5 → 存入寄存器 AX MOVQ CX, "".b+16(SP) // 将原 a 值（CX）写入 b 的内存位置 MOVQ AX, "".a+24(SP) // 将原 b 值（AX）写入 a 的内存位置
可见，编译器利用 CPU 寄存器暂存原始值，在所有右侧值就绪后，再统一写入左侧目标地址——整个过程无读-改-写竞争，也无需显式临时变量。
⚠️ 注意事项：
- 该机制仅适用于同一作用域内变量的直接交换；若涉及指针解引用（如 *x, *y = *y, *x），需确保指针非 nil 且内存可写；
- 对于结构体或大对象，交换仍高效，因 Go 默认传递栈上副本地址，实际交换的是头部指针或值本身（取决于逃逸分析）；
- 不要误认为这是“并发安全”的交换——多 goroutine 同时读写同一变量仍需同步机制（如 sync/atomic 或 mutex）。
总结来说，b, a = a, b 是 Go 语言精心设计的语法糖，背后是编译器对求值顺序的严格控制与高效的寄存器调度。理解这一点，不仅能写出更地道的 Go 代码，也为深入阅读汇编、优化性能打下基础。
