1. 问题
package main
import "fmt"
func main() {
fmt.Println(x) // 可以访问，但 x 在 main 下面声明
}
var x = 10
x 在 main 函数下方声明，但 main 函数中可以正常访问。代码执行不是从上到下的吗？
2. 包级别 vs 函数内部
函数内部的代码确实是顺序执行的：
func main() {
fmt.Println(y) // ❌ 编译错误：undefined: y
y := 10
}
但包级别的声明（在函数外部）顺序无关紧要：
package main
import "fmt"
var a = b + 1 // ✅ 可以访问 b
var b = 10
func main() {
fmt.Println(a, b) // 输出：11 10
}
3. 为什么可以这样？
Go 编译器在编译阶段会先扫描整个包的所有声明，建立符号表，然后才生成代码。
简单来说：
- 编译阶段：收集所有包级别声明（变量、常量、类型、函数）
- 生成阶段：根据符号表生成可执行代码
所以声明顺序不影响可见性。
4. 函数内部为什么不行？
函数内部的代码是运行时顺序执行的，编译器不会提前扫描：
func main() {
fmt.Println(x) // 运行时才执行，此时 x 还未声明
x := 10
}
这里有两个不同的阶段：
- 编译时：检查语法、类型
- 运行时：顺序执行语句
函数内部的语句是运行时执行的，所以必须先声明后使用。
5. 注意：循环依赖
虽然声明顺序无关，但初始化顺序是有规则的：
var a = b + 1 // ✅ b 先初始化为 10，然后 a = 10 + 1 = 11
var b = 10
var c = d + 1 // ❌ 编译错误：initialization loop
var d = c + 1
Go 编译器会分析依赖关系，按正确顺序初始化变量，但循环依赖会报错。
6. 包的作用域：同包内文件直接共享变量
同一目录下的文件如果属于同一个包（相同包名），变量可以直接使用，不需要导入：
// file1.go
package mypkg
var shared = "hello"
// file2.go
package mypkg
import "fmt"
func PrintShared() {
fmt.Println(shared) // ✅ 直接使用，不需要导入
}
如果包名不同，Go 不允许同一目录下存在多个包（除了 _test 文件）。
7. 为什么这样设计？
目录即包：
同一目录只能有一个包：简化导入路径，避免混乱。目录就是包的边界，清晰明了。
同包内文件直接共享变量：包是编译的基本单元，同包文件一起编译，共享命名空间。方便将大包拆分成多个文件，同时保持内部一致性。
这种设计让包的组织结构简单可预测。
8. 实际应用
这个特性在实际开发中很有用：
package config
var (
DBHost = getEnv("DB_HOST", "localhost")
DBPort = getEnv("DB_PORT", "5432")
DBUser = getEnv("DB_USER", "postgres")
DBPassword = getEnv("DB_PASSWORD", "")
)
func getEnv(key, defaultValue string) string {
// 从环境变量获取配置
// ...
}
配置变量可以集中声明，而 getEnv 函数可以在任何地方定义。
总结
| 位置 | 声明顺序 | 原因 |
|---|---|---|
| 包级别 | 无关 | 编译时先扫描所有声明 |
| 函数内部 | 必须先声明 | 运行时顺序执行 |
| 同包内文件 | 直接共享 | 同包一起编译，共享命名空间 |
核心区别：
- 包级别声明是编译时处理
- 函数内部语句是运行时执行
- 同包内文件共享作用域，目录即包
记住这些规则，就不会被 Go 的作用域搞混了。