必须用var：包级变量、导出变量、需显式零值或指定底层类型的场景；:=仅限函数内且要求至少一个新变量，类型推导在接口、slice、map中易出错。
Go 语言里变量声明和赋值不是“怎么写好看”的问题，而是直接影响可读性、内存行为甚至编译是否通过的关键操作。直接说结论：用 := 的地方别硬写 var，但导出变量、包级变量、需要显式零值初始化的场景必须用 var；类型推导不是万能的，尤其在接口、切片、map 初始化时容易掉坑。
什么时候必须用 var 而不能用 :=
短变量声明 := 只能在函数内部使用，且要求左侧变量名**此前未声明过**（注意：同名但不同作用域不算“已声明”）。常见踩坑点：
- 在
if或for语句块内用:=声明变量，想在外部访问 —— 不行，作用域仅限该块内 - 包级变量（即函数外）只能用
var，写name := "x"会报错non-declaration statement outside function body - 需要明确指定类型为某个底层类型（如
type UserID int64），用:=会推导为int64，丢失类型语义；此时应写var uid UserID = 123 - 声明多个变量且部分已有值、部分需零值（如
var a, b, c int; b = 42），:=无法分步赋值
:= 的隐式类型推导有哪些陷阱
Go 的类型推导很聪明，但聪明过头就容易翻车。重点看这三类：
- 字面量推导：写
v := 42→int（取决于平台，通常是int64或int32）；但v := int32(42)才真正得到int32。传参或赋值给期望int32的字段时，v := 42会编译失败 - slice/map 初始化：
s := []string{"a"}没问题；但m := map[string]int{"k": 1}是合法的，而m := map[string]int{}也合法 —— 可一旦你写成m := map[string]int(nil)，类型仍是map[string]int，但值为nil，后续len(m)是 0，for range m不 panic，但m["k"] = 1会 panic - 接口类型推导：写
r := strings.NewReader("x")，r类型是*strings.Reader，不是io.Reader。如果函数参数要io.Reader，它能自动满足；但若之后想调用r.Size()（*strings.Reader方法），就会报错 —— 因为推导出的具体类型不包含该方法，除非显式转换
如何安全地声明带默认值的结构体字段
结构体字段本身不支持“默认值语法”，但可通过构造函数 + 字段零值约定来模拟。关键点在于：哪些类型零值可用、哪些必须显式设值。
立即学习“go语言免费学习笔记（深入）”；
- 数值类型（
int,float64）、布尔（bool）、字符串（string）的零值有意义（0,false,""），可放心依赖 - 指针、slice、map、channel、func、interface 的零值是
nil，直接使用会 panic，必须初始化：Users: make([]User, 0)或Config: &Config{Timeout: 30} - 嵌入结构体字段的零值是其自身所有字段的零值，但若该结构体含
nil-敏感字段（如sync.Mutex不能为 nil），就不能只靠零值 —— 必须在构造函数里调用new(T)或字面量初始化 - 避免用
var t T声明结构体变量后直接使用，除非确认所有字段都允许零值；更稳妥的是用字面量：t := MyStruct{Field: "ok"}，未指定字段自动填零值
变量重声明（redeclaration）的边界在哪
Go 允许在同个作用域中对已声明变量“重声明”，但有严格条件：必须是用 :=，且至少有一个新变量，且所有变量都已在当前块中声明过（即“短声明中的变量列表里，部分是新的、部分是旧的”）。
- 合法：
a := 1; a, b := 2, 3——a重声明，b是新变量 - 不合法：
a := 1; a := 2—— 错误no new variables on left side of := - 不合法：
if a := 1; true { a := 2 }—— 外层a和内层a是不同作用域，内层是全新声明，不是重声明 - 这个机制常用于
err：比如if f, err := os.Open("x"); err != nil { ... }，后续在if块内又调用_, err := f.Stat()，这时f是旧变量，err是重声明 —— 但要注意，第二个err会覆盖前一个，错误链可能丢失
最易被忽略的是：类型推导发生在编译期，但运行时行为（比如 nil map 写入、接口方法调用）完全取决于推导出的具体类型，而不是你“以为”的接口类型。写完声明，花两秒看看 go vet 和 IDE 的类型提示，比事后 debug 快得多。
