slice全解析

昨天组内小伙伴做分享,给出了这么一段代码:

package main

import (
"fmt"
) func fun1(x int) {
x = x + 1
} func fun2(x *int) {
*x = *x + 1
} func fun3(x []int) {
x = append(x, 3)
} func fun4(x *[]int) {
*x = append(*x, 3)
} func fun5(x [4]int) {
x[3] = 100
} func fun6(x *[4]int) {
(*x)[3] = 200
} // 传值,传指针
func main() {
x1 := 10
fmt.Printf("%+v\n", x1)
fun1(x1)
fmt.Printf("%+v\n\n", x1) fmt.Printf("%+v\n", x1)
fun2(&x1)
fmt.Printf("%+v\n\n", x1) var x3 []int
x3 = append(x3, 0, 1, 2)
fmt.Printf("%+v\n", x3)
fun3(x3)
fmt.Printf("%+v\n\n", x3) fmt.Printf("%+v\n", x3)
fun4(&x3)
fmt.Printf("%+v\n\n", x3) var x4 [4]int
for i := 0; i < 4; i++ {
x4[i] = i
}
fmt.Printf("%+v\n", x4)
fun5(x4)
fmt.Printf("%+v\n\n", x4) fmt.Printf("%+v\n", x4)
fun6(&x4)
fmt.Printf("%+v\n\n", x4)
}

可以放在play上运行一下,实际输出的是

10
10 10
11 [0 1 2]
[0 1 2] [0 1 2]
[0 1 2 3] [0 1 2 3]
[0 1 2 3] [0 1 2 3]
[0 1 2 200]

得出的结论是:slice是引用传递,数组是值传递,但是要想修改slice和数组,都需要把slice或者数组的地址传递进去。

这个结论中的数组是值传递,要在调用函数内部修改数组值,必须传递数组指针,我没有什么意见。但是slice的部分,却并没有那么简单。基本上,需要明确下面几点才能解释上面的代码。

slice的结构是uintptr+len+cap

比如我定义了一个slice, 不管是什么方法定义的

var a []int
a = make([]int, 1)
a := []int{1,2}

这里的a都是由一个固定的数据结构赋值的

这个数据结构有三个,一个是指向一个定长数组的指针,一个是len,表示我这个slice包含了几个值,还有一个是cap,表示我申请定长数组的时候申请了多大的空间。

slice的append操作是根据cap和len的关系判断是否申请新的空间

在内存看空间中,没有不定长的数组,所有不定长数组的语法都是语言本身封装了。比如golang中的slice。slice可以在初始化的时候就定义好我需要使用多大的空间(cap)

a := make([]int, 1, 10)

这里的10也就是cap,1是len,说明我已经创建了10个int空间给这个slice。

当不断往a中append数据的时候,首先是len不断增加,当len和cap一样的时候,这个时候再append数据,就会新开辟一个数组空间,这个数组空间长度为多大呢?2*cap。

举例说,如果上述的a后续又append了9个数据,这个时候如果再append一个数据,就会发现cap变成20了。

当然,如果扩容了,那么我们说的slice的第一个元素,指向定长数组的地址就会变化。

理解下下面这个代码:

package main

import "fmt"
import "unsafe" func main() {
var a []int a = append(a, 0)
printSlice("a", a) a = append(a, 1)
printSlice("a", a) a = append(a, 2, 3, 4)
printSlice("a", a)
} func printSlice(s string, x []int) {
fmt.Printf("%s len=%d cap=%d ptr=%p %v\n",s, len(x), cap(x), unsafe.Pointer(&x[0]), x)
} 输出:
a len=1 cap=2 ptr=0x10414020 [0]
a len=2 cap=2 ptr=0x10414020 [0 1]
a len=5 cap=8 ptr=0x10458020 [0 1 2 3 4]

函数参数是slice的时候传递的是“slice结构”的值拷贝

我们说的slice为参数传递的时候传递是引用传递,实际上,它传递的是Slice结构(uintptr+len+cap)的一个复制,但是由于uintptr对应的是一个定长的数组,所以基本上当slice作为参数传递的时候,返回回来的slice结构是不会变的,对应的定长数组的大小是不会变的,但是这个定长数组里面的具体值是有可能变的。

看下面几个例子:

package main

import (
"fmt"
"unsafe"
) func fun3(x []int) {
fmt.Printf("%p\n", unsafe.Pointer(&x[0]))
x = append(x, 3)
x[2] = 100
fmt.Printf("%p\n", unsafe.Pointer(&x[0]))
} func main() { var x3 []int
x3 = append(x3, 0, 1, 2)
fmt.Printf("%+v\n", x3)
fmt.Printf("%p\n", unsafe.Pointer(&x3[0]))
fun3(x3)
fmt.Printf("%p\n", unsafe.Pointer(&x3[0]))
fmt.Printf("%+v\n\n", x3) } 输出:
[0 1 2]
0x10414020
0x10414020
0x10414020
0x10414020
[0 1 100]

这里的x3[2]的的值变化了。但是slice的指针地址没有变化。

如果在f3里面修改x[3]的值:

package main

import (
"fmt"
"unsafe"
) func fun3(x []int) {
fmt.Printf("%p\n", unsafe.Pointer(&x[0]))
x = append(x, 3)
x[3] = 100
fmt.Printf("%p\n", unsafe.Pointer(&x[0]))
} func main() {
var x3 []int
x3 = append(x3, 0, 1, 2)
fmt.Printf("%+v\n", x3)
fmt.Printf("%p\n", unsafe.Pointer(&x3[0]))
fun3(x3)
fmt.Printf("%p\n", unsafe.Pointer(&x3[0]))
fmt.Printf("%+v\n\n", x3)
}
输出:
[0 1 2]
0x10414020
0x10414020
0x10414020
0x10414020
[0 1 2]

这里的x3的值就不会变化,虽然不会变化,但是实际上slice指向的定长数组的索引为3的值已经变化了。

如果f3是append两个呢?

package main

import (
"fmt"
"unsafe"
) func fun3(x []int) {
fmt.Printf("%p\n", unsafe.Pointer(&x[0]))
x = append(x, 3, 4)
x[3] = 100
fmt.Printf("%p\n", unsafe.Pointer(&x[0]))
} func main() {
var x3 []int
x3 = append(x3, 0, 1, 2)
fmt.Printf("%+v\n", x3)
fmt.Printf("%p\n", unsafe.Pointer(&x3[0]))
fun3(x3)
fmt.Printf("%p\n", unsafe.Pointer(&x3[0]))
fmt.Printf("%+v\n\n", x3)
}
输出:
[0 1 2]
0x10414020
0x10414020
0x10458000
0x10414020
[0 1 2]

我们看到在fun3里面append之后的x这个slice指向的地址变化了。但是由于这个x实际上是我们传递进去的x3的值拷贝,所以这个x3并没有被修改。最后输出的时候还是没有变化。

总结

基本上记住了这几个点就明白了slice:

  • slice的结构是uintptr+len+cap
  • slice的append操作是根据cap和len的关系判断是否申请新的空间
  • 函数参数是slice的时候传递的是“slice结构”的值拷贝

参考

https://halfrost.com/go_slice/

slice全解析的更多相关文章

  1. Go切片全解析

    Go切片全解析 目录结构: 数组 切片 底层结构 创建 普通声明 make方式 截取 边界问题 追加 拓展表达式 扩容机制 切片传递的坑 切片的拷贝 浅拷贝 深拷贝 数组 var n [4]int f ...

  2. Google Maps地图投影全解析(3):WKT形式表示

    update20090601:EPSG对该投影的编号设定为EPSG:3857,对应的WKT也发生了变化,下文不再修改,相对来说格式都是那样,可以到http://www.epsg-registry.or ...

  3. C#系统缓存全解析(转载)

    C#系统缓存全解析 对各种缓存的应用场景和方法做了很详尽的解读,这里推荐一下 转载地址:http://blog.csdn.net/wyxhd2008/article/details/8076105

  4. 【凯子哥带你学Framework】Activity界面显示全解析

    前几天凯子哥写的Framework层的解析文章<Activity启动过程全解析>,反响还不错,这说明“写让大家都能看懂的Framework解析文章”的思想是基本正确的. 我个人觉得,深入分 ...

  5. iOS Storyboard全解析

    来源:http://iaiai.iteye.com/blog/1493956 Storyboard)是一个能够节省你很多设计手机App界面时间的新特性,下面,为了简明的说明Storyboard的效果, ...

  6. 【转载】Fragment 全解析(1):那些年踩过的坑

    http://www.jianshu.com/p/d9143a92ad94 Fragment系列文章:1.Fragment全解析系列(一):那些年踩过的坑2.Fragment全解析系列(二):正确的使 ...

  7. (转)ASP.NET缓存全解析6:数据库缓存依赖

    ASP.NET缓存全解析文章索引 ASP.NET缓存全解析1:缓存的概述 ASP.NET缓存全解析2:页面输出缓存 ASP.NET缓存全解析3:页面局部缓存 ASP.NET缓存全解析4:应用程序数据缓 ...

  8. jQuery&nbsp;Ajax&nbsp;实例&nbsp;全解析

    jQuery Ajax 实例 全解析 jQuery确实是一个挺好的轻量级的JS框架,能帮助我们快速的开发JS应用,并在一定程度上改变了我们写JavaScript代码的习惯. 废话少说,直接进入正题,我 ...

  9. ARM内核全解析,从ARM7,ARM9到Cortex-A7,A8,A9,A12,A15到Cortex-A53,A57

    转自: ARM内核全解析,从ARM7,ARM9到Cortex-A7,A8,A9,A12,A15到Cortex-A53,A57 前不久ARM正式宣布推出新款ARMv8架构的Cortex-A50处理器系列 ...

随机推荐

  1. 高性能HTTP加速器Varnish-3.0.3搭建、配置及优化步骤

    经过一天的努力,终于将Varnish缓存服务器部署到线上服务器了.趁着热乎劲儿,赶紧给大家分享一下.Varnish是一个轻量级的Cache和反向代理软件.先进的设计理念和成熟的设计框架是Varnish ...

  2. angular之表达式

    1.作用:使用表达式把数据绑定到HTML. 2.语法:表达式写在双打括号内:{{expression}} 3.比较:表达式作用类似于ng-bind指令:建议更多的使用指令. 4.AngularJS表达 ...

  3. docker-compose.yml 配置文件详解及项目发布

    摘自:https://blog.csdn.net/qq_36148847/article/details/79427878 docker部署tomcat项目 1.上传war包2.制作镜像 Docker ...

  4. mongo删除指定字段,可多个字段同时删除

    参考代码: db.getCollection('Person').update({"email":{$exists:true}},{$unset:{"email" ...

  5. 用python做一个搜索引擎(Pylucene)

    什么是搜索引擎? 搜索引擎是“对网络信息资源进行搜集整理并提供信息查询服务的系统,包括信息搜集.信息整理和用户查询三部分”.如图1是搜索引擎的一般结构,信息搜集模块从网络采集信息到网络信息库之中(一般 ...

  6. 印象笔记 MAC安装使用旧版本

    印象笔记终于支持markdown了,赞! 第一个beta版用起来非常不错.提示更新安装新版本后保存markdown一直提示 "Note content is invalid.",无 ...

  7. BZOJ 2169

    $f_{ij}$ 表示加入 $i$ 条边, $j$ 个点的度数是奇数的方案数,然后暴力 #include<bits/stdc++.h> using namespace std; #defi ...

  8. 洛谷p3799:妖梦切木棒

    题意:任选四段木板拼正三角形 因为是正三角形 所以我们可以想到至少是两个相同的,剩下两个拼成最后一条边 我们只需要枚举边长即可 那么我们对每次读入的x,使他的cnt++ 考虑用一个二重循环 外层枚举边 ...

  9. JDK各个版本的新特性

    对于很多刚接触java语言的初学者来说,要了解一门语言,最好的方式就是要能从基础的版本进行了解,升级的过程,以及升级的新特性,这样才能循序渐进的学好一门语言.今天先为大家介绍一下JDK1.5版本到JD ...

  10. Vue(MVVM)、React(MVVM)、Angular(MVC)对比

    前言 昨天阿里内推电面一面,面试官了解到项目中用过Vue,就问为什么前端框架使用Vue而不适用其他的框架,当时就懵了.因为只用过Vue,不了解其他两个框架,今天就赶紧去了解一下他们之间的区别.大家发现 ...