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
更多细节,请参考go语言设计与实现。https://draveness.me/golang/docs/part2-foundation/ch05-keyword/golang-for-range/