Go 允许在 for 循环内使用 := 重复声明外部已存在的同名变量，本质是创建了新作用域内的局部变量，对外部变量形成遮蔽（shadowing），而非重新赋值。
go 允许在 for 循环内使用 `:=` 重复声明外部已存在的同名变量，本质是创建了新作用域内的局部变量，对外部变量形成遮蔽（shadowing），而非重新赋值。
在 Go 中，:= 是短变量声明（short variable declaration），它不仅赋值，还会根据上下文自动推导类型并声明新变量。关键在于：每次 := 都作用于当前词法作用域（lexical scope）。而 Go 规范明确规定，for、if、switch 等控制结构的语句体（body）各自构成一个隐式块（implicit block），拥有独立的作用域。
这意味着：当在 for 循环体内再次使用 i := "World !" 时，Go 并非修改外层的 i，而是在循环块这一新作用域中声明了一个全新的、同名的局部变量 i。该变量会“遮蔽”（shadow）外层作用域中的 i —— 在循环体内，所有对 i 的引用都指向这个新变量；一旦离开循环体（即执行完本次迭代），该局部 i 即被销毁，外层 i 的值保持不变。
以下代码清晰展示了这一机制：
package main
import "fmt"
func main() {
i := "Hello" // 外层变量，作用域为整个 main 函数体
a := 0
for a < 2 {
fmt.Println(i) // 输出外层 i → "Hello"
i := "World !" // 新声明：在 for 块内创建局部 i（遮蔽外层）
fmt.Println(i) // 输出局部 i → "World !"
a++
// 此处局部 i 生命周期结束，自动销毁
}
fmt.Println("After loop:", i) // 仍输出 "Hello"，证明外层 i 未被修改
}输出结果：
Hello World ! Hello World ! After loop: Hello
⚠️ 重要注意事项：
- 这不是错误，而是 Go 明确支持的语言特性，但极易引发逻辑误解（尤其对新手或从其他语言转来的开发者）。
- 遮蔽仅发生在声明时使用 := 且变量名与外层同名的情况下；若改用 i = "World !"（纯赋值），则会直接修改外层变量（前提是作用域可访问）。
- 编译器不会警告遮蔽行为，但主流 IDE（如 GoLand、VS Code + gopls）通常提供诊断提示（如 “variable ‘i’ shadows outer declaration”），建议开启并重视。
- 为提升代码可读性与可维护性，应尽量避免有意遮蔽，可采用不同变量名（如 innerMsg := "World !"）或直接复用外层变量（i = "World !"）来表达明确意图。
简言之，:= 在循环内的“重复声明”，实则是作用域分层设计的自然体现——Go 用清晰的块级作用域规则，保障了变量生命周期的确定性，开发者需主动理解并审慎运用这一特性。
