
go语言的多重赋值(如 `a, b = b, a+b`)先**统一求值右侧所有表达式**,再**按从左到右顺序赋值**;因此右侧的 `a+b` 使用的是赋值前的原始值,而非已更新的中间值。
在Go中,a, b = b, a+b 这类并行赋值语句并非逐条执行,而是严格遵循官方规范定义的两阶段语义:
赋值分两个阶段进行: 求值阶段:先完整计算右侧所有表达式(b 和 a+b),使用当前变量的旧值; 赋值阶段:再按从左到右顺序,将已计算好的结果依次赋给左侧变量。
以你的示例代码为例:
var a int = 0 var b int = 1 a, b = b, a+b // 关键语句
执行过程如下:
-
✅ 求值阶段(一次性完成):
立即学习“go语言免费学习笔记(深入)”;
- 右侧第一个表达式 b → 值为 1(b 当前值)
- 右侧第二个表达式 a + b → 0 + 1 = 1(a 和 b 均为赋值前的值)
→ 此时已确定待赋值的两个值:1 和 1
-
✅ 赋值阶段(严格左→右):
- 先执行 a = 1 → a 变为 1
- 再执行 b = 1 → b 变为 1
因此最终输出为:
printing a after `a, b = b, a+b` 1 printing b after `a, b = b, a+b` 1
⚠️ 注意:这与顺序执行 a = b; b = a + b 有本质区别——后者是串行赋值,b = a + b 中的 a 已被第一步修改,故结果为 b = 1 + 1 = 2(即你提供的第二个 Playground 链接行为)。
✅ 正确实现斐波那契式交换(如 a, b = b, a+b 用于生成数列)必须依赖该原子性语义:它天然保证右侧所有操作数基于同一时间快照,无需临时变量,也避免竞态,是Go实现无锁状态更新的重要基础。
? 总结:
- 多重赋值不是语法糖,而是具有明确定义的独立语义;
- 所有右侧表达式在任何左侧赋值发生前完成求值;
- 掌握这一机制,是写出清晰、安全、高效Go代码的关键前提。










