go语言为保持语法简洁与解析明确，规定所有包级声明必须以关键字（如var、const、type）开头，因此短变量声明:=仅限函数内部使用，不可用于全局变量定义。
在Go中，短变量声明（x := 1.5）是一种便捷语法，它同时完成变量声明、类型推导和初始化三步操作，但该语法被严格限定在函数体内。例如：
func main() {
y := 42 // ✅ 合法：函数内允许短声明
z := "hello" // ✅ 类型自动推导为 string
}而以下写法在包级（即函数外）是非法的，会触发编译错误 syntax error: non-declaration statement outside function body：
// ❌ 编译错误：不允许在包级使用 := counter := 0 name := "Go"
取而代之，必须显式使用 var（或 const/type）关键字进行声明：
// ✅ 合法：包级声明需以关键字开头 var counter int = 0 var name string = "Go" // ✅ 也可省略类型（若可推导），但仍需 var 关键字 var version = "1.23" // 推导为 string var pi = 3.14159 // 推导为 float64
设计原因核心在于语法解析的确定性：Go的语法分析器要求每个顶层（package-level）声明语句必须以明确的关键字起始（var、const、type、func），从而避免歧义、简化编译器实现。如果允许 := 出现在包级，解析器将难以区分“声明”与“表达式语句”（如 x = 1 是赋值，x++ 是自增），尤其在多行声明或复杂初始化场景下易引发解析冲突。
立即学习“go语言免费学习笔记（深入）”；
此外，这种设计也强化了Go的显式优于隐式哲学——包级变量是程序的公共契约，其类型与作用域应清晰可查；而函数内局部变量生命周期短、上下文紧凑，短声明带来的简洁性收益更高，且风险可控。
✅ 最佳实践建议：
- 包级变量：始终用 var 声明，推荐显式写出类型（如 var timeout time.Duration = 30 * time.Second），提升可读性与稳定性；
- 函数内变量：优先使用 :=，简洁高效；
- 若需延迟初始化或依赖运行时逻辑，可结合 var 声明 + init() 函数使用。
这一约束并非缺陷，而是Go在工程可维护性、编译效率与语言一致性之间做出的审慎权衡。
