Go语言多重赋值顺序解析详解

Go语言的多重赋值（如 `a, b = b, a+b`）并非简单的语法糖，而是严格遵循“先统一求值右侧所有表达式、再从左到右依次赋值”的两阶段原子语义——右侧所有操作数均基于赋值前的原始值快照计算，从而天然避免中间状态干扰，既保证了斐波那契式迭代等逻辑的正确性，又为无锁、线程安全的状态更新提供了底层支撑；理解这一机制，是写出清晰、健壮且高效Go代码的关键基础。

Go语言的多重赋值（如 `a, b = b, a+b`）先**统一求值右侧所有表达式**，再**按从左到右顺序赋值**；因此右侧的 `a+b` 使用的是赋值前的原始值，而非已更新的中间值。

在Go中，a, b = b, a+b 这类并行赋值语句并非逐条执行，而是严格遵循官方规范定义的两阶段语义：

赋值分两个阶段进行：

1. 求值阶段：先完整计算右侧所有表达式（b 和 a+b），使用当前变量的旧值；
2. 赋值阶段：再按从左到右顺序，将已计算好的结果依次赋给左侧变量。

以你的示例代码为例：

var a int = 0
var b int = 1
a, b = b, a+b  // 关键语句

执行过程如下：

• ✅ 求值阶段（一次性完成）：

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

今天关于《Go语言多重赋值顺序解析详解》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！