Go的零值机制为未初始化变量提供确定的默认值，防止未定义行为。数值类型为0，bool为false，string为空字符串，指针、slice、map、channel为nil，数组和结构体各元素或字段按类型设零值；通过var声明可观察零值；new(T)分配内存并返回指向零值的指针，make仅用于slice、map、channel，返回已初始化的非nil值；结构体及其嵌套字段均递归设置零值，确保状态可预测，提升代码安全性与清晰度。
Golang中的零值机制是语言设计中一个简洁而实用的特性。它确保每个变量在声明后都有一个确定的初始状态，无需显式初始化即可安全使用。这种机制减少了程序出错的可能性，也简化了代码编写。
什么是零值
在Go中，当变量被声明但未赋初值时，编译器会自动为其赋予一个“零值”。这个零值取决于变量的数据类型，不是随机值，也不是像C/C++那样的未定义行为。
常见的零值包括：
- 数值类型（int, float, complex）：零值为 0
- 布尔类型（bool）：零值为 false
- 指针类型：零值为 nil
- 字符串类型（string）：零值为 ""（空字符串）
- 数组：所有元素都被初始化为其类型的零值
- 结构体：每个字段按其类型设置零值
- 切片、map、channel：零值为 nil
变量声明与零值的实际表现
通过不同方式声明变量，都可以观察到零值的存在。
立即学习“go语言免费学习笔记（深入）”；
例如：
var a int
var s string
var p *int
var sl []int
var m map[string]int
var st struct{ Name string; Age int }
fmt.Println(a) // 输出：0
fmt.Println(s) // 输出：""
fmt.Println(p) // 输出：
fmt.Println(sl) // 输出：
fmt.Println(m) // 输出：
fmt.Println(st) // 输出：{ 0}
可以看到，即使没有赋值，这些变量也有明确的状态。特别是结构体，其内部字段也被自动设为各自类型的零值。
new 和 make 的区别与零值关系
new(T) 为类型 T 分配内存并返回指向该内存的指针，同时将内存清零（即设置为 T 的零值）。适用于所有类型，但返回的是指针。
make(T) 仅用于 slice、map 和 channel，它不仅分配内存，还完成类型的初始化，使其可以立即使用。注意：make 不返回零值指针，而是返回一个已初始化的非 nil 值。
举例说明：
ptr := new(int) fmt.Println(*ptr) // 输出：0，*ptr 可安全访问 slice := make([]int, 5) fmt.Println(slice) // 输出：[0 0 0 0 0]，长度为5的切片，元素均为0
结构体字段的零值与嵌套情况
结构体的零值是其所有字段零值的组合。对于嵌套结构体，这一规则递归适用。
比如：
type Person struct {
Name string
Age int
Addr struct {
City string
}
}
var p Person
fmt.Println(p) // 输出：{ 0 {}}
即使没有手动初始化，Name 是空字符串，Age 是 0，Addr 内部的 City 也是空字符串。
基本上就这些。Go 的零值机制让变量始终处于可预测状态，避免了未初始化带来的隐患。理解这一点，有助于写出更安全、更清晰的代码。不复杂但容易忽略。
