![e02b4948484ff6e34a37bcab997b6a00.png](https://i-blog.csdnimg.cn/blog_migrate/6db60f77eb99488eba75a8baafed4495.jpeg)
下面的代码是死循环么?
func main() { v := []int{1, 2, 3} for i := range v { v = append(v, i) }}
上面的代码先初始化了一个内容为1、2、3的slice,然后遍历这个slice,然后给这个切片追加元素。随着遍历的进行,数组v也在逐渐增大,那么这个for循环是一个死循环么?
答案是否。只会遍历三次,v的结果是[0, 1, 2]。并不是死循环,原因就在于for range实现的时候用到了语法糖。
语法糖
语法糖(Syntactic sugar),也译为糖衣语法,是由英国计算机科学家彼得·蘭丁发明的一个术语,指计算机语言中添加的某种语法,这种语法对语言的功能没有影响,但是更方便程序员使用。语法糖让程序更加简洁,有更高的可读性。
对于切片的for range,它的底层代码就是:
// for_temp := range// len_temp := len(for_temp)// for index_temp = 0; index_temp
可以看到,在遍历之前就获取的切片的长度len_temp := len(for_temp),遍历的次数不会随着切片的变化而变化,上面的代码自然不会是死循环了。
下面的代码有什么问题么?
slice := []int{0, 1, 2, 3}myMap := make(map[int]*int)for index, value := range slice { fmt.Println(&index, &value) myMap[index] = &value}fmt.Println("=====new map=====")for k, v := range myMap { fmt.Printf("%d => %d", k, *v)}
这也是实际编码中有可能会遇到的问题,循环切片,index和value地址一开始分配好后,后面还是那个地址,把切片值的地址保存到myMap中,这样的操作结果是:
== ===new map=====0 => 31 => 32 => 33 => 3
结果完全一样,都是最后一次遍历的值。通过上面的底层代码看下,遍历后的值赋给了value,而在我们的例子中,会把value的地址保存到myMap的值中。这里的value是个「全局变量」,所以赋完值之后myMap里面所有的值都是value,所以结构都是一样的而且是最后一个值。
注意,这里必须是保存指针才会有问题,如果直接保存的是value,因为 Golang 是值拷贝,所以值会重新复制再保存,这种情况下结果就会是正确的了。
切片 For Range 原理
总结一下,通过For Range遍历切片, 首先,计算遍历次数(切片长度);每次遍历,都会把当前遍历到的值存放到一个全局变量index中。
其它语法糖
另外,For Range 不光支持切片。其它的语法糖底层代码。
map
// Lower a for range over a map.// The loop we generate:// var hiter map_iteration_struct// for mapiterinit(type, range, &hiter); hiter.key != nil; mapiternext(&hiter) {// index_temp = *hiter.key// value_temp = *hiter.val// index = index_temp// value = value_temp// original body// }
channel
// Lower a for range over a channel.// The loop we generate:// for {// index_temp, ok_temp =
数组
// Lower a for range over an array.// The loop we generate:// len_temp := len(range)// range_temp := range// for index_temp = 0; index_temp
字符串
// Lower a for range over a string.// The loop we generate:// len_temp := len(range)// var next_index_temp int// for index_temp = 0; index_temp
作者:code
链接:https://segmentfault.com/a/1190000023477520
来源:SegmentFault 思否
著作权归作者所有。商业转载请联系作者获得授权,非商业转载请注明出处。
完整底层代码:https://github.com/golang/gofrontend/blob/e387439bfd24d5e142874b8e68e7039f74c744d7/go/statements.cc#L5384