Go语言中变量未赋值时的零值是类型严格定义的安全默认值:数值为0、字符串为空、布尔为false、引用类型为nil;需区分nil切片与空切片,正确使用new和make,并理解零值在标准库和接口中的实际应用约束。

Go语言中,变量声明但不赋值时自动获得的初始值就是零值——它不是“未定义”,而是每种类型都严格规定的、可预测的安全默认状态。
零值不是空,是明确的默认行为
比如 var n int 的值一定是 0,var s string 一定是 "",var b bool 一定是 false。这些值不是靠运气或编译器“猜”的,而是语言规范强制保证的。结构体字段、数组元素也按此递归填充:哪怕嵌套三层,每个 int 字段都是 0,每个 string 字段都是 "",每个 []byte 字段都是 nil。
- 数值类型(
int/float64/uint8等)→0或0.0 -
string→""(注意:不是nil,不能和指针混用) -
bool→false - 引用类型(
[]T、map[K]V、chan T、*T、func()、interface{})→nil
nil 切片 vs 空切片:一个常被踩的坑
初学者容易混淆 var s []int(零值为 nil)和 s := []int{}(非零值,长度为 0 的空切片)。两者 len(s) 和 cap(s) 都返回 0,但行为截然不同:
-
nil切片:不能append,不能索引访问(s[0]panic),range安全但什么也不做 - 空切片(
[]int{}或make([]int, 0)):可以append,可以range,是已初始化的合法值 - 向
nil map写入会 panic;读取却安全(返回零值) -
nil chan的收发操作会永久阻塞(等效于select {})
new() 和 make() 的分工必须分清
new(T) 只做一件事:分配内存并返回指向该内存的指针,内容全是零值——适用于所有类型,但返回的是 *T;make(T, ...) 只用于 []T、map[K]V、chan T,它返回的是可用的、非 nil 值,底层数据结构已就绪。
立即学习“go语言免费学习笔记(深入)”;
-
new(int)→ 返回*int,其值为nil?不对,是返回指向一个值为0的int的指针 -
make([]int, 3)→ 返回[]int,值为[0 0 0],不是nil -
make(map[string]int)→ 返回可写的非nil映射;而var m map[string]int是nil,写入即 panic
零值在真实代码里怎么用才不翻车
很多 Go 标准库和主流框架(如 http.Handler、sync.Mutex)的设计都依赖零值可用。例如 sync.Mutex{} 就是完全合法且可立即 Lock() 的;http.Request.URL 是指针字段,零值为 nil,但 r.URL.String() 会 panic,所以得先判空。
- 配置结构体中,用
if cfg.Timeout != 0区分是否覆盖默认超时,而不是靠cfg.Timeout == nil(int没有nil) - 函数参数接收
map或slice时,别假设它已make过;必要时内部用if m == nil { m = make(map[string]int) } - 接口变量的零值是
nil,但接口内部存储的值可能是非nil指针(比如var i interface{}; p := new(int); i = p),此时i == nil为false—— 这点极易误判
零值机制省去了大量冗余初始化,但它的代价是:你必须清楚每个类型“默认长什么样”,尤其是 nil 在哪些类型上合法、哪些操作对 nil 安全、哪些不安全。这不是魔法,是契约——Go 要求你读得懂这个契约。










