本文深入解析 Go 语言中 := 短变量声明的语法规则，重点说明为何在同作用域内重复使用 res, err := ... 会报错，而 res1, err := ... 和 res2, err := ... 却合法——核心在于“至少一个新变量”这一关键约束。
本文深入解析 go 语言中 `:=` 短变量声明的语法规则，重点说明为何在同作用域内重复使用 `res, err := ...` 会报错，而 `res1, err := ...` 和 `res2, err := ...` 却合法——核心在于“至少一个新变量”这一关键约束。
Go 的短变量声明操作符 := 表面看是“赋值”，实则兼具声明 + 初始化双重语义。它并非简单的变量重赋值，而是受严格语义规则约束的语法糖。其核心规则来自 Effective Go：
在 := 声明中，已声明的变量 v 可再次出现在左侧，前提是该声明位于同一作用域内，且右侧对应值可赋给 v，同时整个声明中至少包含一个真正新声明的变量。
这意味着：a, b := 1, 2 是声明；a, b := 3, 4 若 a 和 b 已存在，则非法；但 a, b, c := 3, 4, 5 ——只要 c 是新变量，a 和 b 即可被“重用”（实为同名遮蔽）。
回到你的示例：
✅ 合法代码中：
res1, err := giveMeError(1) // res1（新）、err（新）→ 两个新变量 res2, err := giveMeError(5) // res2（新）、err（已存在）→ 满足“至少一个新变量”
第二次声明引入了 res2 这个全新标识符，因此 err 的重复出现被允许——err 被重新赋值，而非重新声明。
❌ 非法代码中：
res, err := giveMeError(1) // res（新）、err（新） res, err := giveMeError(5) // res（已存在）、err（已存在）→ 无新变量！编译器报错
第二次 := 左侧所有变量均已声明，违反了“at least one new variable”的硬性要求，故触发 no new variables on left side of := 错误。
⚠️ 注意事项：
- 此规则仅适用于同一作用域（如同一个函数体内）。若 err 在外层函数声明，内部 := 将创建新变量（遮蔽外层），不触发此检查。
- := 不能用于包级变量声明（必须用 var）。
- 若需单纯更新已有变量，请显式使用 = 赋值：res, err = giveMeError(5)。
- 多返回函数（如 os.Open、strconv.Atoi）是 := 的典型应用场景，合理利用“部分重声明”可提升代码简洁性与错误处理清晰度。
总结：:= 不是“可重用的赋值”，而是“带容错机制的声明”——它的设计哲学是在保障类型安全与作用域清晰的前提下，减少冗余声明。理解“至少一个新变量”原则，是写出地道、健壮 Go 代码的关键基础。
