这个章节将会简单讲Go 的指针数组和数组指针。

我相信学习Go的同学们,应该都是接触过别的语言吧,Go应该是大部分同学的第二门甚至第好几门的语言吧,所以大家应该都有一定的语言基础了,言归正传。

先说概念:

指针数组就是一个数组,这个数组的元素是指针(C语言也是这样)

数组指针就是一个指针,这个指针指向一个数组(C语言也是这样)

好了,概念讲完了非常简单,直接上代码

一、指针数组
func My_Print(p [3]*int) {
	fmt.Println(p)
	for _, val := range p {
		fmt.Printf("%d ", *val)
	}
	fmt.Println()
}

func F_1() {
	a1, a2, a3 := 77, 88, 99
	p1 := [3]*int{&a1, &a2, &a3}
	p2 := F_2(p1)
	fmt.Printf("After modification")
	My_Print(p2)
}

func F_2(p [3]*int) [3]*int {
	fmt.Printf("Before modification")
	My_Print(p)

	for i := 0; i < 3; i++ { //我们改变这个指针数组里面的指针的内容
		*(p[i]) = i
	}
	return p
}

func main() {
	F_1()
}

我们直接讲代码,这里有三个函数My_Print(p [3]*int)、F_1()、F_2(p [3]*int) [3]*int:

My_Print(p [3]*int)   形参是一个指针数组 ,这就是一个打印这个指针数组里面的内容,数组里面的内容是指针(指向一个地址),地址里面是一个整形变量,这个函数就是把它们都打印出来。

F_1()    这个函数就是顶一个指针数组并且初始化,指针数组里面放指针所以我们给他初始化三个地址,并且把这个指针数组当做参数传给F_2()

F_2()   这个函数会先调用My_Print打印形参内容,在修改这个形参。

 运行结果如下:

Before modification[0xc000134000 0xc000134008 0xc000134010]
77 88 99 
After modification[0xc000134000 0xc000134008 0xc000134010]
0 1 2 

 可以看出修改前和修改后 ,指针数组里面的指针(这个地址)并没有变,但是这个指针里的内容已经被改变了。

二、数组指针

直接上代码:

func main() {
	//F_1()
	F_3()
}

func F_3() {
	var p *[3]int
	arr := [3]int{1, 2, 3}
	p = &arr
	fmt.Printf("p = %p,arr = %p\n", p, &arr)

	F_4(p)
	fmt.Println("F_3():", p)
}

func F_4(p *[3]int) {
	// 这里也算是Go的一个语言特性吧,编译器可以认为p是arr的地址,也可以认为p是arr的引用
	fmt.Println("F_4():", p)
	p[0] = 11
	p[1] = 22
	p[2] = 33
	fmt.Println("F_4():", p)
	(*p)[0] = 99
	(*p)[1] = 88
	(*p)[2] = 77
	fmt.Println("F_4():", p)
}

运行结果如下:

p = 0xc000122000,arr = 0xc000122000
F_4(): &[1 2 3]
F_4(): &[11 22 33]
F_4(): &[99 88 77]
F_3(): &[99 88 77]

这个数组指针,倒是没啥难懂的,但是这个可能会让大家疑惑的应该就是那个F_4()函数里面那样写的问题了。这应该是和Go的GC机制有关。我们在go学习中提过,一个问题就是一个指针指向一个局部变量然后返回这个指针,可是在外部这个指针依旧可以访问到这个变量的内容。 

在Go中一个变量如果在他作用域之外还有存在它的引用时,他是不会被内存回收走的,它会存在一个引用它的计数值,但又多一个它的引用,那它的计数值加一,反之减一。直到它的引用为零时,GC就会回收这份空间。

个人理解:所以这个形参p也是跟这个GC机制有关,写法上它就是arr的地址,但是编译器也可以认为他是arr的引用。

最后分享

不管是学Go或者学C的同学,可能都有点分不清数组指针和指针数组,这里是我自己分辨他们两的方法:

概念上,正如上面所说的:

指针数组就是一个数组,这个数组的元素是指针(C语言也是这样)

数组指针就是一个指针,这个指针指向一个数组(C语言也是这样)

写法上:

[] 在 * 前面,那他就是一个数组,所以是指针数组,反之数组指针。(在Go中我是这里记的)

(*a)[], * 被括号起来,说明要a先跟 * 结合,所以这个一个指针,也就是数组指针,反之指针数组(C语言中我是这么记的)