先看一段代码
先放一段代码,人工运行一下,看看自己能做对几题?
package main
import "fmt"
func main() {
var a int = 1
var b *int = &a
var c **int = &b
var x int = *b
fmt.Println("a = ",a)
fmt.Println("&a = ",&a)
fmt.Println("*&a = ",*&a)
fmt.Println("b = ",b)
fmt.Println("&b = ",&b)
fmt.Println("*&b = ",*&b)
fmt.Println("*b = ",*b)
fmt.Println("c = ",c)
fmt.Println("*c = ",*c)
fmt.Println("&c = ",&c)
fmt.Println("*&c = ",*&c)
fmt.Println("**c = ",**c)
fmt.Println("***&*&*&*&c = ",***&*&*&*&*&c)
fmt.Println("x = ",x)
}
解释
理论
&
符号的意思是对变量取地址,如:变量a
的地址是&a
*
符号的意思是对指针取值,如:*&a
,就是a
变量所在地址的值,当然也就是a
的值了
简单的解释
*
和 &
可以互相抵消,同时注意,*&
可以抵消掉,但&*
是不可以抵消的 a
和*&a
是一样的,都是a的值,值为1 (因为*&
互相抵消掉了)
同理,a
和*&*&*&*&a
是一样的,都是1 (因为4个*&
互相抵消掉了)
展开
因为有 var b *int = &a
所以 a
和*&a
和*b
是一样的,都是a的值,值为1 (把b
当做&a
看)
再次展开
因为有 var c **int = &b
所以 **c
和**&b
是一样的,把&约去后
会发现**c
和*b
是一样的 (从这里也不难看出,*c
和b
也是一样的)
又因为上面得到的*&a
和*b
是一样的
所以 **c
和*&a
是一样的,再次把&约去后 **c
和a
是一样的,都是1
不信你试试?
公布结果
运行的结果内的地址值(0xc200开头的)可能会因不同机器运行而不同,你懂的
$ go run main.go a = 1 &a = 0xc200000018 *&a = 1 b = 0xc200000018 &b = 0xc200000020 *&b = 0xc200000018 *b = 1 c = 0xc200000020 *c = 0xc200000018 &c = 0xc200000028 *&c = 0xc200000020 **c = 1 ***&*&*&*&c = 1 x = 1
两个符号抵消顺序
*&
可以在任何时间抵消掉,但&*
不可以被抵消的,因为顺序不对
fmt.Println("*&a\t=\t",*&a) //成功抵消掉,打印出1,即a的值 fmt.Println("&*a\t=\t",&*a) //无法抵消,会报错