大家好，我是煎鱼。

前几天在咱们的 Go 交换群里，有一个小伙伴问了 “xxx 是不是援用类型？” 这个问题，引发了将近 5 小时的探讨：

兜兜转转回到了日经的问题，简直每个月都要有人因而吵一架。就是 Go 语言到底是传值（值传递），还是传援用（援用传递）？

Go 官网的定义

本局部援用 Go 官网 FAQ 的 “When are function parameters passed by value?”，内容如下。

如同 C 系列的所有语言一样，Go 语言中的所有货色都是以值传递的。也就是说，一个函数总是失去一个被传递的货色的正本，就像有一个赋值语句将值赋给参数一样。

例如：

  • 向一个函数传递一个 int 值，就会失去 int 的正本。而传递一个指针值就会失去指针的正本，但不会失去它所指向的数据。

  • map 和 slice 的行为相似于指针：它们是蕴含指向底层 map 或 slice 数据的指针的描述符。

    • 复制一个 map 或 slice 值并不会复制它所指向的数据。
    • 复制一个接口值会复制存储在接口值中的货色。
    • 如果接口值持有一个构造，复制接口值就会复制该构造。如果接口值持有一个指针，复制接口值会复制该指针，但同样不会复制它所指向的数据。

划重点，Go 语言中一切都是值传递，没有援用传递。不要间接把其余概念硬套上来，会犯先入为主的谬误的。

传值和传援用

传值

传值，也叫做值传递（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 内存地址：0xc000116220hello 内存地址：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 内存地址：0xc000010240hello 内存地址：0xc00000e030煎鱼进脑子了

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

因为 “如果传过来的值是指向内存空间的地址，那么是能够对这块内存空间做批改的”。

也就是这两个内存地址，其实是指针的指针，其本源都指向着同一个指针，也就是指向着变量 s。因而咱们进一步批改变量 s，失去输入 “煎鱼进脑子了” 的后果。

传援用

传援用，也叫做援用传递（pass by reference），指在调用函数时将理论参数的地址间接传递到函数中，那么在函数中对参数所进行的批改，将影响到理论参数。

在 Go 语言中，官网曾经明确了没有传援用，也就是没有援用传递这一状况。

因而借用文字简略形容，像是例子中，即便你将参数传入，最终所输入的内存地址都是一样的。

争议最大的 map 和 slice

这时候又有小伙伴纳闷了，你看 Go 语言中的 map 和 slice 类型，能间接批改，难道不是同个内存地址，不是援用了？

其实在 FAQ 中有一句揭示很重要：“map 和 slice 的行为相似于指针，它们是蕴含指向底层 map 或 slice 数据的指针的描述符”。

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 内存地址：0xc00000e028hello 内存地址：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 {}

一样的成果。

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 内存地址：0xc000098180hello 内存地址：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 类型的底层数组的指针，但须要留神，其应用的是指针的正本。严格意义是援用类型，仍旧是值传递。

妙不妙？

总结

在明天这篇文章中，咱们针对 Go 语言的日经问题：“Go 语言到底是传值（值传递），还是传援用（援用传递）” 进行了根本的解说和剖析。

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

这实则是不大对的认知，因为：“如果传过来的值是指向内存空间的地址，是能够对这块内存空间做批改的”。

其的确复制了一个正本，但他也借由各伎俩（其实就是传指针），达到了能批改源数据的成果，是援用类型。

石锤，Go 语言只有值传递，

若有任何疑难欢送评论区反馈和交换，最好的关系是相互成就，各位的点赞就是煎鱼创作的最大能源，感激反对。

文章继续更新，能够微信搜【脑子进煎鱼了】浏览，本文 GitHub github.com/eddycjy/blog 已收录，欢送 Star 催更。能够加我微信 cJY0728，我拉你进 Go 读者交换群，和上千开发者交换技术。

参考

  • Go 读者交换群
  • When are function parameters passed by value?
  • Java 到底是值传递还是援用传递？
  • Go语言参数传递是传值还是传援用