Go 语言中 := 是短变量声明，要求左侧至少有一个新变量；循环每次迭代都创建独立作用域，因此可重复声明；而同一作用域内重复使用 := 会因无新变量导致编译错误。
go 语言中 `:=` 是短变量声明，要求左侧至少有一个新变量；循环每次迭代都创建独立作用域，因此可重复声明；而同一作用域内重复使用 `:=` 会因无新变量导致编译错误。
在 Go 中，:= 并非简单的“赋值”，而是声明并初始化的复合操作，其核心约束是：必须至少引入一个新变量名，且所有变量必须位于同一词法作用域内。这一设计既保证了变量定义的明确性，又避免了隐式覆盖带来的歧义。
✅ 循环内可多次 := 的根本原因：作用域隔离
每次 for 循环体 { ... } 都构成一个新的嵌套作用域。变量 x := 77 在每次迭代开始时被重新声明，生命周期仅限于本次迭代块内；迭代结束时，该 x 自动销毁。下一次迭代进入的是一个逻辑上完全独立的新作用域，因此 x := 77 始终满足“声明新变量”的条件。
for i := 0; i <blockquote>
<p>? 验证作用域边界：即使不使用循环，任意 {} 括起的代码块都会创建新作用域：</p>
<pre class="brush:php;toolbar:false;">{
y := 100
fmt.Println(y) // OK
}
fmt.Println(y) // ❌ 编译错误：undefined: y
❌ 函数体内连续 := 报错原因：违反“新变量”原则
在 main() 函数的顶层作用域中，首次 a := 77 成功声明变量 a；第二次 a := 77 时，左侧仅有已存在的 a，Go 编译器检查发现没有新变量可声明，于是报错：no new variables on left side of :=。
Go语言（Golang）1.26.0
下载
Go语言（Golang）1.26.0版本提供 Go 官方 Windows amd64 MSI 安装包下载入口，版本号 1.26.0，可用于旧项目维护、兼容性测试和指定版本开发环境配置。
func main() {
a := 77 // ✅ 声明新变量 a
fmt.Println(a)
a := 77 // ❌ 错误！a 已存在，且无其他新变量
fmt.Println(a)
}✅ 正确写法（复用变量）应使用普通赋值 =：
a := 77 // 声明 a = 88 // 赋值（非声明）
✅ 或引入新变量（满足 := 要求）：
a := 77 a, b := 88, "hello" // ✅ a 重用 + 新增 b → 合法
⚠️ 注意事项与最佳实践
- 不要混淆 := 与 =：:= 仅用于声明，= 仅用于赋值；混用会导致意外编译失败。
- 作用域意识至关重要：Go 的作用域由 {} 显式界定，而非缩进或语句位置。理解块级作用域是写出清晰、安全代码的基础。
- 避免隐藏变量：若在内层作用域声明同名变量（如循环内 x := ...），会遮蔽外层同名变量，虽合法但易引发逻辑错误，建议使用语义更清晰的名称。
- IDE 提示友好：现代 Go IDE（如 VS Code + Go extension）会在非法 := 处实时标红并提示“no new variables”，善用工具可提前规避问题。
总结：Go 的 := 规则本质是作用域感知的声明机制——它不是“可重定义”，而是“在每个新作用域中允许独立声明”。掌握作用域边界，就能自然理解为何循环内安全、函数顶层报错，从而写出符合 Go 惯例的健壮代码。
