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 分支,但绝不出块。