Go表达式操作数严格从左到右求值，运算符执行顺序由优先级和结合性决定；defer参数在声明时即按此顺序求值；包级变量按依赖拓扑排序初始化。
Go 表达式求值顺序不是“从左到右”或“从右到左”的简单规则，而是由两个正交维度共同决定的：
✅ 运算符优先级（precedence）
✅ 操作数求值顺序（operand evaluation order）
直接说结论：所有操作数（包括函数调用、方法调用、channel 操作等）严格从左到右求值；但运算符执行顺序由优先级和结合性决定。
为什么 a() + b() * c() 中 b() 一定在 c() 之前求值？
因为 Go 规定：表达式中所有操作数（即每个子表达式）都按从左到右顺序求值，与运算符优先级无关。
这意味着即使 * 优先级高于 +，b() 和 c() 仍会先于 a() 的加法执行——但它们的结果何时参与乘法计算，才由优先级决定。
package mainimport "fmt"
func a() int { fmt.Println("a() called"); return 1 } func b() int { fmt.Println("b() called"); return 2 } func c() int { fmt.Println("c() called"); return 3 }
func main() { _ = a() + b() c() } // 输出： // a() called // b() called // c() called // → 所有函数按 a→b→c 顺序执行，哪怕 优先级更高
- ✅ 操作数求值顺序固定：左→右，不可优化、不可重排
- ❌ 不会因为
优先就先算b()c()再算a()—— 实际上是先全求出a()、b()、c()的返回值，再按a() + (b() * c())执行运算 - ⚠️ 容易误以为“高优先级部分先整体求值”，其实只是运算时机靠前，不是求值时机靠前
defer 和函数参数求值顺序的坑
defer 语句的参数在 defer 执行时立即求值（注意：不是 defer 实际触发时），而该求值顺序也服从“从左到右”。
func f() int {
fmt.Println("f() called")
return 10
}
func g() int {
fmt.Println("g() called")
return 20
}
func main() {
x := 5
defer fmt.Println("x =", x, "f()=", f(), "g()=", g())
x = 99
}
// 输出：
// f() called
// g() called
// x = 5 f()= 10 g()= 20
-
f()和g()在defer语句出现时就执行了（左→右），所以输出 10 和 20 -
x的值也是当时快照的5，后续改x = 99不影响 defer 参数 - 常见错误：以为
defer fmt.Println(x)会打印最终值 → 实际打印声明时的值
包级变量初始化中的“依赖化求值”怎么工作？
包级变量（非函数内）初始化不按书写顺序硬执行，而是基于依赖图拓扑排序：
立即学习“go语言免费学习笔记（深入）”；
- 一个变量若所依赖的变量都已初始化完成，它就“ready for initialization”
- Go 反复扫描，每轮只初始化所有 ready 的变量，直到无剩余
var a = 1 // 无依赖 → 第一轮 var b = a + 2 // 依赖 a → 第二轮 var d = b + c // 依赖 b 和 c → 第三轮（c 必须比 d 先定义且 ready） var c = 3 // 无依赖 → 第一轮（哪怕写在 d 后面）
- ✅ 变量声明顺序不影响初始化轮次，依赖关系才是关键
- ❌ 不允许循环依赖：
var x = y; var y = x→ 编译报错initialization loop - ⚠️ 函数调用（如
initDB()）在包初始化阶段执行，其内部副作用可能被多轮初始化“拆开”，务必避免隐式依赖
实际编码中怎么避免求值顺序引发的 bug？
- 使用括号显式分组，而不是靠记忆优先级：
a & 0x80 == 0→ 实际是a & (0x80 == 0)（因为==优先级高于&），必须写成(a & 0x80) == 0 - 避免在单个表达式中混用有副作用的操作（如函数调用 + 自增）：
arr[i++] = f()是合法但危险的 ——i++和f()谁先求值？答案是：左→右，所以i++先，但它的副作用（i 加 1）发生在赋值前还是后？Go 规定是“后置自增”，即先取旧值用于索引，再加 1；但整个表达式行为仍易读错 - 初始化逻辑尽量扁平：包级变量少用跨变量计算，改用
init()函数集中控制顺序
最常被忽略的一点：操作数求值顺序（左→右）是语言强制保证的，但副作用发生的精确时机（比如 channel send 是否阻塞、goroutine 是否启动）仍取决于运行时，不能假设“求值完就立刻生效”。
