go 语言规定，包级（全局）变量声明必须显式使用 var 关键字，而函数内可使用 := 简写；这并非设计疏漏，而是为保障语法清晰性与解析确定性所作的刻意约束。
在 Go 中，短变量声明（x := 1.5）是一种仅限于函数内部的语法糖，它隐含了变量声明、类型推导和初始化三重操作。但该语法禁止出现在包级作用域（即函数外、全局范围），例如以下写法是非法的：
package main x := 1.5 // ❌ 编译错误：syntax error: non-declaration statement outside function body
取而代之，你必须使用显式的 var 声明：
package main var x float64 = 1.5 // ✅ 合法 // 或更简洁地（类型可省略，由右值推导）： var y = 1.5 // ✅ 推导为 float64
为什么不允许包级 :=？核心原因在于语法解析的确定性
Go 的设计哲学强调“简单、明确、易解析”。官方解释（如 Go 团队成员 Ian Lance Taylor 所述）指出：
“At the top level, every declaration begins with a keyword.” （在包级作用域，每个声明都必须以关键字开头。）
这意味着：所有顶层（global）声明——无论是变量（var）、常量（const）、类型（type）还是函数（func）——都必须以对应的关键字起始。这一规则极大简化了 Go 编译器的词法与语法分析逻辑：
- 解析器读到 var → 进入变量声明模式
- 读到 func → 进入函数声明模式
- 读到 type → 进入类型定义模式
若允许包级 :=，解析器将面临歧义：例如下面这段代码：
x := 1 y = 2 z := 3
在函数内，这是三条语句（声明 + 赋值 + 声明）；但在包级，y = 2 显然非法（无声明直接赋值），而 x := 1 若被允许，则需额外规则判断“何时是声明、何时是错误”，破坏“关键字驱动声明”的统一范式，增加解析复杂度与潜在错误。
补充说明：这不是类型推导能力的限制
值得注意的是，Go 完全支持包级类型推导——只是要求通过 var 显式引入：
var a = "hello" // string
var b = 42 // int
var c = 3.14159 // float64
var d = []int{1,2} // []int因此，:= 的限制与类型推导能力无关，纯粹是语法层面的结构约定，服务于语言的可读性、可维护性与实现简洁性。
总结
- ✅ 函数内用 :=：高效、惯用、推荐
- ✅ 包级用 var + 类型省略：同样支持类型推导，简洁且合法
- ❌ 包级禁用 :=：非缺陷，而是 Go “显式优于隐式” 和 “解析优先” 设计原则的体现
作为初学者，适应这一规则只需记住一句口诀：“顶层声明，必带关键字；函数体内，简写随心。”
