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 字面量、切片字面量里的 {} 不算。
立即学习“go语言免费学习笔记(深入)”;
- ✅ 创建作用域:
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 的作用域没有“例外”,也没有“隐式提升”。你看到的每一行 :=、每一个 {}、每一个首字母大小写,都在编译时被铁板钉钉地决定了可见性——没运行,就已经定死了。










