Go 语言的作用域由代码块（block）决定，变量的可见性（能否被访问）和生命周期（存在时间）都严格绑定在它所声明的块内。 不是靠缩进、函数名或文件名控制，而是由一对大括号 {} 明确界定。理解这一点，就抓住了 Go 变量行为的核心。
作用域按嵌套层级划分：从最外到最内
Go 的作用域是词法作用域（静态作用域），按代码块嵌套关系逐层收缩：
- 包作用域（Package scope）：在包顶层（函数外）声明的变量、常量、类型、函数等，对整个包内所有文件可见（需导出即首字母大写才对外部包可见）
- 文件作用域（File scope）：用
var在文件顶部但不在任何函数内声明的变量，仅限该源文件内使用（即使未导出，也不跨文件） - 函数作用域（function scope）：在函数体
{}内声明的变量，只在该函数内有效 - 局部块作用域（Block scope）：比如
if、for、switch或显式代码块{...}中用:=或var声明的变量，仅在此块内可见
变量生命周期 = 作用域持续时间
Go 没有“栈/堆”语义的显式声明，但变量生命周期实际由其作用域决定：
- 包级变量：程序启动时分配，运行期间一直存在，程序退出时释放
- 函数内变量（含参数）：每次函数调用时创建，函数返回时立即不可访问（若被闭包捕获则可能延长生命周期）
- 局部块变量（如
if {...}中的v := 10）：块进入时创建，块结束时销毁；哪怕块内有return，该变量也在此刻失效
注意：Go 运行时会自动做逃逸分析（escape analysis），决定变量实际分配在栈还是堆，但对开发者透明——你只需关注作用域，生命周期自然跟随。
立即学习“go语言免费学习笔记（深入）”；
可见性规则：小写字母即私有，大写字母即导出
可见性（是否能被其他包引用）只取决于标识符首字母大小写，与声明位置无关：
- 首字母小写（如
count、myFunc）→ 包内私有，其他包无法访问 - 首字母大写（如
Count、MyFunc）→ 导出标识符，可被其他包通过import引用 - 同一包内，无论大小写，所有标识符都相互可见（私有只是对外不可见）
例如：var MaxSize = 100 在包顶层，其他包可通过 yourpkg.MaxSize 访问；而 var maxSize = 100 同样声明，其他包完全看不到它。
常见易错点提醒
-
:=只能在函数内部使用，且只能用于声明新变量（左边至少有一个新标识符），不能用于包级或全局赋值 - 在
if或for中用:=声明变量，它**不会泄漏到外部块**，哪怕条件为 false 或循环没执行，该变量也仅存在于那个块中 - 同名变量可在内层块中“遮蔽（shadow）”外层变量，这是合法的，但容易引发逻辑错误，建议避免
- 闭包会捕获其引用的外部变量，此时变量生命周期可能延长至闭包存活期，而非原作用域结束时
基本上就这些。Go 的作用域设计简洁直接——有大括号就有边界，有声明就有范围，不复杂但容易忽略细节。