我们知道,在Java或是C++中,如果某个对象是空指针,则调用这个对象的方法会导致空指针错误;但是在Golang中我们却可以使用nil来调用方法;
源代码:
在Golang中使用nil调用方法
引出问题
最初遇到问题是因为,在某一次调试的时候发现:
当项目启动的时候,即使某个组件初始化失败,返回了nil,也是可以通过这个nil调用一些方法的;
例如下面的这个例子:
1 | package main |
尽管在初始化方法InitStudent中由于错误导致了初始化失败,返回了nil;
但是我们的程序还是可以正常的执行Say方法,并同时打印出错误:
1 | init student err |
直接一点,甚至我们可以直接在main中使用nil来调用Say方法:
1 | func main() { |
这个方法也是可以正常执行的!并不会报空指针错误!
但是如果我们调用SayName去访问student实例中的Name,则就会报空指针错误了:
1 | func main() { |
关于Nil
下面是Go对于nil的定义:
1 | // nil is a predeclared identifier representing the zero value for a |
很多人都误以为 golang中的
nil与Java、PHP等编程语言中的null一样;但是实际上Golang的niu复杂得多了;
可以看出,对于Go这种强类型的语言来说即使nil(准确来说是空值)也是有类型区别的!
nil的零值
按照Go语言规范,任何类型在未初始化时都对应一个零值:布尔类型是false,整型是0,字符串是””,而指针、函数、interface、slice、channel和map的零值都是nil。
PS:这里没有说结构体struct的零值为nil,因为struct的零值与其属性有关
nil没有默认的类型,尽管它是多个类型的零值,但是必须显式或隐式指定每个nil用法的明确类型;
例如:
1 | func main() { |
如果关注过golang关键字的同学就会发现,里面并没有
nil,也就是说nil并不是关键字;那么就可以在代码中定义
nil,那么nil就会被隐藏!例如下面的代码也是合法的(虽然这样做是强烈不推荐的!):
1
2
3
4
5
6
7
8 func main() {
// 123
nil := 123
fmt.Println(nil)
//cannot use nil (type int) as type map[string]int in assignment
//var _ map[string]int = nil
}
nil类型的地址和值大小
nil类型的所有值的内存布局始终相同,换一句话说就是:不同类型nil的内存地址是一样的!
如下:
1 | func main() { |
但是nil值的大小始终与其类型与nil值相同的non-nil值大小相同;因此, 表示不同零值的nil标识符可能具有不同的大小。
这里有一个例外:
interface{}类型的变量是真的空的,它是真的不会被分配内存空间!
例如,虽然下面的各个nil变量的地址是相同的,但是指针的大小是不同的:
1 | func main() { |
大小是编译器和体系结构所依赖的,以上打印结果为64位体系结构和正式 Go 编译器;
对于32位体系结构, 打印的大小将是一半。
对于正式 Go 编译器, 同一种类的不同类型的两个nil值的大小始终相同;
例如,两个不同的切片类型 ( []int和[]string) 的两个nil值始终相同;
nil值比较
① 不同类型的nil是不能比较的
由于Go是强类型的语言,所以这个结论是很容易得出的;
例如:
1 | func main() { |
在 Go 中,两个不同可比较类型的两个值只能在一个值可以隐式转换为另一种类型的情况下进行比较。
具体来说,有两个案例两个不同的值可以比较:
- 两个值之一的类型是另一个的基础类型;
- 两个值之一的类型实现了另一个值的类型 (必须是接口类型);
nil值比较也没有脱离上述规则,例如:
1 | func main() { |
② 同一类型的两个nil值可能无法比较
因为golang中,map、slice和函数类型是不可比较类型;
它们有一个别称为不可比拟的类型,所以比较它们的nil亦是非法的!
例如:
1 | func main() { |
但是不可比拟的类型的值是可以与纯nil进行比较的!
例如:
1 | func main() { |
③ 两nil值可能不相等
如果两个比较的nil值一个是接口值,另一个不是,假设它们是可比较的, 则比较结果总是 false!
原因在于:进行比较之前,接口值将转换为接口具体类型。转换后的接口值具有具体的动态类型,但其他接口值没有,这就是为什么比较结果总是错误的;
例如:
1 | func main() { |
结论
回到最开始我们的问题,nil也能够调用方法的原因其实很简单:
虽然值为nil,但是它的类型是*Student,而*Stundent类型绑定了Say函数,而且Say并没有访问对象的任何变量,而导致panic的SayName是因为访问了对象中的成员;
使用nil进行函数调用的情况有点类似于Java中的静态方法:在调用静态方法时,不需要创建实例;
最后,再给一个比较有意思的例子:通过强转将一个nil转换为其他类型的nil,然后使用nil调用其方法:
1 | package main |
其实也比较好理解,我们把一个空指针,强转成一个*Student类型,必然给它附上了对应的函数指针,它就跟纯nil不太一样了;
附录
源代码: