Go语言零值陷阱：为什么空切片和空map完全不同

在其他编程语言里，声明变量却不赋值，拿到的往往是undefined或null。Go语言走了一条完全不同的路——每个变量从诞生那一刻起，就带着一个确定的初始值，这个机制被称为"零值"（Zero Value）。

这不是简单的语法糖，而是Go设计哲学的核心体现。当你写下var x int或var s string，编译器不会放任内存中的随机数据，而是强制填入类型对应的默认值：整数是0，字符串是空串""，布尔值是false。没有垃圾内存，没有未定义行为，程序从一开始就是确定的。

这种设计带来了两个直接好处。首先是内存安全——C语言里读取未初始化变量会返回内存中的任意残留值，而Go的编译器在编译期就保证了初始状态。其次是"有用的零值"（useful zero value）模式，标准库中的许多类型可以直接使用，无需繁琐的构造函数：

var b bytes.Buffer能直接写入字符串；var mu sync.Mutex能直接加锁；var wg sync.WaitGroup能直接添加计数。这些类型在零值状态下就是可用的，省去了其他语言中常见的new Buffer()或createMutex()之类的样板代码。

但零值并非总是无害的。切片（slice）、映射（map）和通道（channel）的零值都是nil，三者的行为却天差地别，这是Go新手最容易踩坑的地方。

nil切片的行为相当宽容。你可以对它调用len()得到0，可以用range遍历（循环体不会执行），可以用append追加元素——操作后它会变成真正的非空切片。几乎在所有场景下，nil切片都能当空切片来用。唯一的区别是类型比较：var a []int等于nil，而b := []int{}不等于nil，尽管两者的长度都是0。

nil映射就危险得多。读取操作是安全的，会返回值类型的零值；但写入会直接触发panic：panic: assignment to entry in nil map。任何向map写入数据之前，必须先make初始化。这个设计没有妥协空间，写代码时必须时刻警惕。

nil通道的行为最特殊：发送和接收都会永久阻塞。这看起来像bug，实则是select语句的强大工具——通过将某个case的通道设为nil，可以动态禁用该分支，实现复杂的并发控制逻辑。

结构体的零值同样值得注意。每个字段自动获得对应类型的零值，如果所有字段都可比较，还能直接与空结构体字面量比较：if u == (User{})来判断是否未被填充。

JSON序列化是零值机制最隐蔽的陷阱。当你把一个刚声明的结构体编码为JSON，零值字段不会消失，而是变成显式的空字符串或0：

json.Marshal(T{})输出{"Name":"","Age":0}。这与JavaScript等语言的习惯截然不同，也是API对接时常见的bug来源。理解零值，是写出健壮Go代码的第一课。