您现在的位置是:群英 > 开发技术 > 编程语言
Go是传引值,还是传用呢?
Admin发表于 2022-07-18 17:45:59563 次浏览
这篇文章分享给大家的内容是关于Go是传引值,还是传用呢?,本文介绍得很详细,内容很有参考价值,希望可以帮到有需要的小伙伴,接下来就让小编带领大家一起了解看看吧。


关于Go 是传值还是传引用?很多人都讨论起来

下面我们就带着问题一起探索答案吧

1、Go 官方的定义

本部分引用 Go 官方 FAQ 的 “When are function parameters passed by value?”,内容如下。

如同 C 系列的所有语言一样,Go 语言中的所有东西都是以值传递的。也就是说,一个函数总是得到一个被传递的东西的副本,就像有一个赋值语句将值赋给参数一样。

例如:

  • 向一个函数传递一个 int 值,就会得到 int 的副本。而传递一个指针值就会得到指针的副本,但不会得到它所指向的数据。
  • map slice 的行为类似于指针:它们是包含指向底层 map slice 数据的指针的描述符。
  • 复制一个 map slice 值并不会复制它所指向的数据。
  • 复制一个接口值会复制存储在接口值中的东西。
  • 如果接口值持有一个结构,复制接口值就会复制该结构。如果接口值持有一个指针,复制接口值会复制该指针,但同样不会复制它所指向的数据。

划重点:Go 语言中一切都是值传递,没有引用传递。不要直接把其他概念硬套上来,会犯先入为主的错误的。

2、传值和传引用

2.1 传值

传值,也叫做值传递(pass by value)。其指的是在调用函数时将实际参数复制一份传递到函数中,这样在函数中如果对参数进行修改,将不会影响到实际参数。

简单来讲,值传递,所传递的是该参数的副本,是复制了一份的,本质上不能认为是一个东西,指向的不是一个内存地址。

案例一如下:

func main() {
 s := "脑子进煎鱼了"
 fmt.Printf("main 内存地址:%p\n", &s)
 hello(&s)
}

func hello(s *string) {
 fmt.Printf("hello 内存地址:%p\n", &s)
}

输出结果:

main 内存地址:0xc000116220
hello 内存地址:0xc000132020

我们可以看到在 main 函数中的变量 s 所指向的内存地址是 0xc000116220。在经过 hello 函数的参数传递后,其在内部所输出的内存地址是 0xc000132020,两者发生了改变。

据此我们可以得出结论,在 Go 语言确实都是值传递。那是不是在函数内修改值,就不会影响到 main 函数呢?

案例二如下:

func main() {
 s := "脑子进煎鱼了"
 fmt.Printf("main 内存地址:%p\n", &s)
 hello(&s)
 fmt.Println(s)
}

func hello(s *string) {
 fmt.Printf("hello 内存地址:%p\n", &s)
 *s = "煎鱼进脑子了"
}

我们在 hello 函数中修改了变量 s 的值,那么最后在 main 函数中我们所输出的变量 s 的值是什么呢。是 “脑子进煎鱼了”,还是 "煎鱼进脑子了"?

输出结果:

main 内存地址:0xc000010240
hello 内存地址:0xc00000e030
煎鱼进脑子了

输出的结果是 “煎鱼进脑子了”。这时候大家可能又犯嘀咕了,煎鱼前面明明说的是 Go 语言只有值传递,也验证了两者的内存地址,都是不一样的,怎么他这下他的值就改变了,这是为什么?

因为 “如果传过去的值是指向内存空间的地址,那么是可以对这块内存空间做修改的”。

也就是这两个内存地址,其实是指针的指针,其根源都指向着同一个指针,也就是指向着变量 s。因此我们进一步修改变量 s,得到输出 “煎鱼进脑子了” 的结果。

2.2 传引用

传引用,也叫做引用传递(pass by reference),指在调用函数时将实际参数的地址直接传递到函数中,那么在函数中对参数所进行的修改,将影响到实际参数。

在 Go 语言中,官方已经明确了没有传引用,也就是没有引用传递这一情况。

因此借用文字简单描述,像是例子中,即使你将参数传入,最终所输出的内存地址都是一样的。

3、争议最大的 map 和 slice

这时候又有小伙伴疑惑了,你看 Go 语言中的 map slice 类型,能直接修改,难道不是同个内存地址,不是引用了?

其实在 FAQ 中有一句提醒很重要:“map slice 的行为类似于指针,它们是包含指向底层 map slice 数据的指针的描述符”。

3.1 map

针对 map 类型,进一步展开来看看例子:

func main() {
 m := make(map[string]string)
 m["脑子进煎鱼了"] = "这次一定!"
 fmt.Printf("main 内存地址:%p\n", &m)
 hello(m)

 fmt.Printf("%v", m)
}

func hello(p map[string]string) {
 fmt.Printf("hello 内存地址:%p\n", &p)
 p["脑子进煎鱼了"] = "记得点赞!"
}

输出结果:

main 内存地址:0xc00000e028
hello 内存地址:0xc00000e038

确实是值传递,那修改后的 map 的结果应该是什么。既然是值传递,那肯定就是 "这次一定!",对吗?

输出结果:

map[脑子进煎鱼了:记得点赞!]

结果是修改成功,输出了 “记得点赞!”。这下就尴尬了,为什么是值传递,又还能做到类似引用的效果,能修改到源值呢?

这里的小窍门是:

func makemap(t *maptype, hint int, h *hmap) *hmap {}

这是创建 map 类型的底层 runtime 方法,注意其返回的是 *hmap 类型,是一个指针。也就是 Go 语言通过对 map 类型的相关方法进行封装,达到了用户需要关注指针传递的作用。

就是说当我们在调用 hello 方法时,其相当于是在传入一个指针参数 hello(*hmap),与前面的值类型的案例二类似。

这类情况我们称其为 “引用类型”,但 “引用类型” 不等同于就是传引用,又或是引用传递了,还是有比较明确的区别的。

在 Go 语言中与 map 类型类似的还有 chan 类型:

func makechan(t *chantype, size int) *hchan {}

一样的效果。

3.2 slice

针对 slice 类型,进一步展开来看看例子:

func main() {
 s := []string{"烤鱼", "咸鱼", "摸鱼"}
 fmt.Printf("main 内存地址:%p\n", s)
 hello(s)
 fmt.Println(s)
}

func hello(s []string) {
 fmt.Printf("hello 内存地址:%p\n", s)
 s[0] = "煎鱼"
}

输出结果:

main 内存地址:0xc000098180
hello 内存地址:0xc000098180
[煎鱼 咸鱼 摸鱼]

从结果来看,两者的内存地址一样,也成功的变更到了变量 s 的值。这难道不是引用传递吗,煎鱼翻车了?

关注两个细节:

  • 没有用 & 来取地址。
  • 可以直接用 %p 来打印。

之所以可以同时做到上面这两件事,是因为标准库 fmt 针对在这一块做了优化:

func (p *pp) fmtPointer(value reflect.Value, verb rune) {
 var u uintptr
 switch value.Kind() {
 case reflect.Chan, reflect.Func, reflect.Map, reflect.Ptr, reflect.Slice, reflect.UnsafePointer:
  u = value.Pointer()
 default:
  p.badVerb(verb)
  return
 }

留意到代码 value.Pointer,标准库进行了特殊处理,直接对应的值的指针地址,当然就不需要取地址符了。

标准库 fmt 能够输出 slice 类型对应的值的原因也在此:

func (v Value) Pointer() uintptr {
 ...
 case Slice:
  return (*SliceHeader)(v.ptr).Data
 }
}

type SliceHeader struct {
 Data uintptr
 Len  int
 Cap  int
}

其在内部转换的 Data 属性,正正是 Go 语言中 slice 类型的运行时表现 SliceHeader。我们在调用 %p 输出时,是在输出 slice 的底层存储数组元素的地址。

下一个问题是:为什么 slice 类型可以直接修改源数据的值呢。

其实和输出的原理是一样的,在 Go 语言运行时,传递的也是相应 slice 类型的底层数组的指针,但需要注意,其使用的是指针的副本。严格意义是引用类型,依旧是值传递。

妙不妙?

3、总结

在今天这篇文章中,我们针对 Go 语言的日经问题:“Go 语言到底是传值(值传递),还是传引用(引用传递)” 进行了基本的讲解和分析。

另外在业内中,最多人犯迷糊的就是 slicemapchan 等类型,都会认为是 “引用传递”,从而认为 Go 语言的 xxx 就是引用传递,我们对此也进行了案例演示。

这实则是不大对的认知,因为:“如果传过去的值是指向内存空间的地址,是可以对这块内存空间做修改的”。

其确实复制了一个副本,但他也借由各手段(其实就是传指针),达到了能修改源数据的效果,是引用类型。


现在大家对于Go是传引值,还是传用呢?的内容应该都清楚了吧,希望大家阅读完这篇文章能有所收获。最后,想要了解更多Go是传引值,还是传用呢?的知识,欢迎关注群英网络,群英网络将为大家推送更多相关知识点的文章。

免责声明:本站发布的内容(图片、视频和文字)以原创、转载和分享为主,文章观点不代表本网站立场,如果涉及侵权请联系站长邮箱:mmqy2019@163.com进行举报,并提供相关证据,查实之后,将立刻删除涉嫌侵权内容。

标签: go
相关信息推荐
2022-01-24 19:24:06 
摘要:Python怎样清空列表数据?在实际的Python项目中,我们会遇到清空列表数据的需求,那么有什么方法可以实现呢?下文给大家分享了两种方法,文中有示例供大家参考,感兴趣的朋友就继续往下看吧。
2021-11-30 17:50:08 
摘要:这篇文章我们来了解一下关于PHP执行原理的内容,对新手学习PHP会有一定的帮助,因此本文就给大家来介绍一下,下文有很详细的介绍,有需要的朋友可以参考,接下来就跟随小编来一起学习一下吧!
2021-12-03 18:11:19 
摘要:这篇文章给大家分享的是laravel表单验证的几种实现方法。小编觉得挺实用的,因此分享给大家做个参考,文中示例代码介绍的非常详细,感兴趣的朋友接下来一起跟随小编看看吧
云活动
推荐内容
热门关键词
热门信息
群英网络助力开启安全的云计算之旅
立即注册,领取新人大礼包
  • 联系我们
  • 24小时售后:4006784567
  • 24小时TEL :0668-2555666
  • 售前咨询TEL:400-678-4567

  • 官方微信

    官方微信
Copyright  ©  QY  Network  Company  Ltd. All  Rights  Reserved. 2003-2019  群英网络  版权所有   茂名市群英网络有限公司
增值电信经营许可证 : B1.B2-20140078   粤ICP备09006778号
免费拨打  400-678-4567
免费拨打  400-678-4567 免费拨打 400-678-4567 或 0668-2555555
微信公众号
返回顶部
返回顶部 返回顶部