GO语言中的函数具有一些其他语言不具有的特殊之处,比如:
- 拥有多返回值
- 函数本身可作为函数参数和返回值
- 函数可作为变量存在
- 闭包
- 函数的参数都是值传递的
以上的前四个点非常简单明了,而最后一个点给笔者早期学习带来的很大的困惑,本文会聚焦这点进行分析。
切片作为函数参数
考虑如下一段代码,会输出什么呢?
func main() {
x:=[]int{1,2,3}
fmt.Println("main nums is",x)
test(x)
fmt.Println("main nums is",x)
}
func test(nums []int) {
nums[0]=2
fmt.Println("test nums is",nums)
}
按照其他大部分语言,会输出
main nums is [1 2 3]
test nums is [2 2 3]
main nums is [1 2 3]
但是GO语言输出为
main nums is [1 2 3]
test nums is [2 2 3]
main nums is [2 2 3]
看到此结果,笔者学习初期一度怀疑GO语言默认都是引用传递吗?其实不然,GO语言传递的参数默认均为值传递(形参为实参变量的副本)。但是为什么会出现这种情况呢,这就要谈到GO语言的引用类型了。
引用类型
指针、slice(切片)、map(映射)、channel(管道)、函数、接口都是GO语言的引用类型。如slice底层是一个地址+len+cap的结构、map 创建的时候,返回的是 hmap的一个指针、函数及接口就是一个地址。
因此,尽管GO语言函数传递的都是值传递,但是slice(切片)这类引用类型里面,本身内部就不存值,而只存一个地址,所以函数内部的修改也是基于此地址修改的,因此会影响到函数外部。
如果想要函数内部操作不影响函数外部,有如下几种方案:
- copy()函数
copy()函数 可以将一个数组切片复制到另一个数组切片中,如果加入的两个数组切片不一样大,就会按照其中较小的那个数组切片的元素个数进行复制。示例代码如下,当然,使用遍历手动实现类似copy的函数也可:
func main() {
x:=[]int{1,2,3}
fmt.Println("main nums is",x)
test(x)
fmt.Println("main nums is",x)
}
func test(nums []int) {
temp:=make([]int,3)
copy(temp,nums)
temp[0]=2
fmt.Println("test nums is",temp)
}
- 避免使用引用类型,而使用数组和结构体这种值类型。如以下代码:
func main() {
x:=[3]int{1,2,3}
fmt.Println("main nums is",x)
test(x)
fmt.Println("main nums is",x)
}
func test(nums [3]int) {
nums[0]=2
fmt.Println("test nums is",nums)
}