Go for-range 的 value值地址每次都一样的原因解析
作者:AlwaysBeta 发布时间:2023-09-23 12:59:20
循环语句是一种常用的控制结构,在 Go 语言中,除了 for
关键字以外,还有一个 range
关键字,可以使用 for-range
循环迭代数组、切片、字符串、map 和 channel 这些数据类型。
但是在使用 for-range
循环迭代数组和切片的时候,是很容易出错的,甚至很多老司机一不小心都会在这里翻车。
具体是怎么翻的呢?我们接着看。
现象
先来看两段很有意思的代码:
无限循环
如果我们在遍历数组的同时向数组中添加元素,能否得到一个永远都不会停止的循环呢?
比如下面这段代码:
func main() {
arr := []int{1, 2, 3}
for _, v := range arr {
arr = append(arr, v)
}
fmt.Println(arr)
}
程序输出:
$ go run main.go
1 2 3 1 2 3
上述代码的输出意味着循环只遍历了原始切片中的三个元素,我们在遍历切片时追加的元素并没有增加循环的执行次数,所以循环最终还是停了下来。
相同地址
第二个例子是使用 Go 语言经常会犯的一个错误。
当我们在遍历一个数组时,如果获取 range
返回变量的地址并保存到另一个数组或者哈希时,会遇到令人困惑的现象:
func main() {
arr := []int{1, 2, 3}
newArr := []*int{}
for _, v := range arr {
newArr = append(newArr, &v)
}
for _, v := range newArr {
fmt.Println(*v)
}
}
程序输出:
$ go run main.go
3 3 3
上述代码并没有输出 1 2 3
,而是输出 3 3 3
。
正确的做法应该是使用 &arr[i]
替代 &v
,像这种编程中的细节是很容易出错的。
原因
具体原因也并不复杂,一句话就能解释。
对于数组、切片或字符串,每次迭代,for-range
语句都会将原始值的副本传递给迭代变量,而非原始值本身。
口说无凭,具体是不是这样,还得靠源码说话。
Go 编译器会将 for-range
语句转换成类似 C 语言的三段式循环结构,就像这样:
// Arrange to do a loop appropriate for the type. We will produce
// for INIT ; COND ; POST {
// ITER_INIT
// INDEX = INDEX_TEMP
// VALUE = VALUE_TEMP // If there is a value
// original statements
// }
迭代数组时,是这样:
// The loop we generate:
// len_temp := len(range)
// range_temp := range
// for index_temp = 0; index_temp < len_temp; index_temp++ {
// value_temp = range_temp[index_temp]
// index = index_temp
// value = value_temp
// original body
// }
切片:
// for_temp := range
// len_temp := len(for_temp)
// for index_temp = 0; index_temp < len_temp; index_temp++ {
// value_temp = for_temp[index_temp]
// index = index_temp
// value = value_temp
// original body
// }
从上面的代码片段,可以总结两点:
在循环开始前,会将数组或切片赋值给一个新变量,在赋值过程中就发生了拷贝,迭代的实际上是副本,这也就解释了现象 1。
在循环过程中,会将迭代元素赋值给一个临时变量,这又发生了拷贝。如果取地址的话,每次都是一样的,都是临时变量的地址。
参考文章:
https://garbagecollected.org/2017/02/22/go-range-loop-internals/
https://draveness.me/golang/docs/part2-foundation/ch05-keyword/golang-for-range/
来源:https://www.cnblogs.com/alwaysbeta/p/17365315.html
猜你喜欢
- 4个不常用HTML标签optgroup、sub、sup和bdo运行代码框:<title>4个不常用HTML标签optgroup、
- 以下摘录自 oreilly.JavaScript.The.Definitive.Guide.5th.Edition.Aug.200
- python可以方便地支持多线程。可以快速创建线程、互斥锁、信号量等等元素,支持线程读写同步互斥。美中不足的是,python的运行在pyth
- 前言本文根据安前松的视频分享整理而来,视频回放地址如下:www.bilibili.com/video/BV1Hr…一、
- 显然,效果很实用。对于这个效果,我们并不解释如何去使用效果库,而是讲解如何创建类似的效果,并保持他的可用性,分离式(unobtrusive)
- 代码如下:<%@ Language=VBScript %> <% Dim 
- 这个效果前些日子有人在论坛问起,今天有空研究了下。我打了原创标记,因为我在写这个方法时的确没有参考过别人的代码。我的方法其实就是层遮罩加AL
- 1:mysql是我们使用最多的数据库,如果在日常中正确的对mysql数据进行备份,下面我们就来做这事,通过脚本来实现############
- 问题引入什么时候选择 T 作为参数类型,什么时候选择 *T 作为参数类型?[ ] T 是传递的指针还是值?选择 [ ] T 还是 [ ] *
- 原文地址:30 Days of Mootools 1.2 Tutorials - Day 14 - Periodical and Intro
- 什么是Firebug从事了数年的Web开发工作,越来越觉得现在对WEB开发有了更高的要求。要写出漂亮的HTML代码;要编写精致的CSS样式表
- 如果使用注释的方法得当的话,为你的CSS文件添加注释可以在开发过程中给予你和其他人很大的帮助。最常见的是为CSS样式规则添加提示信息,不过使
- ①GET# -*- coding:utf-8 -*-import requestsdef get(url, datas=None): &nb
- 在CSS中,模式(pattern)匹配规则决定那种样式规则应用于文档树(document tree)的哪个元素。这些模式叫着选择符(sele
- 该域名查询系统写的很简单,只是实现了功能使用XmlHttp来获取远程查询结果,实际上就是小偷程序!相关推荐:域名注册情况查询/
- 众所周知,透明的PNG图片在IE6中是不透明的。为了在IE6中显示透明的PNG图片,找了一下方法,在网页中嵌入JS语句,可是执行效果并不尽如
- 这个问题我在给新云CMS升级时遇到了,按照升级步骤做完,后台登录时,出现“HTTP 错误 500.100 - 内部服务器错误 - ASP 错
- 问:握怎样测试 MySQL安装?答:可以通过以下命令测试MySQL服务器是否工作:C:\> C:\Program Files\MySQ
- 以这两个域名为例:http://www.knowsky.com/http://code.knowsky.com/这两个域名都是绑在同一个空间
- 在 MySQL下,在进行中文模糊检索时,经常会返回一些与之不相关的记录,如查找 "%a%" 时,返回的可能有中文字符,却