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 代码——无需冗余初始化,也能确保变量处于合理初始状态。