短变量声明 := 只能在函数内部使用，包级必须用 var；同一作用域重复 := 时需至少一个新变量；其作用域限于所在代码块；设计目的是保证编译器可解析性与全局变量可追溯性。
短变量声明 := 只能在函数内部使用
这是最硬性的限制：你不能在包级别（即 func 外部、package main 下方直接写）用 := 声明变量，否则编译器会报错：syntax error: non-declaration statement outside function body 或 non-declaration statement outside function body。
- ✅ 正确：所有包级变量必须用
var显式声明，比如var appName = "myapp"或var port int = 8080 - ❌ 错误：
appName := "myapp"放在func main()外面，直接无法编译 - ⚠️ 注意：
:=不是“省略 var 的写法”，而是语法上被定义为仅存在于代码块（block）内的语句，而顶层作用域不属于任何 block
短变量声明要求至少有一个新变量
在同一个作用域内重复使用 := 声明已存在的变量名时，Go 要求左侧**必须至少包含一个之前未声明过的新变量**，否则会报错：no new variables on left side of :=。
- ✅ 允许：
a := 1; a, b := 2, "hello"（b是新变量） - ❌ 报错：
a := 1; a := 2（两次都只有a，无新变量） - ? 实际影响：常出现在
if或for块中调用返回多值的函数时，比如val, err := strconv.Atoi(s)—— 如果前面没声明过err，就合法；如果已声明过err且没带其他新变量，就会失败
短变量声明的作用域严格绑定到所在代码块
:= 声明的变量只在它出现的最近一层大括号 {} 内有效。这和 var 在函数内声明的行为一致，但新手容易误以为“写在 if 里=写在函数里”。
- ✅ 正确：
if x > 0 { y := "ok"; fmt.Println(y) }——y只在if块内可见 - ❌ 错误：
if x > 0 { y := "ok" }; fmt.Println(y)—— 编译报错：undefined: y - ? 小技巧：若需跨块访问，提前用
var y string在外层声明，再在块内用y = "ok"赋值
为什么 Go 这么设计？不是为了“简洁”，而是为了可解析性
这不是语法糖的取舍问题，而是编译器前端的解析策略决定的。Go 要求所有顶层声明（包级）必须以关键字开头：var、func、const、type。而 := 本质上是一个“赋值+声明混合语句”，无法在不回溯的情况下判断它是不是声明——这会让 parser 变复杂、变慢。
立即学习“go语言免费学习笔记（深入）”；
- ? 举例：如果允许
config := loadConfig()在包级，编译器得先读完整行才能确定这是声明还是单纯赋值（但包级不允许纯赋值） - ⚡ 结果：强制用
var config = loadConfig()，parser 一看到var就知道接下来是声明，无需猜测 - ? 衍生好处：所有包级变量一眼可识别，grep
^var就能扫出全部全局状态，对大型项目维护很关键
真正容易忽略的点是：你以为只是“少打几个字”，其实 := 暗含了作用域、新变量检查、块绑定三重约束。一旦在错误位置或错误组合下使用，报错信息并不直观，尤其是 no new variables 这类提示，往往要倒查十几行才能定位漏了哪个变量。
