掌握Go变量声明的关键是理解var与:=的作用域边界、类型确定时机和零值隐式行为；包级变量必须用var，:=仅限函数内使用，且左侧须有新变量，否则编译报错。
直接说结论：掌握Go变量声明，关键不是背语法，而是理解 var 和 := 的作用域边界、类型确定时机、以及零值隐式行为——这三点踩错一个，就会在编译或运行时出问题。
什么时候必须用 var，不能用 :=
最常被忽略的硬约束：包级（全局）变量只能用 var，:= 在函数外直接报错。
-
var可以出现在任何地方：包顶层、函数内、甚至if或for块内 -
:=只允许在函数内部使用；写在func外面会触发syntax error: non-declaration statement outside function body - 包级变量需要显式初始化或留空让零值生效，比如
var configPath string表示“稍后由 init() 或 flag.Parse() 赋值”，这种意图:=无法表达
:= 声明时“左侧必须有新变量”是什么意思
这是 Go 编译器对短声明的语义检查，不是语法糖限制。它防止你误以为在给已有变量赋值，实际却新建了同名局部变量。
- 以下合法：
a := 1; a, b := 2, "x"—— 第二个a是重声明，但b是新变量，整体通过 - 以下非法：
a := 1; a := 2—— 左侧全是已存在变量，编译报错no new variables on left side of := - 常见坑：在
if分支里重复用:=声明同名变量，结果外层看不到，且分支间变量不共享
类型推导和零值初始化的组合风险
Go 的“自动推导 + 自动零值”看似友好，但在处理可选字段（如 JSON 解析、数据库查询）时容易埋雷。
立即学习“go语言免费学习笔记（深入）”；
-
var amount float64→ 值是0.0，但如果原始数据里该字段缺失，你无法区分“确实是 0”还是“没传” -
amount := 0.0→ 同样是0.0，但更隐蔽：你以为是显式设初值，其实只是推导出的零值 - 正确做法：对可能缺失的数值/字符串，优先用指针类型（
*float64）或sql.NullFloat64等包装类型，避免零值歧义
多变量声明怎么写才不容易错
多变量声明本身没坑，但混用显式类型和类型推导时，Go 会按“全显式”或“全推导”分组处理，不是逐个判断。
- 合法：
var a, b = 1, "hello"→ 两者都推导（a是int，b是string） - 合法：
var a, b int = 1, 2→ 两者都显式为int - 非法：
var a int, b = 1, "hello"→ 语法错误，Go 不支持混合写法 - 包级多变量推荐用因式分解块，尤其当部分需初始化、部分留零值时：
var ( timeout int = 30 retries int debug bool )
真正难的不是写出能编译的声明，而是在读别人代码时，一眼看出某个 name := ... 是新变量还是重声明，某个 var x T 后面有没有被意外覆盖。这些细节不靠记忆，靠写多了自然形成条件反射。
