Go 的零值有什么用？看看这四个场景

2023-02-28

var func sync

背景Go语言中有一个有些特殊的概念，叫做零值。许多转语言的同学经常会弄混淆，一开始会不适应。代码如下：复制funcmain(){variintvarffloat64varbboolvarsstringfmt.Printf("%v%v%v%q\n",i,f,b,s)}1.2.3.4.5.6.7.输出结

背景

Go 语言中有一个有些特殊的概念，叫做零值。许多转语言的同学经常会弄混淆，一开始会不适应。

代码如下：

func main() {
 var i int
 var f float64
 var b bool
 var s string
 fmt.Printf("%v %v %v %q\n", i, f, b, s)
}1.
2.
3.
4.
5.
6.
7.

输出结果：

0 0 false ""1.

这会导致大家在定义各种数据库字段时比较纠结，又会说 Go 这零值，例如：整型的零值 0，跟数据库里的 0 枚举值冲突。又或是做入参判断时怎么区别开？

一时半会想不明白，为什么 Go 要定义这个零值来增加复杂度？

有什么用

官方诠释

Go 核心团队的 @Dave Cheney 在《What is the zero value, and why is it useful?[1]》中对零值进行了详细的阐释，以下部分为该文的展开介绍。

将一个值设置为已知默认值的特性，对于程序的安全性和正确性非常重要。可以使你的 Go 程序更加简单和紧凑。这就是 Go 程序员常说的 "给你的结构一个有用的零值"。

官方案例

以下是 Go 官方给出的几个零值的例子，非常具有代表性。分别是：

sync.Mutex。
byte.Buffer。
slices。
nil func。

Sync.Mutex

sync.Mutex 被设计为无需显式初始化就可以使用，可以实现这个功能的原因是 sync.Mutex 包含两个未导出的整数字段。

用大白话讲，就是由于零值的存在，只要声明了 sync.Mutex，这些字段就会被设置为 0（值会被初始化）。

因此可以无需显式初始化就可以开箱即用。

如下代码：

package main

import "sync"

type MyInt struct {
        mu sync.Mutex
        val int
}

func main() {
        var i MyInt

        // i.mu is usable without explicit initialisation.
        i.mu.Lock()
        i.val++
        i.mu.Unlock()
}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.

Byte.Buffer

因为有零值的存在，bytes.Buffer 在进行写入或读取的操作时，不需要人为的进行明确的初始化。也能做到很好的开箱即用。

如下代码：

package main

import "bytes"
import "io"
import "os"

func main() {
        var b bytes.Buffer
        b.Write([]byte("Hello world"))
        io.Copy(os.Stdout, &b)
}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.

注：io.Copy 需要一个 io.Reader 作为它的第二个参数，所以我们需要传递一个指向 b 的指针。

Slices

在 slices 的定义中，它的零值是 nil。这意味着你不需要显式定义一个 slices，只需要直接声明它，就可以使用了。

如下：

package main

import "fmt"
import "strings"

func main() {
        // s := make([]string, 0)
        // s := []string{}
        var s []string

        s = append(s, "Hello")
        s = append(s, "world")
        fmt.Println(strings.Join(s, " "))
}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.

Nil func

你可以在有 nil 值的类型上调用方法，这也是零值作为缺省值的作用之一。

这个场景，甚至一度让许多 Go 程序员以为是 BUG，我还专门写过文章。这是可行的，其实是零值的延伸出来的用法。

如下代码：

package main

import "fmt"

type Config struct {
        path string
}

func (c *Config) Path() string {
        if c == nil {
                return "/usr/home"
        }
        return c.path
}

func main() {
        var c1 *Config
        var c2 = &Config{
                path: "/export",
        }
        fmt.Println(c1.Path(), c2.Path())
}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.