func main() {
	a := []int{1, 2, 3}
	var newArr []*int
	for _, v := range a {
		newArr = append(newArr, &v)
	}
	for _, v := range newArr {
		fmt.Println(*v)
	}
}
$ go run main.go
3
3
3

为什么不是1,2,3呢?原来go语言编译器会在编译阶段会将for range循环转成经典的for i 循环。代码如下:

ha := a
hv1 := 0
hn := len(ha)
v1 := hv1
v2 := nil
for ; hv1 < hn; hv1++ {
    tmp := ha[hv1]
    v1, v2 = hv1, tmp
    ...
}

同时遍历索引和元素的 range 循环时,Go 语言会额外创建一个新的 v2 变量存储切片中的元素,循环中使用的这个变量 v2 会在每一次迭代被重新赋值而覆盖,赋值时也会触发拷贝。

因为在循环中获取返回变量的地址都是新的变量v2的地址,完全相同。所以相当于给新数组中添加了三个相同的地址,而循环结束时,v2被赋值为3。所以这三个相同的地址都指向3。

func main() {
	a := []int{1, 2, 3}
	for _, v := range a{
		fmt.Println(&v)
	}
}
$ go run main.go
0xc00000ad60
0xc00000ad60
0xc00000ad60

因此当我们想要访问数组中元素所在的地址时,不应该直接获取 range 返回的变量地址 &v2,而应该使用 &a[index] 这种形式。

func main() {
	a := []int{1, 2, 3}
	var newArr []*int
	for i, _ := range a{
		newArr = append(newArr, &a[i])
	}
	for _, v := range newArr {
		fmt.Println(*v)
	}
}
$ go run main.go
1
2
3

或者使用下面这种方式

func main() {
	a := []int{1, 2, 3}
	var newArr []*int
	for _, v := range a{
		vv := v
		newArr = append(newArr, &vv)
	}
	for _, v := range newArr {
		fmt.Println(*v)
	}
}
$ go run main.go
1
2
3