Go变量作用域由{}精确界定，函数/控制结构内声明的变量仅在对应{}内有效；for range变量在Go1.22前复用内存导致闭包问题，新版默认按次声明；参数与命名返回值作用域覆盖整个函数体；局部变量会遮蔽同名包级变量。
Go 里变量作用域由大括号 {} 精确界定
Go 没有“块级作用域”之外的模糊范围，{} 是唯一决定变量可见边界的语法结构。函数体、if、for、switch、for range 后跟的 {} 都会创建新作用域；但 if 条件表达式、for 初始化语句本身不构成独立作用域。
常见错误是误以为 if 或 for 内部声明的变量能在外部访问：
if x := 42; x > 0 {
fmt.Println(x) // ✅ OK
}
fmt.Println(x) // ❌ undefined: x注意：if x := 42; ... 中的 x 只在该 if 的整个作用域（包括 else 分支）内有效，不是仅限于条件判断部分。
for 循环中每次迭代是否复用变量
Go 1.22 之前，for range 中的循环变量（如 v）在所有迭代中复用同一内存地址，导致闭包捕获时出现意外共享：
立即学习“go语言免费学习笔记（深入）”；
var fns []func()
for _, v := range []int{1, 2, 3} {
fns = append(fns, func() { fmt.Print(v) })
}
for _, f := range fns {
f() // 输出：333，不是 123
}解决方法只有显式拷贝：
- 在循环体内用
v := v创建新变量（Go 1.22+ 已默认行为） - 或直接传参给闭包：
func(v int) { ... }(v)
Go 1.22 起，for range 的迭代变量默认按次声明，上述代码输出变为 123；但老版本仍需手动处理，且显式拷贝更清晰、可移植。
函数参数和返回值名的作用域边界
函数签名中的参数名和命名返回值，其作用域覆盖整个函数体（包括所有嵌套块），但不延伸到函数外：
func add(x, y int) (sum int) {
sum = x + y // ✅ 可读写命名返回值
if true {
x = x * 2 // ✅ 参数 x 在 if 块内仍可见
sum++ // ✅ 命名返回值在嵌套块中可用
}
return // ✅ 隐式返回 sum
}注意：若在内部块中用 := 重新声明同名变量（如 sum := 100），则会遮蔽（shadow）外层的命名返回值，后续 return 不再影响它——这是容易忽略的坑。
包级变量与局部变量同名时的遮蔽规则
局部变量（含函数参数、循环变量、:= 声明）会完全遮蔽同名的包级变量，且遮蔽发生在声明点之后：
var x = 100func demo() { fmt.Println(x) // ✅ 输出 100（此时还未遮蔽） x := 200 // 从这行起，x 指向局部变量 fmt.Println(x) // ✅ 输出 200 { fmt.Println(x) // ✅ 还是 200（嵌套块继承外层局部作用域） } }
遮蔽是静态的、词法作用域决定的，和运行时调用栈无关。一旦用 := 声明同名变量，原包级变量就不可通过裸名访问，必须用包名限定（如 main.x）。
最易被忽略的是：for 和 if 的初始化短声明（x := 1）会立即创建新作用域变量，且无法在外部块中“取消遮蔽”。写多层嵌套时，建议避免重用顶层变量名，尤其在循环和条件分支中。
