Go 的短变量声明 := 在多变量声明中允许对已声明变量（如 err）重新赋值，前提是至少有一个新变量参与声明；单变量 := 或全为已声明变量的多变量 := 则会报错。这是 Go 语言规范明确规定的重声明规则。
go 的短变量 declaration `:=` 在多变量声明中允许对已声明变量（如 `err`）重新赋值，前提是至少有一个新变量参与声明；单变量 `:=` 或全为已声明变量的多变量 `:=` 则会报错。这是 go 语言规范明确规定的重声明规则。
在 Go 中，:= 并非简单的“声明并赋值”，而是一种短变量声明（Short Variable Declaration），其行为由 Go 语言规范 精确定义：
“短变量声明可重声明同块内先前已声明的变量，但要求：
- 所有被重声明的变量类型必须与原声明一致；
- 左操作数中至少有一个非空白（non-blank）变量是新声明的；
- 重声明仅发生在多变量声明中；它不引入新变量，仅对已有变量执行赋值。”
这一规则直接解释了你示例中的行为差异：
✅ 合法：n1, err := strconv.Atoi("1")
→ n1 和 err 均为首次声明，完全合法。
✅ 合法：n2, err := strconv.Atoi("2")
→ n2 是新变量，err 是已声明变量；满足“至少一个新变量”条件，因此 err 被重声明（实为再赋值），n2 被声明。
❌ 报错（no new variable on left side of :=）：err := fmt.Errorf("new error")
→ 单变量 :=，且 err 已存在 → 无新变量，违反规范，编译失败。
❌ 报错：n1, err := strconv.Atoi("3")
→ n1 和 err 均已在同作用域声明过 → 左侧无新变量 → 编译器拒绝，报相同错误。
? 正确替代方案：
若需更新已存在变量，应使用普通赋值 =：
n1, err = strconv.Atoi("3") // ✅ 合法：纯赋值，不要求新变量
err = fmt.Errorf("custom error") // ✅ 合法
⚠️ 注意事项：
- 重声明仅限同一词法块（block） 内（如函数体、if 分支等），跨块无效；
- 类型必须严格一致（不可隐式转换），例如不能用 err := errors.New("x") 重声明 var err *MyError；
- 空白标识符 _ 不计入“新变量”统计，_, err := foo() 中若 _ 是唯一“新”项，仍因 _ 被忽略而触发错误；
- 此机制是 Go 故意设计的惯用模式，尤其服务于 err 的链式错误处理，提升代码简洁性与可读性。
总结：:= 的“部分重声明”能力不是语法糖，而是 Go 类型安全与作用域规则下的精确行为——它强制开发者显式引入新绑定，同时允许对常见错误变量（如 err）高效复用，是兼顾安全性与实用性的关键语言特性。
