彻底理解golang中什么是nil


Posted in Golang onApril 29, 2021

nil是什么

相信写过Golang的程序员对下面一段代码是非常非常熟悉的了:

if err != nil {
    // do something....
}

当出现不等于nil的时候,说明出现某些错误了,需要我们对这个错误进行一些处理,而如果等于nil说明运行正常。那什么是nil呢?查一下词典可以知道,nil的意思是无,或者是零值。零值,zero value,是不是有点熟悉?在Go语言中,如果你声明了一个变量但是没有对它进行赋值操作,那么这个变量就会有一个类型的默认零值。

这是每种类型对应的零值:

bool      -> false                              
numbers   -> 0                                
string    -> ""      
pointers -> nil
slices -> nil
maps -> nil
channels -> nil
functions -> nil
interfaces -> nil

所以,我们经常将 nil 赋值给 error 类型,并且以此来判断是否有错误,那是因为 error 是个接口,而接口的零值就是 nil

type error interface {
 Error() string
}

举个例子,当你定义了一个struct:

type Person struct {
  AgeYears int
  Name string
  Friends []Person
}
var p Person // Person{0, "", nil}

变量p只声明但没有赋值,所以p的所有字段都有对应的零值。那么,这个nil到底是什么呢?Go的文档中说到,nil是预定义的标识符,代表指针、通道、函数、接口、映射或切片的零值,也就是预定义好的一个变量:

type Type int
var nil Type

是不是有点惊讶?nil并不是Go的关键字之一,你甚至可以自己去改变nil的值:

var nil = errors.New("hi")

这样是完全可以编译得过的,但是最好不要这样子去做。

nil有什么用

在了解了什么是nil之后,再来说说nil有什么用。

pointers

var p *int
p == nil    // true
*p          // panic: invalid memory address or nil pointer dereference

指针表示指向内存的地址,如果对为nil的指针进行解引用的话就会导致panic。那么为nil的指针有什么用呢?先来看一个计算二叉树和的例子:

type tree struct {
  v int
  l *tree
  r *tree
}
// first solution
func (t *tree) Sum() int {
  sum := t.v  
  if t.l != nil {
    sum += t.l.Sum()
  }  
  if t.r != nil {
    sum += t.r.Sum()
  }    
  return sum
}

上面的代码有两个问题,一个是代码重复:

if v != nil {
  v.m()
}

另一个是当t是nil的时候会panic:

var t *tree
sum := t.Sum()   // panic: invalid memory address or nil pointer dereference

怎么解决上面的问题?我们先来看看一个指针接收器的例子:

type person struct {}
func sayHi(p *person) { fmt.Println("hi") }
func (p *person) sayHi() { fmt.Println("hi") }
var p *person
p.sayHi() // hi

对于指针对象的方法来说,就算指针的值为nil也是可以调用的,基于此,我们可以对刚刚计算二叉树和的例子进行一下改造:

func(t *tree) Sum() int {  
  if t == nil {      
    return 0
  }  
  return t.v + t.l.Sum() + t.r.Sum()
}

跟刚才的代码一对比是不是简洁了很多?对于nil指针,只需要在方法前面判断一下就ok了,无需重复判断。换成打印二叉树的值或者查找二叉树的某个值都是一样的:

func(t *tree) String() string {  
  if t == nil {    
    return ""
  }  
  return fmt.Sprint(t.l, t.v, t.r)
}
// nil receivers are useful: Find
func (t *tree) Find(v int) bool {  
  if t == nil {    
    return false
  }  
  return t.v == v || t.l.Find(v) || t.r.Find(v)
}

所以如果不是很需要的话,不要用NewX()去初始化值,而是使用它们的默认值。

slices

// nil slices
var s []slice
len(s)  // 0
cap(s)  // 0
for range s  // iterates zero times
s[i]  // panic: index out of range

一个为nil的slice,除了不能索引外,其他的操作都是可以的,当你需要填充值的时候可以使用append函数,slice会自动进行扩充。那么为nil的slice的底层结构是怎样的呢?根据官方的文档,slice有三个元素,分别是长度、容量、指向数组的指针:

彻底理解golang中什么是nil

当有元素的时候:

彻底理解golang中什么是nil

所以我们并不需要担心slice的大小,使用append的话slice会自动扩容。(视频中说slice自动扩容速度很快,不必担心性能问题,这个值得商榷,在确定slice大小的情况只进行一次内存分配总是好的)

map

对于Go来说,map,function,channel都是特殊的指针,指向各自特定的实现,这个我们暂时可以不用管。

// nil map
var m map[t]u
len(m)  // 0
for range m // iterates zero times
v, ok := m[i] // zero(u), false
m[i] = x // panic: assignment to entry in nil map

对于nil的map,我们可以简单把它看成是一个只读的map,不能进行写操作,否则就会panic。那么nil的map有什么用呢?看一下这个例子:

func NewGet(url string, headers map[string]string) (*http.Request, error) {
  req, err := http.NewRequest(http.MethodGet, url, nil)  
  if err != nil {    
    return nil, err
  }  
  for k, v := range headers {
    req.Header.Set(k, v)
  }  
  return req, nil
}

对于NewGet来说,我们需要传入一个类型为map的参数,并且这个函数只是对这个参数进行读取,我们可以传入一个非空的值:

NewGet("http://google.com", map[string]string{  
"USER_AGENT": "golang/gopher",
},)

或者这样传:

NewGet("http://google.com", map[string]string{})

但是前面也说了,map的零值是nil,所以当header为空的时候,我们也可以直接传入一个nil:

NewGet("http://google.com", nil)

是不是简洁很多?所以,把nil map作为一个只读的空的map进行读取吧。

channel

// nil channels
var c chan t
<- c      // blocks forever
c <- x    // blocks forever
close(c)  // panic: close of nil channel

关闭一个nil的channel会导致程序panic(如何关闭channel可以看这篇文章:如何优雅地关闭Go channel)举个例子,假如现在有两个channel负责输入,一个channel负责汇总,简单的实现代码:

func merge(out chan<- int, a, b <-chan int) {  
  for {    
    select {      
      case v := <-a:
        out <- v      
      case v := <- b:
        out <- v
    }
  }
}

如果在外部调用中关闭了a或者b,那么就会不断地从a或者b中读出0,这和我们想要的不一样,我们想关闭a和b后就停止汇总了,修改一下代码:

func merge(out chan<- int, a, b <-chan int) {  
  for a != nil || b != nil {    
    select {      
      case v, ok := <-a:          
         if !ok {
            a = nil
            fmt.Println("a is nil")            
            continue
          }
          out <- v      
      case v, ok := <-b:          
          if !ok {
            b = nil
            fmt.Println("b is nil")            
            continue
          }
          out <- v
    }
  }
  fmt.Println("close out")  
  close(out)
}

在知道channel关闭后,将channel的值设为nil,这样子就相当于将这个select case子句停用了,因为nil的channel是永远阻塞的。

interface

interface并不是一个指针,它的底层实现由两部分组成,一个是类型,一个值,也就是类似于:(Type, Value)。只有当类型和值都是nil的时候,才等于nil。看看下面的代码:

func do() error {   // error(*doError, nil)
  var err *doError  
  return err  // nil of type *doError
}
func main() {
  err := do()
  fmt.Println(err == nil)
}

输出结果是false。do函数声明了一个*doErro的变量err,然后返回,返回值是error接口,但是这个时候的Type已经变成了:(*doError,nil),所以和nil肯定是不会相等的。所以我们在写函数的时候,不要声明具体的error变量,而是应该直接返回nil:

func do() error {  
  return nil
}

再来看看这个例子:

func do() *doError {  // nil of type *doError
  return nil
}
func wrapDo() error { // error (*doError, nil)
  return do()       // nil of type *doError
}
func main() {
  err := wrapDo()   // error  (*doError, nil)
  fmt.Println(err == nil) // false
}

这里最终的输出结果也是false。为什么呢?尽管wrapDo函数返回的是error类型,但是do返回的却是*doError类型,也就是变成了(*doError,nil),自然也就和nil不相等了。因此,不要返回具体的错误类型。遵从这两条建议,才可以放心地使用if x != nil。

以上为个人经验,希望能给大家一个参考,也希望大家多多支持三水点靠木。如有错误或未考虑完全的地方,望不吝赐教。

Golang 相关文章推荐
win10下go mod配置方式
Apr 25 Golang
golang 如何用反射reflect操作结构体
Apr 28 Golang
解决golang 关于全局变量的坑
May 06 Golang
Go 在 MongoDB 中常用查询与修改的操作
May 07 Golang
Go遍历struct,map,slice的实现
Jun 13 Golang
Go 语言中 20 个占位符的整理
Oct 16 Golang
Golang原生rpc(rpc服务端源码解读)
Apr 07 Golang
Golang map映射的用法
Apr 22 Golang
Golang 切片(Slice)实现增删改查
Apr 22 Golang
Golang 实现 WebSockets 之创建 WebSockets
Apr 24 Golang
Golang 入门 之url 包
May 04 Golang
在ubuntu下安装go开发环境的全过程
Aug 05 Golang
基于Go Int转string几种方式性能测试
Apr 28 #Golang
Go语言中break label与goto label的区别
golang 如何用反射reflect操作结构体
Apr 28 #Golang
golang 生成对应的数据表struct定义操作
Apr 28 #Golang
golang 如何通过反射创建新对象
Apr 28 #Golang
golang 实现两个结构体复制字段
Apr 28 #Golang
go结构体嵌套的切片数组操作
Apr 28 #Golang
You might like
上海永华YH-R296(华普R-96)12波段立体声收音机的分析和打理
2021/03/02 无线电
php输出xml必须header的解决方法
2014/10/17 PHP
用 Composer构建自己的 PHP 框架之构建路由
2014/10/30 PHP
php日期操作技巧小结
2016/06/25 PHP
php实现将HTML页面转换成word并且保存的方法
2016/10/14 PHP
一键生成各种尺寸Icon的php脚本(实例)
2017/02/08 PHP
使用户点击后退按钮使效三行代码
2007/07/07 Javascript
Knockoutjs快速入门(经典)
2012/12/24 Javascript
JQuery选择器绑定事件及修改内容的方法
2015/01/23 Javascript
第一次接触神奇的Bootstrap表单
2016/07/27 Javascript
canvas实现图像放大镜
2017/02/06 Javascript
Angular2中select用法之设置默认值与事件详解
2017/05/07 Javascript
vue.js国际化 vue-i18n插件的使用详解
2017/07/07 Javascript
jQuery+CSS实现的table表格行列转置功能示例
2018/01/08 jQuery
超轻量级的js时间库miment使用解析
2019/08/02 Javascript
vue+element搭建后台小总结 el-dropdown下拉功能
2020/04/10 Javascript
vue移动端模态框(可传参)的实现
2019/11/20 Javascript
有关vue 开发钉钉 H5 微应用 dd.ready() 不执行问题及快速解决方案
2020/05/09 Javascript
[52:05]EG vs OG 2019国际邀请赛小组赛 BO2 第二场 8.16
2019/08/18 DOTA
python实现简单的socket server实例
2015/04/29 Python
Python下的Softmax回归函数的实现方法(推荐)
2017/01/26 Python
利用python批量修改word文件名的方法示例
2017/10/17 Python
Python内建函数之raw_input()与input()代码解析
2017/10/26 Python
python PyTorch参数初始化和Finetune
2018/02/11 Python
python构建深度神经网络(续)
2018/03/10 Python
一个简单的python爬虫程序 爬取豆瓣热度Top100以内的电影信息
2018/04/17 Python
python实现一组典型数据格式转换
2018/12/15 Python
PyCharm设置每行最大长度限制的方法
2019/01/16 Python
外贸业务员求职信范文
2013/12/12 职场文书
报关专员求职信范文
2014/02/22 职场文书
晋江市人民政府党组群众路线教育实践活动整改方案
2014/10/25 职场文书
毕业纪念册寄语大全
2015/02/26 职场文书
2015年司法局工作总结
2015/05/22 职场文书
2016年度师德标兵先进事迹材料
2016/02/26 职场文书
python spilt()分隔字符串的实现示例
2021/05/21 Python
Redis基于Bitmap实现用户签到功能
2021/06/20 Redis