Go中的nil

nil是Go中的一个使用频率很高的预声明标识符。很多种类的类型的零值都用nil表示。很多有其它语言编程经验的程序员在初学Go语言的时候常将nil看成是其它语言中的null或者NULL。这种看法只是部分上正确的,但是Go中的nil和其它语言中的null或者NULL也是有很大的区别的。

本文的剩余部分将列出和nil相关的各种事实。

nil是一个预声明的标识符

我们可以直接使用它。

预声明的nil标识符可以表示很多种类型的零值

在Go中,预声明的nil可以表示下列种类(kind)的类型的零值:

  • 指针类型(包括类型安全和非类型安全指针)
  • 映射类型
  • 切片类型
  • 函数类型
  • 通道类型
  • 接口类型

预声明标识符nil没有默认类型

Go中其它的预声明标识符都有各自的默认类型,比如

  • 预声明标识符truefalse的默认类型均为内置类型bool
  • 预声明标识符iota的默认类型为内置类型int。 但是,预声明标识符nil没有一个默认类型,尽管它有很多潜在的可能类型。事实上,预声明标识符nil是Go中唯一一个没有默认类型的类型不确定值。我们必须在代码中提供足够的信息以便让编译器能够推断出一个类型不确定的nil值的期望类型。 一个例子:
  1. package main
  2. func main() {
  3. // 代码中必须提供充足的信息来让编译器推断出某个nil的类型。
  4. _ = (*struct{})(nil)
  5. _ = []int(nil)
  6. _ = map[int]bool(nil)
  7. _ = chan string(nil)
  8. _ = (func())(nil)
  9. _ = interface{}(nil)
  10. // 下面这一组和上面这一组等价。
  11. var _ *struct{} = nil
  12. var _ []int = nil
  13. var _ map[int]bool = nil
  14. var _ chan string = nil
  15. var _ func() = nil
  16. var _ interface{} = nil
  17. // 下面这行编译不通过。
  18. var _ = nil
  19. }

nil不是一个关键字

预声明标识符nil可以被更内层的同名标识符所遮挡。 一个例子:

  1. package main
  2. import "fmt"
  3. func main() {
  4. nil := 123
  5. fmt.Println(nil) // 123
  6. // 下面这行编译报错,因为此行中的nil是一个int值。
  7. var _ map[string]int = nil
  8. }

(顺便说一下,其它语言中的nullNULL也不是关键字。)

不同种类的类型的nil值的尺寸很可能不相同

一个类型的所有值的内存布局都是一样的,此类型nil值也不例外(假设此类型的零值使用nil表示)。所以同一个类型的nil值和非nil值的尺寸是一样的。但是不同类型的nil值的尺寸可能是不一样的。 一个例子:

  1. package main
  2. import (
  3. "fmt"
  4. "unsafe"
  5. )
  6. func main() {
  7. var p *struct{} = nil
  8. fmt.Println( unsafe.Sizeof( p ) ) // 8
  9. var s []int = nil
  10. fmt.Println( unsafe.Sizeof( s ) ) // 24
  11. var m map[int]bool = nil
  12. fmt.Println( unsafe.Sizeof( m ) ) // 8
  13. var c chan string = nil
  14. fmt.Println( unsafe.Sizeof( c ) ) // 8
  15. var f func() = nil
  16. fmt.Println( unsafe.Sizeof( f ) ) // 8
  17. var i interface{} = nil
  18. fmt.Println( unsafe.Sizeof( i ) ) // 16
  19. }

上例打印出来的尺寸值取决于系统架构和具体编译器实现。上例中的输出是使用官方标准编译器编译并在64位的系统架构上运行的结果。在32位的系统架构上,这些输出值将减半。

对于官方标准编译器,如果两个类型属于同一种(kind)类型,并且它们的零值用nil表示,则这两个类型的尺寸肯定相等。

两个不同类型的nil值可能不能相互比较

比如,下例中的两行中的比较均编译不通过。

  1. // error: 类型不匹配
  2. var _ = (*int)(nil) == (*bool)(nil)
  3. // error: 类型不匹配
  4. var _ = (chan int)(nil) == (chan bool)(nil)

请阅读Go中的值比较规则来了解哪些值可以相互比较。类型确定的nil值也要遵循这些规则。 下面这些比较是合法的:

  1. type IntPtr *int
  2. // 类型IntPtr的底层类型为*int。
  3. var _ = IntPtr(nil) == (*int)(nil)
  4. // 任何类型都实现了interface{}类型。
  5. var _ = (interface{})(nil) == (*int)(nil)
  6. // 一个双向通道可以隐式转换为和它的
  7. // 元素类型一样的单项通道类型。
  8. var _ = (chan int)(nil) == (chan<- int)(nil)
  9. var _ = (chan int)(nil) == (<-chan int)(nil)

同一个类型的两个nil值可能不能相互比较

在Go中,映射类型、切片类型和函数类型是不支持比较类型。比较同一个不支持比较的类型的两个值(包括nil值)是非法的。比如,下面的几个比较都编译不通过。

  1. var _ = ([]int)(nil) == ([]int)(nil)
  2. var _ = (map[string]int)(nil) == (map[string]int)(nil)
  3. var _ = (func())(nil) == (func())(nil)

但是,映射类型、切片类型和函数类型的任何值都可以和类型不确定的裸nil标识符比较。

  1. // 这几行编译都没问题。
  2. var _ = ([]int)(nil) == nil
  3. var _ = (map[string]int)(nil) == nil
  4. var _ = (func())(nil) == nil

两个nil值可能并不相等

如果可被比较的两个nil值中的一个的类型为接口类型,而另一个不是,则比较结果总是false。原因是,在进行此比较之前,此非接口nil值将被转换为另一个nil值的接口类型,从而将此比较转化为两个接口值的比较。从接口一文中,我们得知每个接口值可以看作是一个包裹非接口值的盒子。一个非接口值被转换为一个接口类型的过程可以看作是用一个接口值将此非接口值包裹起来的过程。一个nil接口值中什么也没包裹,但是一个包裹了nil非接口值的接口值并非什么都没包裹。一个什么都没包裹的接口值和一个包裹了一个非接口值(即使它是nil)的接口值是不相等的。 一个例子:

  1. fmt.Println( (interface{})(nil) == (*int)(nil) ) // false

访问nil映射值的条目不会产生恐慌

访问一个nil映射将得到此映射的类型的元素类型的零值。 比如:

  1. fmt.Println( (map[string]int)(nil)["key"] ) // 0
  2. fmt.Println( (map[int]bool)(nil)[123] ) // false
  3. fmt.Println( (map[int]*int64)(nil)[123] ) // <nil>

range关键字后可以跟随nil通道、nil映射、nil切片和nil数组指针

遍历nil映射和nil切片的循环步数均为零。

遍历一个nil数组指针的循环步数为对应数组类型的长度。(但是,如果此数组类型的长度不为零并且第二个循环变量未被舍弃或者忽略,则对应for-range循环将导致一个恐慌。)

遍历一个nil通道将使当前协程永久阻塞。 比如,下面的代码将输出01234后进入阻塞状态。HelloworldBye不会被输出。

  1. for range []int(nil) {
  2. fmt.Println("Hello")
  3. }
  4. for range map[string]string(nil) {
  5. fmt.Println("world")
  6. }
  7. for i := range (*[5]int)(nil) {
  8. fmt.Println(i)
  9. }
  10. for range chan bool(nil) { // 阻塞在此
  11. fmt.Println("Bye")
  12. }

通过nil非接口属主实参调用方法不会造成恐慌

一个例子:

  1. package main
  2. type Slice []bool
  3. func (s Slice) Length() int {
  4. return len(s)
  5. }
  6. func (s Slice) Modify(i int, x bool) {
  7. s[i] = x // panic if s is nil
  8. }
  9. func (p *Slice) DoNothing() {
  10. }
  11. func (p *Slice) Append(x bool) {
  12. *p = append(*p, x) // 如果p为空指针,则产生一个恐慌。
  13. }
  14. func main() {
  15. // 下面这几行中的选择器不会造成恐慌。
  16. _ = ((Slice)(nil)).Length
  17. _ = ((Slice)(nil)).Modify
  18. _ = ((*Slice)(nil)).DoNothing
  19. _ = ((*Slice)(nil)).Append
  20. // 这两行也不会造成恐慌。
  21. _ = ((Slice)(nil)).Length()
  22. ((*Slice)(nil)).DoNothing()
  23. // 下面这两行都会造成恐慌。但是恐慌不是因为nil
  24. // 属主实参造成的。恐慌都来自于这两个方法内部的
  25. // 对空指针的解引用操作。
  26. /*
  27. ((Slice)(nil)).Modify(0, true)
  28. ((*Slice)(nil)).Append(true)
  29. */
  30. }

事实上,上面的Append方法实现不完美。我们应该像下面这样实现之:

  1. func (p *Slice) Append(x bool) {
  2. if p == nil {
  3. *p = []bool{x}
  4. return
  5. }
  6. *p = append(*p, x)
  7. }

如果类型T的零值可以用预声明的nil标识符表示,则*new(T)的估值结果为一个T类型的nil值

一个例子:

  1. package main
  2. import "fmt"
  3. func main() {
  4. fmt.Println(*new(*int) == nil) // true
  5. fmt.Println(*new([]int) == nil) // true
  6. fmt.Println(*new(map[int]bool) == nil) // true
  7. fmt.Println(*new(chan string) == nil) // true
  8. fmt.Println(*new(func()) == nil) // true
  9. fmt.Println(*new(interface{}) == nil) // true
  10. }

总结一下

在Go中,为了简单和方便,nil被设计成一个可以表示成很多种类型的零值的预声明标识符。换句话说,它可以表示很多内存布局不同的值,而不仅仅是一个值。

Go语言101项目目前同时托管在GithubGitlab上。欢迎各位在这两个项目中通过提交bug和PR的方式来改进完善Go语言101中的各篇文章。

本书微信公众号名称为"Go 101"。每个工作日此公众号将尽量发表一篇和Go语言相关的原创短文。各位如果感兴趣,可以搜索关注一下。

赞赏