Go基础学习05-数组和切片关系深度解析

切片和数组的联系

数组(array)和切片(slice)都属于集合类的类型,它们的值也都可以用来存储某一种类型的值(或者说元素)。数组和切片最重要的不同在于:

  • 数组类型的值的长度是固定的,而切片类型的值的长度是可变长的。 数组的长度在声明它的时候就必须给定,并且在之后不会再改变。可以说,数组的长度是其类型的一部分。
  • 切片的类型字面量中只有其元素的类型,而没有其长度。切片的长度可以自动地随着其中元素数量的增长而增长,但不会随着元素数量的减少而减少。
  • 切片属于引用类型(切片、通道、函数),数组属于值类型(基础数据类型、结构体类型)。

数组和切片的关系:

把切片看作是对数组的一层简单的封装(在每个切片的底层数据结构中,一定包含一个数组);
数组可以看作切片的底层数据结构,切片也可以看作是对数组的某个连续片段的引用。

切片的容量和长度的关系:

示例代码1:通过make初始化切片

go 复制代码
	slice1 := make([]int, 5)
	slice2 := make([]int, 5, 8)
	fmt.Printf("slice1 len is : %d, cap is : %d\n", len(slice1), cap(slice1))
	fmt.Printf("slice2 len is : %d, cap is : %d\n", len(slice2), cap(slice2))

上述代码运行结果:

go 复制代码
slice1 len is : 5, cap is : 5
slice2 len is : 5, cap is : 8

当我们使用make函数初始化切片时,如果不指明那个量,那么切片的容量就会和长度一致。如果使用make函数初始化切片时,指明了切片的容量,那么切片的容量就是此时指明的数据,不一定等于切片的长度。通过make函数初始化的切片,其容量代表了切片的底层数组的长度,上述的5和8代表底层数组的长度,数组的长度不可改变。 既然切片底层数据结构数组的长度不可改变,那么当切片容量不足时需要扩容时如果扩?正确的答案:切片容量不足时,会开辟一块更大的空间(足够存储扩容后的所有元素),随后将切片原有元素复制到新的空间,并将新添加的元素追加到后面,随后再将新的引用传递给切片

示例代码2:使用切片表达式基于某个数组或切片生成新切片

go 复制代码
 	slice3 := []int{1, 2, 3, 4, 5, 6, 7, 8}
	slice4 := slice3[3:6]
	fmt.Printf("slice3 elements is : %d\n", slice3)
	fmt.Printf("slice4 elements is : %d\n", slice4)
	fmt.Printf("slice3 len is : %d, cap is : %d\n", len(slice3), cap(slice3))
	fmt.Printf("slice4 len is : %d, cap is : %d\n", len(slice4), cap(slice4))

上述代码执行结果:

go 复制代码
slice3 elements is : [1 2 3 4 5 6 7 8]
slice4 elements is : [4 5 6]
slice3 len is : 8, cap is : 8
slice4 len is : 3, cap is : 5

提醒读者特意关注一下第四行的输出结果,可以查看一下是否符合预期。

slice4 := slice3[3 : 6]表示透过切片能看到底层数据结构数组的数据范围,左开右闭。所以表示的就是slice3中元素的索引范围从3到5(不包含6),所以slice4此时输出的元素是456。
此时对于slice4的长度计算就是结束索引 - 起始索引:6-3=3。所以len(slice4)就是3。为什么cap(slice4) = 5,而不是3呢?

使用切片表达式基于数组或者切片生成新的切片,其本质和原数组或者旧切片共用相同的底层数据结构,可以将新切片看作在旧切片的基础上的一个封装,一个拥有左右边界的窗口,左边界是切片表达式的左值,右边界是切片表达式的右值(右边界不能大于原有切片的最大容量,否则panic)。slice4的底层数组就是slice3的底层数组,又因为,在底层数组不变的情况下,切片代表的窗口可以向右扩展,直至其底层数组的末尾。所以,slice4的容量就是其底层数组的长度8减去上述切片表达式中的那个起始索引3,即5。
切片代表的窗口是无法向左扩展的,也就是说,我们永远无法透过slice4看到slice3中最左边的那三个元素

如何估算切片容量的增长

一旦一个切片无法容纳更多的元素,Go 语言就会想办法扩容。但它并不会改变原来的切片,而是会生成一个容量更大的切片,然后将把原有的元素和新元素一并拷贝到新切片中。

  • 在一般的情况下,你可以简单地认为新切片的容量(以下简称新容量)将会是原切片容量(以下
    简称原容量)的 2 倍。
  • 但是,当原切片的长度(以下简称原长度)大于或等于1024时,Go 语言将会以原容量的1.25
    倍作为新容量的基准(以下新容量基准)。新容量基准会被调整(不断地与1.25相乘),直到结果不小于原长度与要追加的元素数量之和(以下简称新长度)。最终,新容量往往会比新长度大一些,当然,相等也是可能的。
  • 此外,如果我们一次追加的元素过多,以至于使新长度比原容量的 2 倍还要大,那么新容量就
    会以新长度为基准。

关于切片底层数组替换的思考

一个切片的底层数组永远不会被替换。虽然在扩容的时候 Go 语言一定会生成新的底层数组,但是它也同时生成了新的切片。它是把新的切片作为了新底层数组的窗口,而没有对原切片及其底层数组做任何改动。

  • 在无需扩容时,append函数返回的是指向原底层数组的新切片,而在需要扩容时,append函数返回的是指向新底层数组的新切片。
  • 只要新长度不会超过切片的原容量,那么使用append函数对其追加元素的时候就不会引起扩容。这只会使紧邻切片窗口右边的(底层数组中的)元素被新的元素替换掉。
    代码示例:
go 复制代码
	slice3 := []int{1, 2, 3, 4, 5, 6, 7, 8}
	slice4 := slice3[3:7]
	fmt.Printf("slice3 elements is : %d\n", slice3)
	fmt.Printf("slice4 elements is : %d\n", slice4)
	slice4 = append(slice4, 10)
	fmt.Printf("slice3 elements is : %d\n", slice3)
	fmt.Printf("slice4 elements is : %d\n", slice4)

运行结果:

go 复制代码
slice3 elements is : [1 2 3 4 5 6 7 8]
slice4 elements is : [4 5 6 7]
slice3 elements is : [1 2 3 4 5 6 7 10]
slice4 elements is : [4 5 6 7 10]
相关推荐
訴山海几秒前
解决Excel文件流读取数字为时间乱码问题
java·文件流
西域编娃4 分钟前
Scala 编程实战:梦想清单管理器
开发语言·后端·scala
今日之风甚是温和7 分钟前
【Excel】拆分多个sheet,为单一表格
java·excel·sheet·vb宏
2401_871290589 分钟前
Scala中的Array
开发语言·后端·scala
Object~13 分钟前
【第九课】Rust中泛型和特质
开发语言·后端·rust
聂 可 以14 分钟前
IDEA一键启动多个微服务
java·微服务·intellij-idea
刘大浪17 分钟前
IDEA 2024安装指南(含安装包以及使用说明 cannot collect jvm options 问题一)
java·ide·intellij-idea
灼华十一20 分钟前
算法编程题-排序
数据结构·算法·golang·排序算法
菠菠萝宝32 分钟前
【YOLOv8】安卓端部署-1-项目介绍
android·java·c++·yolo·目标检测·目标跟踪·kotlin
宋发元34 分钟前
Go语言使用 kafka-go 消费 Kafka 消息教程
golang·kafka·linq