nil是什么

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

  1. if err != nil {
  2. // do something....
  3. }

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

  1. bool -> false
  2. numbers -> 0
  3. string -> ""
  4.  
  5. pointers -> nil
  6. slices -> nil
  7. maps -> nil
  8. channels -> nil
  9. functions -> nil
  10. interfaces -> nil

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

  1. type Person struct {
  2. AgeYears int
  3. Name string
  4. Friends []Person
  5. }
  6.  
  7. var p Person // Person{0, "", nil}

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

  1. type Type int
  2. var nil Type

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

  1. var nil = errors.New("hi")

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

nil有什么用

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

pointers

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

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

  1. type tree struct {
  2. v int
  3. l *tree
  4. r *tree
  5. }
  6.  
  7. // first solution
  8. func (t *tree) Sum() int {
  9. sum := t.v
  10. if t.l != nil {
  11. sum += t.l.Sum()
  12. }
  13. if t.r != nil {
  14. sum += t.r.Sum()
  15. }
  16. return sum
  17. }

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

  1. if v != nil {
  2. v.m()
  3. }

另一个是当tnil的时候会panic:

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

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

  1. type person struct {}
  2. func sayHi(p *person) { fmt.Println("hi") }
  3. func (p *person) sayHi() { fmt.Println("hi") }
  4. var p *person
  5. p.sayHi() // hi

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

  1. func(t *tree) Sum() int {
  2. if t == nil {
  3. return 0
  4. }
  5. return t.v + t.l.Sum() + t.r.Sum()
  6. }

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

  1. func(t *tree) String() string {
  2. if t == nil {
  3. return ""
  4. }
  5. return fmt.Sprint(t.l, t.v, t.r)
  6. }
  7.  
  8. // nil receivers are useful: Find
  9. func (t *tree) Find(v int) bool {
  10. if t == nil {
  11. return false
  12. }
  13. return t.v == v || t.l.Find(v) || t.r.Find(v)
  14. }

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

slices

  1. // nil slices
  2. var s []slice
  3. len(s) // 0
  4. cap(s) // 0
  5. for range s // iterates zero times
  6. s[i] // panic: index out of range

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

slice

当有元素的时候:

slice

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

map

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

  1. // nil maps
  2. var m map[t]u
  3. len(m) // 0
  4. for range m // iterates zero times
  5. v, ok := m[i] // zero(u), false
  6. m[i] = x // panic: assignment to entry in nil map

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

  1. func NewGet(url string, headers map[string]string) (*http.Request, error) {
  2. req, err := http.NewRequest(http.MethodGet, url, nil)
  3. if err != nil {
  4. return nil, err
  5. }
  6.  
  7. for k, v := range headers {
  8. req.Header.Set(k, v)
  9. }
  10. return req, nil
  11. }

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

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

或者这样传:

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

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

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

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

channel

  1. // nil channels
  2. var c chan t
  3. <- c // blocks forever
  4. c <- x // blocks forever
  5. close(c) // panic: close of nil channel

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

  1. func merge(out chan<- int, a, b <-chan int) {
  2. for {
  3. select {
  4. case v := <-a:
  5. out <- v
  6. case v := <- b:
  7. out <- v
  8. }
  9. }
  10. }

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

  1. func merge(out chan<- int, a, b <-chan int) {
  2. for a != nil || b != nil {
  3. select {
  4. case v, ok := <-a:
  5. if !ok {
  6. a = nil
  7. fmt.Println("a is nil")
  8. continue
  9. }
  10. out <- v
  11. case v, ok := <-b:
  12. if !ok {
  13. b = nil
  14. fmt.Println("b is nil")
  15. continue
  16. }
  17. out <- v
  18. }
  19. }
  20. fmt.Println("close out")
  21. close(out)
  22. }

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

interface

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

  1. func do() error { // error(*doError, nil)
  2. var err *doError
  3. return err // nil of type *doError
  4. }
  5.  
  6. func main() {
  7. err := do()
  8. fmt.Println(err == nil)
  9. }

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

  1. func do() error {
  2. return nil
  3. }

再来看看这个例子:

  1. func do() *doError { // nil of type *doError
  2. return nil
  3. }
  4.  
  5. func wrapDo() error { // error (*doError, nil)
  6. return do() // nil of type *doError
  7. }
  8.  
  9. func main() {
  10. err := wrapDo() // error (*doError, nil)
  11. fmt.Println(err == nil) // false
  12. }

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

参考:

http://www.jianshu.com/p/dd80f6be7969

Go 中 error类型的 nil 值 和 nil

go nil_error

[Go] 理解 golang 中的 nil的更多相关文章

  1. 如何理解golang中的nil

    nil的奇怪行为 刚接触golang时,发现nil在不同的上下文,行为表现是不同的,并且和其他语言中的表现,也不大相同 实例1:输入true, true, false,不符合传递性 func main ...

  2. 理解golang中的channel

    channel是goroutine之间的通信机制.可以类比线程间的通信,线程间的通信有多种方式,比如线程上下文.共享内存.IPC通信.socket实现不同机器间的通信. channel用起来很简单,绑 ...

  3. golang中的nil接收器

    索引:https://waterflow.link/articles/1666534616841 我们先看一个简单的例子,我们自定义一个错误,用来把多个错误放在一起输出: type CustomErr ...

  4. 理解golang中的function types

    先找个例子来看一下: package main import "fmt" // Greeting function types type Greeting func(name st ...

  5. 【荐】详解 golang 中的 interface 和 nil

    golang 的 nil 在概念上和其它语言的 null.None.nil.NULL一样,都指代零值或空值.nil 是预先说明的标识符,也即通常意义上的关键字.在 golang 中,nil 只能赋值给 ...

  6. go---weichart个人对Golang中并发理解

    个人觉得goroutine是Go并行设计的核心,goroutine是协程,但比线程占用更少.golang对并发的处理采用了协程的技术.golang的goroutine就是协程的实现. 十几个gorou ...

  7. Golang中的坑二

    Golang中的坑二 for ...range 最近两周用Golang做项目,编写web服务,两周时间写了大概五千行代码(业务代码加单元测试用例代码).用Go的感觉很爽,编码效率高,运行效率也不错,用 ...

  8. golang中Context的使用场景

    golang中Context的使用场景 context在Go1.7之后就进入标准库中了.它主要的用处如果用一句话来说,是在于控制goroutine的生命周期.当一个计算任务被goroutine承接了之 ...

  9. 理解Golang哈希表Map的元素

    目录 概述 哈希函数 冲突解决 初始化 结构体 字面量 运行时 操作 访问 写入 扩容 删除 总结 在上一节中我们介绍了 数组和切片的实现原理,这一节会介绍 Golang 中的另一个集合元素 - 哈希 ...

随机推荐

  1. Android学习笔记————利用JDBC连接服务器数据库

    /******************************************************************************************** * auth ...

  2. OCM_第十四天课程:Section6 —》数据库性能调优_各类索引 /调优工具使用/SQL 优化建议

    注:本文为原著(其内容来自 腾科教育培训课堂).阅读本文注意事项如下: 1:所有文章的转载请标注本文出处. 2:本文非本人不得用于商业用途.违者将承当相应法律责任. 3:该系列文章目录列表: 一:&l ...

  3. pytest十三:配置文件 pytest.ini

    pytest 配置文件可以改变 pytest 的运行方式,它是一个固定的文件 pytest.ini 文件,读取配置信息,按指定的方式去运行. ini 配置文件pytest 里面有些文件是非 test ...

  4. Zookeeper简介(一)

    使用Zookeeper已经有几年时间了,零零散散的积累了一些经验,但从未想过能写出一些列的文章分享出来.从今天起,计划持续更新关于Zookeeper相关的文章,从基本的搭建使用.原理分析.典型场景分析 ...

  5. Django项目部署在Linux下以进程方式启动

    Django项目部署在Linux下以进程方式启动 这是一篇关于如何在linux下,以后台进程的方式运行服务,命令改改基本上就通用了. 开发完Django项目后,需要把项目部署到linux环境下.当然, ...

  6. vue2.0组件传值

    props down   emit up 嘿嘿    如果是第一次接触vue2.0组件传值的肯定很疑惑,这是什么意思(大神总结的,我也就是拿来用用) “down”—>指的是下的意思,即父组件向子 ...

  7. Codeforces 247D Mike and Fish

    Mike and Fish 我们可以把这个模型转换一下就变成有两类点,一类是X轴, 一类是Y轴, 每个点相当于对应的点之间建一条边, 如果这条边变红两点同时+1, 变蓝两点同时-1. 我们能发现这个图 ...

  8. MySQL存储过程整理

    MySQL存储过程 2018-08-15  23:00:06 1.存储过程介绍 (1) 定义:存储过程是存储在数据库目录中的一段声明性SQL语句. 触发器,其他存储过程以及java,python,ph ...

  9. 020 SpringMVC返回Json

    一:处理Json 1.添加jar包 添加json需要的包 2.后端返回json对用的对象或者集合 使用ResponseBody标签 package com.spring.it.json; import ...

  10. C++语言实现-拓扑排序

    1.拓扑排序的概念 对一个有向无环图(Directed Acyclic Graph简称DAG)G进行拓扑排序,是将G中所有顶点排成一个线性序列,使得图中任意一对顶点u和v,若边(u,v)∈E(G),则 ...