Go 官方的定义

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

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

传值和传引用

什么是传值(值传递)

传值的意思是:函数传递的总是原来这个东西的一个副本,一副拷贝。其指的是在调用函数时将实际参数复制一份传递到函数中,这样在函数中如果对参数进行修改,将不会影响到实际参数。 比如我们传递一个int类型的参数,传递的其实是这个参数的一个副本;传递一个指针类型的参数,其实传递的是这个该指针的一份拷贝,而不是这个指针指向的值。

对于int这类基础类型我们可以很好的理解,它们就是一个拷贝,但是指针呢?我们觉得可以通过它修改原来的值,怎么会是一个拷贝呢?下面我们看个例子。

test_demo.go

输出结果:

原始指针的内存地址是:0xc00000e038
函数里接收到的指针的内存地址是:0xc00000e040
int值被修改了,新值为: 1

什么是传引用(引用传递)

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

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

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

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

迷惑map

输出结果:

原始map的内存地址是:0xc000114028
函数里接收到map的内存地址是:0xc000114030

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

输出结果:

map值被修改了,新值为: map[张三:20]

原因:

makemap
src/runtime/hashmap.go*hmapmap
func modify(p map)func modify(p *hmap)func modify(ip *int)

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

chan类型

chan类型本质上和map类型是一样的,这里不做过多的介绍,参考下源代码:

chanmapmake*hchan

和map、chan都不一样的slice

slicemapchan
ages
& %p
fmt
chanmapslicevalue.Pointer()
slicesliceData
sliceslicearray(Data)slice

总结

最终可以确认的是Go语言中所有的传参都是值传递(传值),都是一个副本,一个拷贝。

slicemapchan

再记住,Go里只有传值(值传递)。

参考资料