Go采用词法作用域，变量可见性由声明位置、首字母大小写及包归属决定；支持块级作用域；包级变量需编译期初始化，运行时逻辑须用init函数；参数与返回值属函数作用域；逃逸不影响作用域。
Go 里没有“局部变量作用域”这个说法，只有词法作用域和包级绑定
Go 不支持函数内嵌函数（闭包虽存在但不改变作用域规则），也没有块级作用域（比如 {} 里声明的变量不会在块外失效）。所谓“局部变量”，只是指在函数体内用 := 或 var 声明、且未导出的标识符；它的“局部性”来自声明位置和可见性规则，而非运行时栈帧管理。
真正决定变量能否被访问的，是：声明位置 + 首字母大小写 + 是否在同一个包内。
-
var x int写在函数外 → 包级变量（全局），首字母大写才可被其他包引用 -
x := 42或var x int写在函数内 → 只能在该函数内使用，函数返回即不可达（但若逃逸到堆上，值仍存在，只是标识符不可见） -
if true { y := "hi"; fmt.Println(y) }→y在if块内声明，依然只在该块内有效，Go 确实支持这种块级作用域（常被误认为不支持）
包级变量（“全局变量”）必须显式初始化或赋零值
Go 不允许声明未初始化的包级变量。编译器会强制要求：要么提供初始值，要么依赖零值（int 是 0，*T 是 nil，string 是 ""）。
常见错误是试图延迟初始化：
立即学习“go语言免费学习笔记（深入）”；
var config *Config
func init() {
config = loadConfig() // ✅ OK：init 函数中赋值
}
// 但下面这样会编译失败：
// var config *Config = loadConfig() // ❌ 编译错误：不能在包级使用运行时函数调用
- 包级变量初始化表达式只能是编译期常量或字面量（如
var port = 8080） - 需要运行时逻辑？必须用
init()函数，且仅限一次执行 - 多个
init()函数按文件名顺序执行，同文件内按出现顺序执行
函数参数和返回值不是“局部变量”的特例，而是独立绑定
函数签名中的参数名和返回名，在函数体内拥有和 := 声明相同的词法作用域 —— 它们不是“传入的变量副本”，而是新绑定的标识符。
例如：
func incr(x int) (y int) {
y = x + 1
return // 隐式返回 y（因为命名返回值）
}
-
x和y都是函数作用域内的变量，生命周期与函数执行一致 - 命名返回值（如
(y int)）会在函数入口自动初始化为零值，可直接赋值后return - 不要误以为
x是对调用方变量的引用 —— Go 所有参数都是值传递，包括 slice、map、channel、interface（它们底层含指针，但变量本身仍是副本）
逃逸分析会让“局部变量”实际分配在堆上，但作用域不变
Go 编译器会做逃逸分析：如果变量地址被返回、或被闭包捕获、或生命周期超出当前栈帧，它就会被分配到堆上。但这完全不影响作用域规则——你依然不能在函数外通过名字访问它。
例如：
func newInt() *int {
x := 42
return &x // x 逃逸到堆，但你在 newInt 外仍不能写 x = 100
}
- 逃逸只影响内存分配位置，不改变标识符可见性
- 过度逃逸可能降低性能（GC 压力、缓存不友好），可用
go build -gcflags="-m"查看 - 别为了“避免逃逸”而手动复制数据或改用数组 —— 先测性能瓶颈，再优化
真正容易被忽略的是：包级变量一旦被多个 goroutine 并发读写，就必须加锁或用原子操作；而函数内变量天然线程安全，除非你把它取地址并传出去。
