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类型
error类型
nil没有默认类型
预先定义的nil是唯一的一个go语言中没有默认类型的非类型值。对于编译器来说, 必须从上下文中获取充足的信息才能推断出nil的类型。
当你把nil赋值给一个channel类型变量, 此时为channel类型。
当你把nil赋值给map类型变量, 此时为map类型。
不同类型的nil值占用的内存大小可能是不一样的
一个类型的所有的值的内存布局都是一样的, nil也不例外。nil的大小一致与同类型中的非nil类型的值的大小一样大。
但是不同类型的nil值的大小可能不同.
package mainimport ( "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 mainimport ("fmt")func main() { var arr []int var num *int fmt.Printf("%p\n", arr) fmt.Printf("%p", num)}
> # go run main.go
0x0
0x0
通过运行结果可以看出 arr 和 num 的指针都是 0x0。
不同类型的 nil 是不能比较的
两个相同类型的 nil 值也可能无法比较
在Go语言中 map、slice 和 function 类型的 nil 值不能比较, 比较两个无法比较类型的值是非法的, 下面的语句无法编译。
package mainimport ("fmt")func main() { var s1 []int var s2 []int fmt.Printf(s1 == s2)}
> # go run demo45.go
# command-line-arguments
./main.go.go:10:16: invalid operation: s1 == s2 (slice can only be compared to nil)
但可以将不可比较类型的空值直接与 nil 标识符进行比较, 如下所示:
package mainimport ("fmt")func main() { var s1 []int fmt.Println(s1 == nil)}
运行结果如下所示:
> # go run main.go
true
复合数据类型为nil时, 对slice、map、 array、channel进行range操作也是合法的。
对 slice 和 map 循环次数将是0
对数组的循环次数将取决于它的数组类型定义的长度
对channel的range操作将永远阻塞当前goroutine
例如, 下面的代码将打印0,1,2,3和4,然后永远阻塞。hello, world和bye将永远不会被打印
package mainimport ("fmt")func main() { for range []int(nil) { fmt.Println("Hello") // 不会打印 } for range map[string]string(nil) { fmt.Println("world") // 不会打印 } var list [5]int for i := range list { fmt.Println(i) // 打印 0 1 2 3 4 } for i := range (*[5]int)(nil) { fmt.Println(i) // 打印 0 1 2 3 4 } for range chan bool(nil) { // 阻塞到这里 fmt.Println("Bye") // fatal error: all goroutines are asleep - deadlock! }}
如果类型T的零值是用预先定义的nil来表示的话, *new(T)产生一个nil T类型的值
package mainimport "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}