回答。

在Go语言中，变量的作用域规则（scoping）严格基于块（{}），而变量名可以在嵌套作用域中被遮蔽（shadowing）。在嵌套函数、匿名函数、循环以及在不同层级使用相同名称声明变量时，特别容易出现陷阱。

问题的背景

Go语言特意减少了有关作用域的“魔法”行为，以提高代码的可读性。但是，语法的灵活性和允许通过简短形式 := 重复声明变量可能导致误解。

问题

如果在嵌套函数或循环块中宣告与外层同名的变量，外层变量将不可用（被遮蔽）。大多数情况下，编译器不会注意到这一点，并可能导致错误，特别是在处理闭包时。另一个常见错误是，在if块或for-init中声明新变量后，尝试在块外访问它。

解决方案

始终注意作用域级别。除非确实需要，否则不要在嵌套块或匿名函数中使用相同的变量名，避免使用简短名称，并小心使用 :=。

代码示例：

package main
import "fmt"

func main() {
    x := 1
    {
        x := 2 // 遮蔽 main() 中的 x
        fmt.Println("Inner x:", x)
    }
    fmt.Println("Outer x:", x)

    for i := 0; i < 3; i++ {
        x := i // 每次迭代都会创建新的 x
        go func() {
            fmt.Println("Goroutine x:", x)
        }()
    }
}

在这个示例中，外部变量 x 没有被修改，而是在块内创建了新的 x。在第二个循环中，变量 x 被闭包捕获 - 结果可能是意外的。

关键特点：

每个区域（块）可以遮蔽上层的变量；
同名变量的两个声明如果位于不同区域，则相互无关；
闭包捕获变量，而不是其在迭代时的值；
块内的短形式 := 总会创建一个新变量，即使外部已经存在。

诱导性问题。

1. 在嵌套块中遮蔽时，最后会打印出哪个变量的值？

外部变量的值，因为内部变量仅在块内存在。

2. 如果尝试在块外访问在if/for块中声明的变量会发生什么？

编译器会报错：变量不在作用域内。

if true {
    y := 5
}
fmt.Println(y) // 错误

3. 如何在循环中创建goroutine时避免意外的值？

将变量作为函数参数传递：

for i := 0; i < 3; i++ {
    go func(val int) {
        fmt.Println(val)
    }(i)
}

常见错误和反模式

在不同层级使用相同的标识符 - 数据丢失，难以追踪；
在goroutine中捕获循环变量，而不显式将其作为参数传递；
期望短形式 := 修改已有变量（实际上它会创建一个新变量）。

生活实例

负面案例

循环初始化多个goroutine以进行并行处理，但闭包内部使用了循环变量而未传递 - 所有goroutine都在使用其“最后”值。

优点：

简洁，代码量少。

缺点：

不可预测的行为，生产中的bug，数据丢失。

正面案例

将循环变量作为参数传递给闭包 - 每个goroutine都获得自己的值。