原文链接:面试官:两个 nil 比拟后果是什么?
背景
哈喽,大家好,我是
asong
。前几天在一个交换群里看到了一道十分有意思的面试题,明天把它分享进去,咱们先来看一下这个道题:
fmt.Println(nil== nil)
两个 nil
的比拟后果是什么?
true
、false
、还是无奈编译?大家先思考着,文中揭晓答案。
写在开始:倡议你们看一下这个视频:https://www.youtube.com/watch… 须要翻墙哈,看完这个你对
nil
会有一个新的了解。
Go 中 nil
的定义
在 Go
官网文档中,对 nil
的定义如下:
// nil is a predeclared identifier representing the zero value for a // pointer, channel, func, interface, map, or slice type. var nil Type // Type must be a pointer, channel, func, interface, map, or slice type
nil
是一个事后申明的标识符,代表指针(pointer
)、通道(channel
)、函数(func
)、接口(interface
)、map
、切片(slice
)。也能够这么了解:指针、通道、函数、接口、map、切片的零值就是nil
,就像布尔类型的零值是false
、整型的零值是0
。
深刻了解nil
nil
基本不是关键字
咱们先来看一段代码:
func main() {
nil := "this is nil"
fmt.Println(nil)
}
// 运行后果
this is nil
那再改成这样呢?
func main() {
nil := "this is nil"
fmt.Println(nil)
var slice []string = nil
fmt.Println(slice)
}
// 运行后果
# command-line-arguments
./nil.go:10:6: cannot use nil (type string) as type []string in assignment
编译的时候间接报错了,因为这个 nil
是一个 string
类型,所以从这里确定 nil
在Go
语言中并不是关键字,咱们能够随便定义变量名为nil
(不过不倡议这么用)。
nil
的默认类型
个别预申明标识符都会有一个默认类型,比方 Go
语言中的 itoa
默认类型就是 int
,那么nil
的默认类型呢?咱们写个例子来看一下:
func main() {
const val1 = iota
fmt.Printf("%T\n",val1)
var val2 = nil
fmt.Printf("%T\n",val2)
}
// 运行后果
# command-line-arguments
./nil.go:10:6: use of untyped nil
在编译时就曾经报错,编译器通知咱们应用了无类型的nil
,所以咱们能够得出结论:
nil
是没有默认类型的,它的类型具备不确定性,咱们在应用它时必须要提供足够的信息可能让编译器推断nil
冀望的类型。
nil
的比拟
nil
的比拟咱们能够分为以下两种状况:
nil
标识符的比拟nil
的值比拟
咱们先来看一下 nil
标识符的比拟,也就是咱们结尾那一道面试题,先看一下运行后果呢:
# command-line-arguments
./nil.go:8:18: invalid operation: nil == nil (operator == not defined on nil)
通过编译后果咱们能够看出 ==
符号对于 nil
来说是一种未定义的操作,所以是不能够比拟两个 nil
的。
接着咱们来看一看 nil
的值比拟,因为 nil
是没有类型的,是在编译期依据上下文确定的,所以要比拟 nil
的值也就是比拟不同类型的 nil
,这又分为同一个类型的nil
值比拟和不同类型 nil
值的比拟,分这两种状况咱们别离来验证一下。
- 同一个类型的
nil
值比拟
func main() {
// 指针类型的 nil 比拟
fmt.Println((*int64)(nil) == (*int64)(nil))
// channel 类型的 nil 比拟
fmt.Println((chan int)(nil) == (chan int)(nil))
// func 类型的 nil 比拟
fmt.Println((func())(nil) == (func())(nil)) // func() 只能与 nil 进行比拟
// interface 类型的 nil 比拟
fmt.Println((interface{})(nil) == (interface{})(nil))
// map 类型的 nil 比拟
fmt.Println((map[string]int)(nil) == (map[string]int)(nil)) // map 只能与 nil 进行比拟
// slice 类型的 nil 比拟
fmt.Println(([]int)(nil) == ([]int)(nil)) // slice 只能与 nil 进行比拟
}
运行后果:
# command-line-arguments
./nil.go:13:28: invalid operation: (func())(nil) == (func())(nil) (func can only be compared to nil)
./nil.go:17:36: invalid operation: (map[string]int)(nil) == (map[string]int)(nil) (map can only be compared to nil)
./nil.go:19:27: invalid operation: ([]int)(nil) == ([]int)(nil) (slice can only be compared to nil)
从运行后果咱们能够看出,指针类型 nil
、channel
类型的 nil
、interface
类型能够互相比拟,而 func
类型、map
类型、slice
类型只能与 nil
标识符比拟,两个类型互相比拟是不非法的。
- 不同类型的
nil
值比拟
func main() {
var ptr *int64 = nil
var cha chan int64 = nil
var fun func() = nil
var inter interface{} = nil
var ma map[string]string = nil
var slice []int64 = nil
fmt.Println(ptr == cha)
fmt.Println(ptr == fun)
fmt.Println(ptr == inter)
fmt.Println(ptr == ma)
fmt.Println(ptr == slice)
fmt.Println(cha == fun)
fmt.Println(cha == inter)
fmt.Println(cha == ma)
fmt.Println(cha == slice)
fmt.Println(fun == inter)
fmt.Println(fun == ma)
fmt.Println(fun == slice)
fmt.Println(inter == ma)
fmt.Println(inter == slice)
fmt.Println(ma == slice)
}
运行后果:
# command-line-arguments
./nil.go:14:18: invalid operation: ptr == cha (mismatched types *int64 and chan int64)
./nil.go:15:18: invalid operation: ptr == fun (mismatched types *int64 and func())
./nil.go:17:18: invalid operation: ptr == ma (mismatched types *int64 and map[string]string)
./nil.go:18:18: invalid operation: ptr == slice (mismatched types *int64 and []int64)
./nil.go:20:18: invalid operation: cha == fun (mismatched types chan int64 and func())
./nil.go:22:18: invalid operation: cha == ma (mismatched types chan int64 and map[string]string)
./nil.go:23:18: invalid operation: cha == slice (mismatched types chan int64 and []int64)
./nil.go:25:18: invalid operation: fun == inter (operator == not defined on func)
./nil.go:26:18: invalid operation: fun == ma (mismatched types func() and map[string]string)
./nil.go:27:18: invalid operation: fun == slice (mismatched types func() and []int64)
./nil.go:27:18: too many errors
从运行后果咱们能够得出,只有指针类型和 channel 类型与接口类型能够比拟,其余类型的之间是不能够互相比拟的。为什么指针类型、channel 类型能够和接口类型进行比拟呢?
这个答案,先空着,因为我也没有想明确,不是说 / 任何类型都实现了 interface{}类型吗?这里没想明确,期待你们的解答。
nil
在不同类型中应用须要留神的问题
interface
与 nil
比拟要留神的一个点
咱们先来看一个例子:
func main() {err := Todo()
fmt.Println(err == nil)
}
type Err interface {
}
type err struct {
Code int64
Msg string
}
func Todo() Err {
var res *err
return res
}
// 运行后果
false
输入后果是 false
,在Todo
办法内咱们申明了一个变量 res
,这个变量是一个指针类型,零值是nil
,返回的是接口类型,按理说返回值接口类型也应是nil
才对,然而后果却不是这样。这是因为咱们疏忽了接口类型的一个概念,interface 不是单纯的值,而是分为类型和值。所以必须要类型和值同时都为 nil
的状况下,interface
的 nil
判断才会为 true
。
这是一个老手很容易呈现的问题,大家肯定要留神这个问题。
一个 nil
的map
读写数据是否会产生panic
对于这种问题,咱们间接写个例子测试一下就好:
func main() {var m map[string]string
fmt.Println(m["asoong"])
m["asong"] = "Golang 梦工厂"
}
// 运行后果
panic: assignment to entry in nil map
goroutine 1 [running]:
main.main()
go/src/asong.cloud/Golang_Dream/code_demo/slice_demo/nil.go:10 +0xed
依据运行后果咱们能够看出,一个 nil
的map
能够读数据,然而不能够写入数据,否则会产生 panic
,所以要应用map
肯定要应用 make
进行初始化。
敞开 nil
的channel
会引发panic
func main() {
var cha chan int
close(cha)
}
运行后果:
panic: close of nil channel
goroutine 1 [running]:
main.main()
/go/src/asong.cloud/Golang_Dream/code_demo/slice_demo/nil.go:5 +0x2a
依据运行后果咱们能够得出敞开一个 nil
的channel
会导致程序 panic
,在应用上咱们要留神这个问题,还有有一个须要留神的问题: 一个 nil
的channel
读写数据都会造成永远阻塞。
一个为 nil
的slice
应用注意事项
func main() {var slice []int64 = nil
fmt.Println(len(slice))
fmt.Println(cap(slice))
for range slice{ }
fmt.Println(slice[0])
}
// 运行后果
0
0
panic: runtime error: index out of range [0] with length 0
goroutine 1 [running]:
main.main()
/go/src/asong.cloud/Golang_Dream/code_demo/slice_demo/nil.go:14 +0xf2
依据这个例子,咱们能够得出如下论断:
一个为
nil
的索引,不能够进行索引,否则会引发panic
,其余操作是能够。
办法接收者为 nil
时是否会引发panic
func main() {
var m *man
fmt.Println(m.GetName())
}
type man struct {
}
func (m *man)GetName() string {return "asong"}
// 运行后果
asong
依据运行后果咱们能够看出,办法接收者为 nil
时,咱们依然能够拜访对应的办法,然而要留神办法内的写法,否则也会引发panic
。下面的代码改成这样:
func main() {
var m *man
fmt.Println(m.GetName())
}
type man struct {Name string}
func (m *man)GetName() string {return m.Name}
// 运行后果
panic: runtime error: invalid memory address or nil pointer dereference
[signal SIGSEGV: segmentation violation code=0x1 addr=0x0 pc=0x10a6ec3]
goroutine 1 [running]:
main.(*man).GetName(...)
go/src/asong.cloud/Golang_Dream/code_demo/slice_demo/nil.go:18
main.main()
go/src/asong.cloud/Golang_Dream/code_demo/slice_demo/nil.go:9 +0x23
这样就是间接引发panic
,所以为了程序健壮性咱们要做一次指针判空解决。
空指针是一个没有任何值的指针
func main() {var a = (*int64)(unsafe.Pointer(uintptr(0x0)))
fmt.Println(a == nil) //true
}
// 运行后果
true
这里咱们用了 0x0
做了一个小试验,正好证实了空指针就是一个没有指向任何值的指针。
总结
文章靠近序幕啦,咱们来揭晓一下文章开始的答案,用文中 nil
比拟的知识点正好能够解答这个问题,nil
标识符是没有类型的,所以 ==
对于 nil
来说是一种未定义的操作,不能够进行比拟,而这个在 python
中是能够比拟的,在 python
中,两个 None
值永远相等,不要弄混了敌人们。
最初倡议你们看一下这个视频:https://www.youtube.com/watch… 须要翻墙哈,看完这个你对 nil
会有一个新的了解。
好啦,这篇文章就到这里啦,素质三连(分享、点赞、在看)都是笔者继续创作更多优质内容的能源!
创立了一个 Golang 学习交换群,欢送各位大佬们踊跃入群,咱们一起学习交换。入群形式:加我 vx 拉你入群,或者公众号获取入群二维码
结尾给大家发一个小福利吧,最近我在看 [微服务架构设计模式] 这一本书,讲的很好,本人也收集了一本 PDF,有须要的小伙能够到自行下载。获取形式:关注公众号:[Golang 梦工厂],后盾回复:[微服务],即可获取。
我翻译了一份 GIN 中文文档,会定期进行保护,有须要的小伙伴后盾回复 [gin] 即可下载。
翻译了一份 Machinery 中文文档,会定期进行保护,有须要的小伙伴们后盾回复 [machinery] 即可获取。
我是 asong,一名普普通通的程序猿,让咱们一起缓缓变强吧。欢送各位的关注,咱们下期见~~~
举荐往期文章:
- Go 看源码必会常识之 unsafe 包
- 源码分析 panic 与 recover,看不懂你打我好了!
- 详解并发编程根底之原子操作(atomic 包)
- 详解 defer 实现机制
- 空构造体引发的大型打脸现场
- Leaf—Segment 分布式 ID 生成零碎(Golang 实现版本)
- 十张动图带你搞懂排序算法(附 go 实现代码)
- go 参数传递类型
- 手把手教姐姐写音讯队列
- 常见面试题之缓存雪崩、缓存穿透、缓存击穿
- 详解 Context 包,看这一篇就够了!!!
- 面试官:你能用 Go 写段代码判断以后零碎的存储形式吗?
- 如何平滑切换线上 Elasticsearch 索引