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 是 ""）。

常见错误是试图延迟初始化：

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 并发读写，就必须加锁或用原子操作；而函数内变量天然线程安全，除非你把它取地址并传出去。