一般情况下我们对于数组、slice、map和channel等类型可能会用到for…range进行遍历。写法通常如下。
buf := []int{1,2,3}
for k, v := range buf {
fmt.Println(k,v)
}
我之前一度认为在每次循环遍历的时候都会在栈上创建k,v两个变量。以至于在代码中我更偏向于用for循环去实现一个数组的遍历。但其实并不是这样,k、v两个变量只创建一次。可以通过下面一段代码来进行验证。
buf := []int{1,2,3}
for k, v := range buf {
fmt.Println(&k, &v)
}
输出为
0xc042064080 0xc042064088
0xc042064080 0xc042064088
0xc042064080 0xc042064088
k和v两个变量的地址从始至终是没有改变的。
这里还可能遇到一个经常出现的面试问题,如下。
// 请问下面这段代码的输出
m := make(map[int]*int)
buf := []int{1,2,3}
for k, v := range buf {
m[k] = &v
}
for k, v := range m {
fmt.Println(k, *v)
}
如果理解了上面指针的概念就可以得出,所有的value存的都是同一个指针,而这个指针在遍历slice时最后被设置为3,所以输出应该为
0 3
1 3
2 3
当然,这个输出可能是乱序的,因为map是一个hash存储,并不是单纯按照index的大小来进行排序的。