Go 语言中各类数据类型的零值（默认初始化值）详解

go 语言为未显式初始化的变量自动赋予“零值”，不同类型的零值各不相同：布尔型为 false，数值型为 0，字符串为空串，指针/函数/接口/切片/通道/映射均为 nil，且该规则递归适用于数组、结构体等复合类型。

在 Go 中，“零值”（zero value）是语言规范定义的核心概念之一——当变量声明但未初始化时，编译器会自动为其分配一个确定、安全且类型一致的默认值。这一机制消除了未定义行为的风险，也使代码更健壮、可读性更强。

以下是常见内置类型的零值对照表：

• 布尔类型（bool）：false
• 整数类型（int, int8, uint32, rune, byte 等）：0
• 浮点类型（float32, float64）：0.0
• 复数类型（complex64, complex128）：0+0i
• 字符串（string）：""（空字符串）
• 指针、函数、接口、切片（[]T）、映射（map[K]V）、通道（chan T）：nil
• 数组（[N]T）：所有元素递归设为对应类型的零值（例如 [3]int 的零值为 [3]int{0, 0, 0}）
• 结构体（struct）：每个字段按其类型分别设为零值（例如 struct{ Name string; Age int }{} 的零值等价于 struct{ Name string; Age int }{"", 0}）

✅ 示例代码演示：

package main

import "fmt"

func main() {
    var b bool
    var i int
    var f float64
    var s string
    var p *int
    var m map[string]int
    var sl []int
    var ch chan int
    var fn func()

    fmt.Printf("bool: %t\n", b)           // false
    fmt.Printf("int: %d\n", i)           // 0
    fmt.Printf("float64: %g\n", f)       // 0
    fmt.Printf("string: %q\n", s)        // ""
    fmt.Printf("pointer: %v\n", p)       // 
    fmt.Printf("map: %v\n", m)           // map[]
    fmt.Printf("slice: %v\n", sl)        // []
    fmt.Printf("channel: %v\n", ch)      // 
    fmt.Printf("function: %v\n", fn)     // 

    // 结构体与数组同样遵循零值规则
    var arr [2]bool
    fmt.Printf("array: %v\n", arr)       // [false false]

    type Person struct{ Name string; Age int }
    var person Person
    fmt.Printf("struct: %+v\n", person)   // {Name:"" Age:0}
}

⚠️ 注意事项：

• new(T) 返回指向类型 T 零值的指针（即 *T），其内容始终为零值；
• make(T, ...) 仅适用于 slice、map、chan，它分配并初始化底层数据结构，返回的是非-nil 的值（如 make([]int, 3) 返回长度为 3 的切片，元素全为 0）；
• 零值不是“未初始化”，而是明确、可预测的初始状态——这使得 Go 在内存安全和并发编程中更具优势；
• 自定义类型（如 type MyInt int）继承底层类型的零值，因此 MyInt 的零值也是 0。

掌握零值规则，有助于写出更简洁、可靠的 Go 代码——无需冗余初始化，也能确保变量处于合理初始状态。