详解Go语言Slice作为函数参数的使用
前言
首先要明确Go语言中实质只有值传递，引用传递和指针传递是相对于参数类型来说。
个人认为上诉的结论不对，把引用类型看做对指针的封装，一般封装为结构体，结构体是值类型，所以感觉都是值传递。不然我感觉其它语言实质不也都是值传递？不过我刚学Go，可能还没完全弄懂，这个有问题可以互相讨论下。
Go语言中的值类型：int、float、bool、array、sturct等，声明一个值类型变量时，编译器会在栈中分配一个空间，空间里存储的就是该变量的值。
Go语言中的引用类型：slice，map，channel，interface，func，string等，声明一个引用类型的变量，编译器会把实例的内存分配在堆上。
string和其他语言一样，是引用类型，string的底层实现struct String { byte* str; intgo len; }; 但是因为string不允许修改，每次操作string只能生成新的对象，所以在看起来使用时像值类型。
其实引用类型可以看作对指针的封装。
Slice切片在Go语言中实质是一种结构体类型，源码中定义如下：
源码位置：src/runtime/slice.go
type slice struct {
array unsafe.Pointer
len int
cap int
}
从定义中我们可以知道slice是一种值类型，array是底层数组指针，它指向底层分配的数组；len是底层数组的元素个数；cap是底层数组的容量，超过容量会扩容。
问题与解析
典型问题
有了上面知识的铺垫，下面我们来看下把slice作为函数参数传递的典型问题：
package main
import "fmt"
func main() {
tmp := make([]int, 0)
fmt.Printf("%p\n", &tmp)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
change(tmp)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
func change(tmp []int) {
fmt.Printf("%p\n", &tmp)
tmp = append(tmp, 6)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//运行结果
//0xc000004078
//[] 0 0 0x59cde0
//0xc0000040c0
//[6] 1 1 0xc000014098
//[] 0 0 0x59cde0
这是一个典型问题，你所有疑问的基本这种类型的问题。
疑问点：slice不是引用类型吗？把它做参数传递时实参应该同步修改啊，为什么main函数中的tmp没变？
解析：
从之前讲的知识中我们已经知道slice实质是一个结构体，其作为参数传递时形参实质复制了实参整个结构体的内容，其实就是值传递。
形参分配有一份内存空间，存放和实参相同的内容，从运行结果可以看出形参的内存地址和实参是不同的。
因为形参中底层数组指针和实参相同，所以当做修改操作时会同步修改到实参中，但是当使用append函数添加元素时，append函数返回的slice会覆盖修改到形参的内存空间中，和实参无关，所以在main函数中实参不变。可以在上面代码中看到函数中形参已变但实参未变。
有同学看到上面解析之后可能还会有一些疑问，比如：
append函数有扩容机制，当函数内使用append未扩容时，是不是就可以同步增加元素到实参中？
为什么传指针就可以和实参完全同步，指针不也和引用类似吗？
函数中使用append时，如果扩容，其中形参内存空间中底层数组的地址会被覆盖修改为新的扩容后的底层数组地址，而实参无变化。上面的代码就是如此。
其它疑问1
package main
import "fmt"
func main() {
tmp := make([]int, 0, 5)
tmp = append(tmp, 1, 2, 3)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
change(tmp)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
func change(tmp []int) {
tmp = append(tmp, 4)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//[1 2 3] 3 5 0xc00000c300
//[1 2 3 4] 4 5 0xc00000c300
//[1 2 3] 3 5 0xc00000c300
疑问点：从代码中可以看出函数中使用append时是没有扩容的，因为形参中底层数组地址和实参是一致的，那为什么实参中没有增加元素？
解析：
其实实参中tmp[3]已经变为4，但是实参和形参内存空间中len和cap是独立的，形参中len修改为了4但实参中len仍然为3，所以实参中未增加元素。
关于tmp[3]已经变为4可以从如下代码中反映出来：
package main
import "fmt"
func main() {
tmp := make([]int, 0, 5)
tmp = append(tmp, 1, 2, 3, 4, 5)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
change(tmp[:3])
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
func change(tmp []int) {
tmp = append(tmp, 6)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//[1 2 3 4 5] 5 5 0xc00000c300
//[1 2 3 6] 4 5 0xc00000c300
//[1 2 3 6 5] 5 5 0xc00000c300
可以看出实参中4已经变为6
或者从如下代码中更为直接的看出：
package main
import (
"fmt"
"unsafe"
)
func main() {
tmp := make([]int, 0, 5)
tmp = append(tmp, 1, 2, 3)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
change(tmp)
p := unsafe.Pointer(&tmp[2])
q := uintptr(p) + 8
t := (*int)(unsafe.Pointer(q))
fmt.Println(*t)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
func change(tmp []int) {
tmp = append(tmp, 4)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
//[1 2 3] 3 5 0xc00000c300
//[1 2 3 4] 4 5 0xc00000c300
//4
//[1 2 3] 3 5 0xc00000c300
用实参tmp[2]的地址往后移一个元素地址长度，得到tmp[3]的地址输出，可以看到变为了3。
其它疑问2
package main
import "fmt"
func main() {
tmp := make([]int, 0, 5)
tmp = append(tmp, 1, 2, 3)
fmt.Printf("%p\n", &tmp)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
change(&tmp)
fmt.Printf("%v %d %d %p\n", tmp, len(tmp), cap(tmp), tmp)
}
func change(tmp *[]int) {
*tmp = append(*tmp, 4)
fmt.Printf("%p\n", tmp)
fmt.Printf("%v %d %d %p\n", *tmp, len(*tmp), cap(*tmp), *tmp)
}
//0xc000004078
//[] 0 0 0xffdde0
//0xc000004078
//[1] 1 1 0xc000014098
//[1] 1 1 0xc000014098
疑问点：为什么指针可以同步修改到实参，*tmp = append(*tmp, 4)这不也是覆盖修改到形参吗？
解析：
首先明确传指针时传的是slice的地址，形参是地址而非一份和实参相同内容的内存空间，这点从代码中打印的0xc000004078地址可以看出。所以*tmp = append(*tmp, 4)这段代码覆盖修改的是0xc000004078这个地址指向的slice，即主函数中的tmp切片，这点从代码中主函数中切片tmp的底层数组地址从0xffdde0变为0xc000014098可以看出。
结论
当传指针时，对函数中slice的任何修改其实都是对主函数中slice的修改；当传引用，即slice本身时，对函数中slice使用append时的修改实际是对形参新分配内存空间的修改而实参不变，但当直接修改slice中值时能同步修改到实参中。
参考链接
go中值传递、引用传递、指针传递的区别 - .追风逐月 - 博客园
GO语言slice详解（结合源码） - 就是那片海 - 博客园 (cnblogs.com)
Go语言中slice作为参数传递时遇到的一些“坑” - ExplorerMan - 博客园 (cnblogs.com)
到此这篇关于详解Go语言Slice作为函数参数的使用的文章就介绍到这了,更多相关Go语言Slice函数参数内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家！
相关文章
这篇文章主要介绍了如何在Go中使用切片容量和长度，文中通过示例代码介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2019-11-11
这篇文章主要给大家介绍了关于Golang定时器的2种实现方法与区别的相关资料，文中通过图文介绍的非常详细，对大家的学习或者工作具有一定的参考学习价值，需要的朋友们下面随着小编来一起学习学习吧2021-02-02
这篇文章主要为大家介绍了Go gRPC服务双向流式RPC教程示例详解，有需要的朋友可以借鉴参考下，希望能够有所帮助，祝大家多多进步，早日升职加薪2022-06-06
面试的时候问到如何关闭http请求，一般人脱口而出的是关闭response.body，这是错误的。本文为大家整理了三个正确关闭http请求的方法，希望对大家有所帮助2023-02-02
在Go语言开发中,依赖管理是一项非常重要的工作,Go mod作为官方的包管理工具已经成为了Go语言依赖管理的首选方式,本文就来介绍一下go mod 依赖管理的具体使用,具有一定的参考价值,感兴趣的可以了解一下2024-01-01
这篇文章主要为大家介绍了Go语言为什么不支持三元运算符原理解析,有需要的朋友可以借鉴参考下,希望能够有所帮助,祝大家多多进步,早日升职加薪2023-08-08
下面小编就为大家带来一篇基于golang时间转换的问题。小编觉得挺不错的，现在就分享给大家，也给大家做个参考。一起跟随小编过来看看吧2017-08-08
这篇文章介绍了Go语言中的Struct结构体，文中通过示例代码介绍的非常详细。对大家的学习或工作具有一定的参考借鉴价值，需要的朋友可以参考下2022-07-07
资源处理是什么?打开文件需要关闭,打开数据库连接,连接需要释放。这些成对出现的就是资源管理。有时候我们虽然释放了,但是程序在中间出错了,那么可能导致资源释放失败。如何保证打开的文件一定会被关闭呢?这就是资源管理与错误处理考虑的一个原因2021-06-06
这篇文章主要介绍了在Linux系统中安装Go语言的详细教程,由于国内很多人对谷歌的盲目追捧,导致Go语言在国内的人气远超国外...需要的朋友可以参考下2015-06-06
最新评论