首页 > 其他分享 >为什么 Go for-range 的 value 值地址每次都一样?

为什么 Go for-range 的 value 值地址每次都一样?

时间:2023-04-30 15:22:38浏览次数:50  
标签:index arr temp value range Go

原文链接: 为什么 Go for-range 的 value 值地址每次都一样?

循环语句是一种常用的控制结构,在 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. 在循环开始前,会将数组或切片赋值给一个新变量,在赋值过程中就发生了拷贝,迭代的实际上是副本,这也就解释了现象 1。
  2. 在循环过程中,会将迭代元素赋值给一个临时变量,这又发生了拷贝。如果取地址的话,每次都是一样的,都是临时变量的地址。

以上就是本文的全部内容,如果觉得还不错的话欢迎点赞转发关注,感谢支持。


参考文章:

推荐阅读:

标签:index,arr,temp,value,range,Go
From: https://www.cnblogs.com/alwaysbeta/p/17365315.html

相关文章

  • Django&Tornado&Flask比较
    1.DjangoDjango概述Django太重,除了web框架,自带ORM和模板引擎,灵活和自由度不够高。Django能开发小应用,但总会有“杀鸡焉用牛刀”的感觉。Django的自带ORM非常优秀,综合评价略高于SQLAlchemyDjango自带的模板引擎简单好用,但其强大程度和综合评价略低于Jinja。Django自带ORM也使D......
  • Jgoerzen/Dosbox镜像的使用
    1.jgoerzen/dosbox的官网介绍1.1.Docker服务器的DOSBox该镜像可以独立使用,也可以作为其他镜像的基础。它提供了一个DOSBox环境和一个运行在端口5901上的VNC控制台。1.2.安装和运行您可以使用以下命令安装:dockerpulljgoerzen/dosbox并使用以下命令运行:dockerrun-d......
  • Python中django的ORM和SQLalchemy简单对比(一)
    1.ORM对象关系映射(英语:ObjectRelationMapping,简称ORM,或O/RM,或O/Rmapping),是一种程序技术,用于实现面向对象编程语言里不同类型系统的数据之间的转换。从效果上说,它其实是创建了一个可在编程语言里使用的“虚拟对象数据库”。一般的ORM包括以下四部分:一个对持久类对象......
  • Golang程序无法在Termux访问网络(DNS解析问题)
    原文:https://github.com/termux/termux-app/issues/869#issuecomment-433985523pkginstallprootresolv-confproot-b$PREFIX/etc/resolv.conf:/etc/resolv.conf./Go可执行程序或者交叉编译Android版解决此问题:https://www.cnblogs.com/jing332/p/16671425.html......
  • Django框架——Q查询进阶、ORM查询优化、事务操作、字段类型、字段参数、Ajax、Conten
    Q查询进阶fromdjango.db.modelsimportQq_obj=Q()#1.产生q对象q_obj.connector='or'#默认多个条件的连接是and可以修改为orq_obj.children.append(('pk',1))#2.添加查询条件q_obj.children.append(('price__gt',2000))#支持添加多个res=models.Book.o......
  • Django的message组件(源码分析)
    Django的Message组件(源码分析)1.配置#MESSAGE_STORAGE='django.contrib.messages.storage.fallback.FallbackStorage'#MESSAGE_STORAGE='django.contrib.messages.storage.cookie.CookieStorage'MESSAGE_STORAGE='django.contrib.messages.stor......
  • golang —— 类型断言的妙用
    最近写代码的时候发现编译器老是会给switchv.(type)一个简化提醒couldeliminatetypeassertionsinswitchcases,于是尝试根据提醒优化了一下: switchv:=v.(type){ caseint: m[k]=v*2 casestring: m[k]=goStrings.Repeat(v,2) default: }最后发现居......
  • Django4全栈进阶之路23 项目实战(报修类型表):应用程序命名空间app_name和分页组件pagina
    1、应用程序命名空间app_namefromdjango.urlsimportpathfrom.importviewsfrom.viewsimportRepairDetailViewapp_name='repair'urlpatterns=[path('repair_types/',views.RepairTypeListView.as_view(),name='repair_type_list�......
  • Go语言入门13(runtime包)
    Runtime包GOMAXPROCS()​ 用来设置可以并行计算的CPU核数最大值,并返回之前的值,具体使用方法上一篇有些,这里不再赘述Gosched()​ 用于让出CPU时间片,让出当前goroutine的执行权限,调度器安排其他等待的任务运行,并在下次某个时候从该位置恢复执行Goexit()​ 用于立即中止当前gor......
  • 轻量GIT服务器Gogs搭建教程(梭哈版)
    轻量GIT服务器Gogs搭建教程(梭哈版)Gogs(/gɑgz/)项目旨在打造一个以最简便的方式搭建简单、稳定和可扩展的自助Git服务。使用Go语言开发使得Gogs能够通过独立的二进制分发,并且支持Go语言支持的所有平台,包括Linux、macOS、Windows和基于ARM的操作系统。作者提供了多种......