本次文章主要是来聊聊关于切片传值需要注意的问题,如果不小心,则很容易引发线上问题,如果不够理解,可能会出现奇奇怪怪的现象
问题情况:
小 A 负责一个模块功能的实现,在调试代码的时候可能不仔细,部署到线上环境时发现在现有策略列表上追加新的策略时,总是无法生效,这是为什么呢?
追查代码后发现问题出在关于切片的使用上出了认知偏差,小 A 认为 golang 中,传切片就是传引用,因此写出了这样的代码片段
func xxxFunc(sli []int ,newSli []int) {
// ... 省略部分代码
sli = append(sli, newSli...)
// ... 省略部分代码
return
}
想表达的意思是:
传入的 sli 切片属于旧切片,期望在 sli 切片上追加 newSli 中的元素,最终期望得到的 sli 里面是包含 newSli 元素的
然而,对于 Golang 中切片 slice 有一定了解的 xdm 就很清楚,这样写其实并没有什么实际作用,在 Golang 中传参都是传值而不是传地址
因此此处传入的 sli 切片,也仅仅是一个拷贝而已,在 xxxFunc 函数中的 sli 切片被修改了,实际上是不会影响函数外部的 sli 的
那么对于切片此处做几个阐述
首先强调几点关于切片的注意事项
- Golang 中的函数参数,都是传值,不是传地址
- 对于切片自身的底层数据结构,我们可以通过索引的方式拿到底层数组的地址,并修改其地址上的值,例如
sli[2] = "hello"
,这是可以直接修改
-
如果传入的切片,期望实参也能够被改变的话,那么就需要想办法修改切片的底层数组
- 通过传切片的地址,也就是传指针的方式
- 在函数中,去索引切片的底层数组地址,进行修改数据
案例 1 遍历的时候修改
通过 value 修改切片值 - 不靠谱
我们给出一个切片 var mySlice = []int{7, 8, 9}
,并编写如下几个函数来查看是否会对原有切片数据有影响
func main() {
log.SetFlags(log.Lshortfile)
var mySlice = []int{7, 8, 9}
log.Printf("mySlice == %+v", mySlice)
log.Println("---------------------------------------------")
mySliceDemo := testDemo(mySlice)
log.Printf("mySlice == %+v ,mySliceDemo == %+v", mySlice, mySliceDemo)
log.Printf("mySlice == %p ,mySliceDemo == %p", &mySlice, &mySliceDemo)
}
func testDemo(sli []int) []int {
for _, value := range sli {
value *= 2
}
return sli
}
给 testDemo 传入 mySlice 切片,在函数内部通过 for…range 的方式去修改切片内元素的值,然而代码中的 value 仍然是一个拷贝,他并不会真的对外部的 mySlice 有任何影响,结果自然是这样的
可以通过修改切片索引上的值
当然如果我们这样写,去找到索引对应的底层数组的地址,再修改其地址上的值,是可行的
func testDemo2(sli []int) []int {
for index, _ := range sli {
sli[index] *= 2
}
return sli
}
自然通过指针的方式仍然可以
传入的这个指针,实际上也是一个拷贝,只不过拷贝的是这个指针,也就是指针自身的地址不一样,但是他们指向的底层数组是一样的,因此可以直接修改
这种修改的方式,也是去修改地址上的值,因此有效
func testDemo3(sli *[]int) {
for index, _ := range *sli {
(*sli)[index] *= 2
}
return
}
结果自然 ok,原有 mySlice
的地址也是没有发生变化的,只是值发生了变化
案例 2 使用 append 会有什么不同
那么如果是在子函数里面使用 append 追加数据,是否会有不同的效果?
func appendDemo(sli []int) []int {
sli = append(sli, 999)
return sli
}
实际上,此处传入的仍然是 mySlice 的拷贝,appendDemo 中使用 append,也是基于拷贝后的值来进行数据追加
哪怕是遇到切片扩容的情况,也仅仅是对于函数内的拷贝副本来进行扩容和变化,例如这样
func appendDemo3(sli []int)[]int{
sli = append(sli, []int{3,4}...)
return sli
}
传入切片的地址
在使用 append 的情况, 向函数参数中传入切片的指针,此处对于函数来说,仍然是一个副本,只不过这个副本是指针,指向的底层数组仍然是和 mySlice 是一样的,因此可以通过这个拷贝的指针去修改实际底层数组的值
func appendDemo2(sli *[]int){
*sli = append(*sli, []int{1000,10001}...)
return
}
可以看到使用指针的方式,处理起来还是妥妥的,在 appendDemo2 中实际修改了 mySlice 的值,且也是我们所期望的
至此,对于文章开头问题的解决方式,xdm 心中都有数了吧,那就不能再犯了吧,希望能够给你带来帮助
感谢阅读,欢迎交流,点个赞,关注一波 再走吧
欢迎点赞,关注,收藏
朋友们,你的支持和鼓励,是我坚持分享,提高质量的动力
技术是开放的,我们的心态,更应是开放的。拥抱变化,向阳而生,努力向前行。
我是阿兵云原生,欢迎点赞关注收藏,下次见~
文中提到的技术点,感兴趣的可以查看这些文章:
- 你以为传切片就是传引用了吗?
- 你真的知道 GO 中 nil 代表什么吗?
- GO 中 slice 的实现原理
- 微服务线上问题排查困难?不知道问题出在哪一环?那是你还不会分布式链路追踪
- k8s 服务升级为啥 pod 会部署到我们不期望的节点上??看来你还不懂污点和容忍度
可以进入地址进行体验和学习:https://xxetb.xet.tech/s/3lucCI