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语言免费学习笔记（深入）”；

  

  Go语言（Golang）1.26.0

  Go语言（Golang）1.26.0版本官方下载，版本号 1.26.0，适合旧项目维护、兼容性测试和指定版本开发环境搭建。

  下载
  • 右侧第一个表达式 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代码的关键前提。