Go的作用域由词法块决定:变量在哪个{}内声明,就仅在该块及内嵌块中可见;包级变量全包可访问,首字母大写才导出;:=易引发遮蔽;if/for等语句的{}是独立作用域;包级变量按源码顺序初始化,依赖需谨慎。

变量在哪声明,就在哪能用
Go 的作用域就是“词法块决定可见性”——简单说,var x int 或 x := 10 写在哪一对 {} 里,x 就只能在那对 {} 及其内部嵌套的块里用。不是“看起来在函数里就行”,而是必须真正在该块的源码层级中声明。
- 函数外(包级)声明的变量,整个包都可访问;首字母大写(如
Count)才对外导出 - 函数内用
var或:=声明的变量,出了函数就彻底消失 -
if、for、switch语句自带的{}是独立作用域,里面声明的变量出块即失效
短变量声明 := 最容易引发遮蔽(shadowing)
它不是赋值,是“声明+赋值”,且会优先在当前作用域新建变量。如果外层已有同名变量,:= 不会改它,而是悄悄造一个新变量把外层“盖住”——编译器不报错,但逻辑可能完全跑偏。
- 常见错误:
err := fn()写在if块里 → 外层err还是nil,后续判空或关闭资源直接 panic - 安全做法:函数开头统一
var err error,后面只用= - 循环里写
for _, v := range items { v := v }是冗余遮蔽,删掉内层v := v即可
包级变量初始化顺序影响运行结果
包级 var 按源码顺序初始化,但表达式里只能安全引用前面已声明的变量。一旦依赖关系写反,就会拿到零值,而且编译通过、运行时才暴露问题。
- 错误示例:
var a = b + 1在var b = 100前面 →a实际是0 + 1 = 1 - 跨文件时初始化顺序不可控,绝对不要在包级变量初始化中调用其他包级变量
- 有依赖时,改用
init()函数显式赋值,或用sync.Once惰性初始化
别指望 if 条件里的 := 能让变量活到块外
if f, err := os.Open(name); err != nil { ... } 这种写法里,f 和 err 的作用域仅限于整个 if-else 块,包括 else 分支,但绝不出块。
立即学习“go语言免费学习笔记(深入)”;
- 想后续用
f.Close()?必须提前在函数开头声明var f *os.File,然后在if里只用= - 这种设计杜绝了 JS 那种变量提升(hoisting),但也意味着你得主动管理声明位置
-
go vet 和
revive -enable shadow能帮检出部分遮蔽,但不能替代手动理清作用域层级
作用域规则本身很直白,真正难的是写代码时下意识忽略“它应该在哪儿可见”,尤其在嵌套多层 if 和 for 时。最稳妥的方式,是把所有需要跨块使用的变量,统一提到函数最外层声明。










