详解Go语言Slice作为函数参数的使用
作者:C天外天S 发布时间:2023-07-16 11:30:20
前言
首先要明确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)
来源:https://www.cnblogs.com/tianwaitian/p/14961138.html
猜你喜欢
- 如何制作一个小巧的购物车?主程序如下:cartkit.aspClass CartKitSub CreateCart()&
- 如图:Oracle 11g安装到42%挂了。上度娘查了一下,原来是Oracle安装包的问题,1,2两个包都要下载下来,而且需要解压到相同(同
- buffer:下载数据缓冲区,以字节为单位,缺省依赖操作系统 consistent:下载期间所涉及的数据保持read only,缺省为n d
- 我们知道,全局临时表的生命周期一直持续到创建会话(不是创建级别)才终止。有时候,你可能想创建一个不属于任何会话的全局临时表。而无论你进行什么
- <script> function isIPv6(str) { return str.mat
- 一、前言关于什么是Dapper(详细入口),在此不做赘述;本文仅对Dapper在.Net Core中的使用作扼要说明,所陈代码以示例讲解为主
- 你是否曾经想在数据库中存储一个日期而没有时间部分,或者想存储一个时间值希望有更高的精度?在SQL Server 2008的介绍中,微软介绍了
- 看了山人表单验证,又看了其他一些验证程序和相关的一些参考资料,写出了一个比较简洁的js表单验证程序。特点是扩展容易,可以方便的添加自己需要的
- 本文实例讲述了php中fgetcsv()函数用法。分享给大家供大家参考。具体方法如下:fgetcsv是一个简单的生成excel文档的函数,从
- 浏览器的具体功能都储存在服务器端的Browscap.ini中:<% SET
- 我使用“ Web 2.0设计”来形容目前占主导优势的网页设计风格, 很多人用这个词来形容:网络经济的复苏网站和用户之间更高水平的交互或一种社
- 1、 下载MYSQL5.1.48源码,CMAKE,VS2008 2、 安装CMAKE和VS2008,解压MYSQL5.1.48到D:\mys
- 1、su – oracle 不是必需,适合于没有DBA密码时使用,可以不用密码来进入sqlplus界面。 2、sqlplus /
- Oracle数据库升级也并非简单的事,这篇文章对Oracle那点事做了较详细的介绍:Oracle数据库升级或数据迁移方法研究我还属于Orac
- 今天的问题是请问以下 alert 弹出值分别是什么?var f = function f2()&nb
- 想到TDE(Transparent Data Encryption)。 TDE MSDN 说明: “透明数据加密”(TDE) 可对数据和日志
- 简介如果你经常网上冲浪,这样参差不齐的多栏布局,是不是很眼熟啊?类似的布局,似乎一夜之间出现在国内外大大小小的网站上,比如 Pinteres
- 本文实例为大家分享了opencv实现图像旋转效果的具体代码,供大家参考,具体内容如下图像旋转:在opencv中首先根据旋转角度和中心获取旋转
- asp使用WScript.Shell获取电脑的网络配置信息Option Explicit Dim WSHShe
- 总的来说视觉设计是一个很大的范畴,囊括了我们身边很多产品的再创作设计,比如工业产品设计,广告设计,新媒体设计,服饰设计,还有我们这里要讨论的