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 // 关键语句
执行过程如下:
-
✅ 求值阶段(一次性完成):
- 右侧第一个表达式 b → 值为 1(b 当前值)
- 右侧第二个表达式 a + b → 0 + 1 = 1(a 和 b 均为赋值前的值)
→ 此时已确定待赋值的两个值:1 和 1
-
✅ 赋值阶段(严格左→右):