go中变量声明即安全，未显式初始化的变量自动获得类型确定的零值：数值为0、bool为false、String为空字符串、指针/切片/map/chan/接口/函数为nil、数组和结构体递归初始化。
Go 中变量声明即安全——未显式初始化的变量自动获得确定的零值，这是语言级保障，不是约定或文档建议。
零值不是“没值”，而是类型明确的默认值
很多新手误以为 var x int 是“未定义”状态，其实它等价于 x := 0；同理 var s string 就是 s := ""，var b bool 就是 b := false。这种设计消除了 C/c++ 风格的未定义行为，但代价是：你无法靠“值是否为零”来判断字段是否被用户设置过。
- 数值类型（
int、float64、uint8等）→0 -
bool→false -
string→"" - 指针 / 切片 / 映射 / 通道 / 接口 / 函数 →
nil - 数组（如
[3]int）→ 所有元素为对应类型的零值，即[0, 0, 0] - 结构体 → 每个字段递归取其类型零值（哪怕嵌套结构体也一样）
为什么切片和 map 声明后不能直接用？
因为它们的零值是 nil，而非空容器。对 nil 切片调用 append 是安全的（Go 会自动分配底层数组），但对 nil map 写入（如 m["k"] = v）会 panic：panic: assignment to entry in nil map。
- 正确初始化 map：
m := make(map[string]int)或字面量m := map[string]int{} - 正确初始化 slice：
s := make([]int, 0)或s := []int{}（后者创建的是非-nil 空切片） - 注意：
var s []int和s := []int{}行为不同：len(s)都是 0，但前者s == nil为 true，后者为 false
结构体字段零值带来的隐性陷阱
结构体字段全取零值看似省事，但容易掩盖逻辑缺陷。比如一个表示 API 请求参数的结构体：
type SearchReq struct { Query string Offset int Limit int } func (r *SearchReq) Validate() error { if r.Query == "" { return errors.New("query required") } // 但 Offset 和 Limit 默认就是 0 —— 是用户真想查第 0 条？还是忘了设？ }- 若
Offset为 0 是合法业务含义（如“从头开始”），那就没问题 - 若 0 表示“未指定”，应改用指针：
Offset *int，用r.Offset == nil显式区分 - 或加标志字段：
HasLimit bool，配合构造函数控制赋值路径
new 和 make 的区别：什么时候该用哪个？
new(T) 返回 *T，内存清零，但只适用于任意类型；make(T) 只支持 slice、map、chan，返回的是类型 T 本身（非指针），且完成底层数据结构初始化。
立即学习“go语言免费学习笔记（深入）”；
-
new([]int)→ 返回*[]int，其值为nil切片指针，不能直接append -
make([]int, 0)→ 返回[]int，非 nil，可直接append -
new(map[string]int)→ 错误！make才是 map 的唯一合法初始化方式
真正需要警惕的，不是记不住规则，而是习惯性写 var m map[string]int 后直接当空 map 用——编译不报错，运行时才崩。