go語言 nil一些注意的地方

 

nil

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

var nil = errors.New("my god")

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

 

默認值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 的指針是一樣的

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

運行結果如下所示：
PS D:\code> go run .\main.go
0x0
0x0

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

 

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

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

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

package main
import (
"fmt"
)
func main() {
var s1 []int
var s2 []int
fmt.Printf(s1 == s2)
}

運行結果如下所示：
PS D:\code> go run .\main.go
# command-line-arguments
.\main.go:10:19: invalid operation: s1 == s2 (slice can only be compared to nil)
但可以將不可比較類型的空值直接與 nil 標識符進行比較，如下所示：

package main
import (
"fmt"
)
func main() {
var s1 []int
fmt.Println(s1 == nil)
}

運行結果如下所示：
PS D:\code> go run .\main.go
true

 

 

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

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

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

for range []int(nil) {
fmt.Println("Hello")
}

for range map[string]string(nil) {
fmt.Println("world")
}

for i := range (*[5]int)(nil) {
fmt.Println(i)
}

for range chan bool(nil) { // block here
fmt.Println("Bye")
}

 

　　

如果類型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()返回是一個指向新分配內存的地址，*可以對地址取值。