在go中，使用短变量声明（:=）接收多返回值时，变量作用域为所在函数块，且重复声明仅赋值不创建新变量。
Go语言中，函数的返回值本身没有“作用域”概念——它们是临时值，立即被赋给左侧变量。真正具有作用域的是接收返回值的变量，其生命周期由声明方式决定。
在你的示例中：
func main() {
a, b := addMulti(1, 2) // 第一次声明：a 和 b 均为新变量，作用域始于该行，覆盖整个 main 函数体
fmt.Printf("%d %d\n", a, b)
c, b := addMulti(3, 4) // 第二次：c 是新变量；b 已存在且类型匹配（int），因此仅执行赋值，不重新声明
fmt.Printf("%d %d\n", c, b)
}根据 Go语言规范，短变量声明 := 允许重声明（redeclaration），但需满足三个条件：
- 所有被重声明的变量必须已在同一代码块（block）内先前声明；
- 类型完全一致（b 始终是 int）；
- 至少有一个非空白变量（_）是全新声明的（此处 c 满足该条件）。
因此，b 的作用域从首次 := 出现处开始，持续到 main() 函数结束——它始终是同一个变量，第二次 c, b := ... 仅更新其值为 3 * 4 = 12，而非创建新变量。
立即学习“go语言免费学习笔记（深入）”；
⚠️ 注意事项：
- 若尝试在不同作用域（如 if 分支内）用 := 重声明 b，会导致编译错误（“no new variables on left side of :=”），因其已超出该子块的声明范围；
- 使用 var b int 显式声明后，后续不可再用 := 重声明（因不符合“同块内先前声明”的上下文）；
- 多返回值接收本质上是语法糖，等价于分别赋值：a, b = addMulti(1, 2)（此时无声明行为，仅要求变量已存在）。
总结：Go 中变量作用域由声明位置决定，而非返回值来源；短变量声明的“重声明”机制是作用域与赋值语义的协同设计，既保证简洁性，又避免隐式变量泄漏。
