go 語言 nil 避坑指南

引言

筆試題遇到 var x string = nil ，問這個定義是否正確？這裏給出答案：cannot use nil as string value in variable declaration。

也就是說，string類型和nil八竿子打不着，要想判斷字符串是否爲空，可以使用str == ""或者len(str) == 0。

接下來，順便總結一下 nil 的使用

nil

nil 是 go 語言中預先定義的標識符，不是關鍵字或保留字。我們可以直接使用nil，而不用聲明它。而且我們可以定義一個名稱爲 nil 的變量，比如下面這樣：

var nil = errors.New("nil")
fmt.Printf("%#v\n", nil)//&errors.errorString{s:"nil"}

雖然上面的聲明語句可以通過編譯，但是並不提倡這麼做。

默認值 nil (重點記住)

在 go 語言中：

布爾類型的零值（初始值）爲 false
數值類型的零值爲 0
字符串類型的零值爲空字符串""

除此之外其它類型的默認值爲nil，nil可以代表下面這些類型的零值：

指針類型（包括unsafe中的）
map類型
slice類型
function類型
channel類型
interface類型

nil 沒有默認類型

預先定義的nil是唯一的一個 go 語言中沒有默認類型的非類型值。對於編譯器來說，必須從上下文中獲取充足的信息才能推斷出nil的類型。

當你把nil賦值給一個channel類型變量，此時爲channel類型。當你把nil賦值給map類型變量，此時爲map類型。

不同類型的 nil 值佔用的內存大小可能是不一樣的

一個類型的所有的值的內存佈局都是一樣的。nil 也不例外。nil 的大小一致與同類型中的非 nil 類型的值的大小一樣大。但是不同類型的 nil 值的大小可能不同.

package main

import (
   "fmt"
   "unsafe"
)

func main() {
   var p *struct{} = nil
   fmt.Println(unsafe.Sizeof(p)) // 8

   var s []int = nil
   fmt.Println(unsafe.Sizeof(s)) // 24

   var m map[int]bool = nil
   fmt.Println(unsafe.Sizeof(m)) // 8

   var c chan string = nil
   fmt.Println(unsafe.Sizeof(c)) // 8

   var f func() = nil
   fmt.Println(unsafe.Sizeof(f)) // 8

   var i interface{} = nil
   fmt.Println(unsafe.Sizeof(i)) // 16
}

不同類型 nil 的指針是一樣的

//不同類型的nil指針是一樣的
package main

import (
   "fmt"
)

func main() {
   var arr []int
   var num *int
   fmt.Printf("%p\n", arr)    //0x0
   fmt.Printf("%p", num)  //0x0
}

通過運行結果可以看出 arr 和 num 的指針都是 0x0。

不同類型的 nil 是不能比較的

兩個相同類型的 nil 值也無法比較

在 Go 語言中 map、slice 和 function 類型的 nil 值不能比較，比較兩個無法比較類型的值是非法的，下面的語句無法編譯。

但可以將不可比較類型的空值直接與 nil 標識符進行比較

//兩個相同類型的 nil 值也無法比較
package main

import (
   "fmt"
)

func main() {
   var s1 []int
   var s2 []int
   fmt.Printf(s1 == s2) //invalid operation: s1 == s2 (slice can only be compared to nil)

   var s3 = []int{1}
   var s4 = []int{1}
   var s5 []int
   copy(s5, s3)
   fmt.Printf(s3 == s4) //invalid operation: s3 == s4 (slice can only be compared to nil)
   fmt.Printf(s3 == s5) //invalid operation: s3 == s5 (slice can only be compared to nil)
}

對 nil channel，map，slice 和 array 指針進行 range 操作也是合法的。

對 nil map 和 slice 的循環次數將是 0
對 nil 數組的循環次數將取決於它的數組類型定義的長度
對 nil channel 的 range 操作將永遠阻塞當前 goroutine

例如，下面的代碼將打印 0,1,2,3 和 4，然後永遠阻塞。hello, world 和 bye 將永遠不會被打印

//對nil channel，map，slice和array 指針進行range操作也是合法的
package main

import "fmt"

func main() {
   for range []int(nil) { //循環次數將是0
      fmt.Println("Hello")
   }

   for range map[string]string(nil) { //循環次數將是0
      fmt.Println("world")
   }

   for i := range (*[5]int)(nil) {
      fmt.Println(i) // 0 1 2 3 4
   }

   for range chan bool(nil) { // block here
      fmt.Println("Bye") //fatal error: all goroutines are asleep - deadlock!

   }
}

如果類型 T 的零值是用預先定義的 nil 來表示的話，*new(T) 產生一個 nil T 類型的值

//如果類型T的零值是用預先定義的nil來表示的話，*new(T)產生一個nil T類型的值
package main

import "fmt"

func main() {
   fmt.Println(*new(*int) == nil)         // true
   fmt.Println(*new([]int) == nil)        // true
   fmt.Println(*new(map[int]bool) == nil) // true
   fmt.Println(*new(chan string) == nil)  // true
   fmt.Println(*new(func()) == nil)       // true
   fmt.Println(*new(interface{}) == nil)  // true
}

new() 返回是一個指向新分配內存的地址，* 可以對地址取值。

轉自：

https://juejin.cn/post/7138437284155621413

本文由 Readfog 進行 AMP 轉碼，版權歸原作者所有。
來源：https://mp.weixin.qq.com/s/95LfliKo-KuY0I1wVszD6A

引言

nil