Go中变量声明即安全,未显式初始化的变量自动获得类型确定的零值:数值为0、bool为false、string为空字符串、指针/切片/map/chan/接口/函数为nil、数组和结构体递归初始化。

零值不是“没值”,而是类型明确的默认值
很多新手误以为 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 用——编译不报错,运行时才崩。










