go语言的多重赋值（如 `a, b = b, a+b`）先整体求值右侧表达式，再依次赋值到左侧变量，因此右侧所有操作数均基于赋值前的原始值计算，确保原子性与可预测性。
在Go中，a, b = b, a+b 这类多重赋值语句的执行严格遵循官方规范定义的两阶段规则：
赋值分两个阶段进行： 求值阶段：先从左到右计算左侧所有索引/解引用操作数（如 x[i]、p.field），同时从左到右计算右侧所有表达式； 赋值阶段：再从左到右，将已计算好的右侧值依次赋给左侧变量。
关键点在于：右侧表达式全部在任何赋值发生前完成求值，且使用的是赋值开始前的变量快照值。
以你的示例代码为例：
var a int = 0 var b int = 1 a, b = b, a+b // ← 多重赋值
执行过程如下：
立即学习“go语言免费学习笔记（深入）”；
-
✅ 求值阶段（使用旧值）：
- 右侧第一个表达式 b → 值为 1（此时 b 还是 1）
- 右侧第二个表达式 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 已被更新为新值（1），所以 b 变为 1 + 1 = 2。
✅ 正确实现斐波那契式交换（如 a, b = b, a+b）正是依赖这一语义：它天然保证右侧所有操作数基于同一时间点的状态，无需临时变量，也避免竞态，是Go中惯用的安全、简洁写法。
? 总结：
- 多重赋值不是“边算边赋”，而是“先算完所有右边，再统一赋左边”；
- 所有右侧表达式共享赋值前的变量状态；
- 这一设计使交换（x, y = y, x）、迭代更新（a, b = b, a+b）等操作既高效又无副作用。
