大家好,我是煎鱼。
前几天在咱们的 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 内存地址: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,失去输入“煎鱼进脑子了”的后果。
传援用
传援用,也叫做援用传递(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 内存地址: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 {}
一样的成果。
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 类型的底层数组的指针,但须要留神,其应用的是指针的正本。严格意义是援用类型,仍旧是值传递。
妙不妙?
总结
在明天这篇文章中,咱们针对 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 语言参数传递是传值还是传援用