Go作用域规则唯一：变量仅在声明它的{}块内可见，编译期严格按词法嵌套从内向外查找；:=在if中会新建同名变量遮蔽外层，导致外层nil不变；for/map/struct字面量{}不创建作用域。
Go 的作用域规则其实就一条：变量只在它被声明的
{} 块内可见，且查找时严格从内向外逐层找——不是靠运行时“猜”，而是编译期就能确定。
为什么 := 在 if 里声明变量后，外层还是 nil？
因为 := 是声明+赋值，不是单纯赋值。它会在当前块新建一个同名变量，遮蔽（shadow）外层变量，而不是复用。
- 常见错误：
err := someFunc() // 外层 err 是 nil if err != nil { err := json.Unmarshal(data, &v) // 这里又声明了个新 err！外层 err 没变 if err != nil { log.Fatal(err) } } // 此处 err 仍是 someFunc() 返回的原始 err，不是 Unmarshal 的 err - 安全写法：提前用
var err error声明，后续统一用=var err error err = someFunc() if err != nil { err = json.Unmarshal(data, &v) // 复用同一个 err if err != nil { log.Fatal(err) } } - 编译器不会报错，但逻辑可能出错——这是最隐蔽的坑之一
globalVar 和 localVar 同名时，哪个生效？
局部变量永远优先。Go 不会自动“升级”或“合并”作用域，它只按词法嵌套一层层往外找，找到第一个就停。
- 包级变量
globalVar（小写）仅在本包可用；大写如GlobalVar才能被其他包通过mypkg.GlobalVar访问 - 函数内声明
var globalVar string→ 它完全屏蔽包级globalVar，哪怕类型不同也会编译失败（类型不匹配） - 结构体字段、函数参数、
for循环变量都遵循同一规则：声明即建新作用域，同名即遮蔽
哪些 {} 真的创建新作用域？
不是所有花括号都算。只有语句块（if、for、switch、独立 {...}）和函数体才引入新作用域；结构体字面量、map 字面量、切片字面量里的 {} 不算。
- ✅ 创建作用域：
if x := 10; x > 0 { fmt.Println(x) // x 只在这里有效 } // fmt.Println(x) // 编译错误 - ❌ 不创建作用域：
m := map[string]int{"a": 1, "b": 2} // 这里的 {} 是字面量语法，不产生新作用域 s := []int{1, 2, 3} // 同理 - ⚠️ 特殊情况：
for range中用:=声明的变量，在 Go 1.22 之前每次迭代复用同一地址（导致闭包陷阱），Go 1.22+ 已修复，但老项目仍需注意
真正难的不是记规则，而是意识到：Go 的作用域没有“例外”，也没有“隐式提升”。你看到的每一行 :=、每一个 {}、每一个首字母大小写，都在编译时被铁板钉钉地决定了可见性——没运行，就已经定死了。
