go语言规定，包级（全局）变量声明必须显式以var、const或type关键字开头，这是为简化语法解析器设计而做出的刻意限制，而非疏漏；函数内则允许:=简写，因其处于明确的语句上下文中。
在Go中，:= 短变量声明是一种仅限于函数内部使用的语句级语法糖，它兼具变量声明与初始化功能，例如：
func example() {
x := 42 // ✅ 合法：在函数体内，类型由右值推导（int）
y := "hello" // ✅ 推导为 string
z := []int{1,2} // ✅ 推导为 []int
}但以下写法在包级（即函数外、文件顶层）是语法错误：
// ❌ 编译失败：syntax error: non-declaration statement outside function body x := 3.14
取而代之，必须使用显式的 var 声明：
var x float64 = 3.14 // 或利用类型推导（仍需 var 关键字） var y = 3.14 // 推导为 float64 var z = "world" // 推导为 string
根本原因在于语言的语法设计原则：Go编译器要求所有包级声明必须以关键字（var/const/type/func）起始。这一规则极大简化了顶层作用域的词法与语法分析——解析器只需查看行首关键字即可确定声明类别，无需向前或向后回溯、无需处理歧义（如 x := 1 无法区分是声明还是赋值），从而提升编译速度与实现可靠性。
立即学习“go语言免费学习笔记（深入）”；
值得注意的是：
- := 并非“类型推断”机制本身，而是声明+初始化+类型自动推导的组合语法；Go的类型推导能力（如 var y = 42）在包级和函数内均存在，只是短声明 := 被有意限定在块作用域内；
- 此设计并非权衡取舍，而是Go哲学的体现：明确优于隐晦，简单优于灵活。强制顶层使用 var，使代码结构更清晰、意图更易读，也避免了类似 x := 1; x = 2 在全局中被误认为两次声明的潜在混淆。
总结：这不是限制，而是精心设计的约束。作为Go开发者，应习惯在包级统一使用 var（配合类型省略实现简洁性），而在函数内自由使用 := 提升局部表达效率——二者协同，共同支撑Go语言“可读性优先、编译器友好”的核心目标。
