详解Go语言Slice作为函数参数的使用


Posted in Golang onJuly 02, 2021
目录
  • 前言
  • 问题与解析
    • 典型问题
  • 其它疑问1
  • 其它疑问2
  • 结论
  • 参考链接

 

前言

首先要明确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语言Slice作为函数参数的使用的文章就介绍到这了,更多相关Go语言Slice函数参数内容请搜索三水点靠木以前的文章或继续浏览下面的相关文章希望大家以后多多支持三水点靠木!

Golang 相关文章推荐
Go语言使用select{}阻塞main函数介绍
Apr 25 Golang
Go语言切片前或中间插入项与内置copy()函数详解
Apr 27 Golang
golang http使用踩过的坑与填坑指南
Apr 27 Golang
Go 在 MongoDB 中常用查询与修改的操作
May 07 Golang
聊聊golang中多个defer的执行顺序
May 08 Golang
Golang中异常处理机制详解
Jun 08 Golang
Go语言空白表示符_的实例用法
Jul 04 Golang
一文搞懂Golang 时间和日期相关函数
Dec 06 Golang
Go语言读取txt文档的操作方法
Jan 22 Golang
golang操作rocketmq的示例代码
Apr 06 Golang
Golang 入门 之url 包
May 04 Golang
Golang实现可重入锁的示例代码
May 25 Golang
golang 实用库gotable的具体使用
Jul 01 #Golang
试了下Golang实现try catch的方法
Jul 01 #Golang
Golang 语言控制并发 Goroutine的方法
Jun 30 #Golang
Golang的继承模拟实例
Jun 30 #Golang
go select编译期的优化处理逻辑使用场景分析
Go 语言下基于Redis分布式锁的实现方式
Jun 28 #Golang
go语言使用Casbin实现角色的权限控制
You might like
PHP4实际应用经验篇(1)
2006/10/09 PHP
php循环检测目录是否存在并创建(循环创建目录)
2011/01/06 PHP
PHP实现的QQ空间g_tk加密算法
2015/07/09 PHP
php实现简单爬虫的开发
2016/03/28 PHP
PHP二维数组去重实例分析
2016/11/18 PHP
Yii2.0中使用js异步删除示例
2017/03/10 PHP
javascript jq 弹出层实例
2013/08/25 Javascript
JavaScript获取当前页面上的指定对象示例代码
2014/02/28 Javascript
js封装可使用的构造函数继承用法分析
2015/01/28 Javascript
基于javascript实现窗口抖动效果
2016/01/03 Javascript
微信小程序 本地存储及登录页面处理实例详解
2017/01/11 Javascript
vue动态组件实现选项卡切换效果
2017/03/08 Javascript
VUE axios上传图片到七牛的实例代码
2017/07/28 Javascript
bootstrap table方法之expandRow-collapseRow展开或关闭当前行数据
2020/08/09 Javascript
vue-自定义组件传值的实例讲解
2018/09/18 Javascript
微信小程序单选radio及多选checkbox按钮用法示例
2019/04/30 Javascript
jQuery实现全选、反选和不选功能的方法详解
2019/12/04 jQuery
javascrpt密码强度校验函数详解
2020/03/18 Javascript
[01:32]TI珍贵瞬间系列(一)
2020/08/26 DOTA
python抓取网页图片示例(python爬虫)
2014/04/27 Python
Python中unittest模块做UT(单元测试)使用实例
2015/06/12 Python
Python实现微信自动好友验证,自动回复,发送群聊链接方法
2019/02/21 Python
解决Django中修改js css文件但浏览器无法及时与之改变的问题
2019/08/31 Python
python实现将json多行数据传入到mysql中使用
2019/12/31 Python
自定义Django_rest_framework_jwt登陆错误返回的解决
2020/10/18 Python
详解如何解决canvas图片getImageData,toDataURL跨域问题
2018/09/17 HTML / CSS
Zavvi西班牙:电子游戏、极客服装、Blu-ray、Funko Pop等
2019/05/03 全球购物
手术室护士自我鉴定
2013/10/14 职场文书
厨师岗位职责
2013/11/12 职场文书
单位介绍信范文
2014/01/18 职场文书
创业者是否需要商业计划书?
2014/02/07 职场文书
人民教师求职自荐信
2014/03/12 职场文书
运动会演讲稿200字
2014/08/25 职场文书
农民工工资支付承诺书
2015/05/04 职场文书
承诺书模板大全
2015/05/04 职场文书
幼儿园见习总结
2015/06/23 职场文书