Go36-7-数组和切片

数组和切片

数组(array)类型和切片(slice)类型:
相同:都属于集合类的类型,它们的值都可以用来存储某一种类型的值(或者说元素)。
不同:数组的长度是固定的,而切片是可变长的。

创新互联2013年开创至今,是专业互联网技术服务公司,拥有项目成都网站建设、网站制作网站策划,项目实施与项目整合能力。我们以让每一个梦想脱颖而出为使命,1280元道县做网站,已为上家服务,为道县各地企业和个人服务,联系电话:18982081108

长度
数组的长度在声明的时候必须确定,并且之后不会再变。长度是其类型的一部分。
比如:[1]string 和 [2]string 是两个不同的类型。
切片的长度是可以随着其中元素的增长而增长的,但是不会随着元素的减少而减少。

底层数组
可以把切片看做是对数组的一层简单的封装,每个切片的底层数据结构中,一定会包含一个数组。这个数组可以被叫做切片的底层数组。而切片可以被看做是对数组的某个连续片段的引用。

值类型、引用类型

切片属于引用类型,数组属于值类型
引用类型:

  • 切片
  • 字典
  • 管道
  • 函数

值类型:

  • 数组
  • 结构体

长度和容量

数组和切片都用长度和容量。调用len函数,可以得到长度,调用cap函数可以得到容量。
数组的容量永远等于长度,并且是不可变的。
关于切片的容量和长度,看下面的例子:

package main

import "fmt"

func main() {
    s1 := make([]int, 5)
    fmt.Println(len(s1), cap(s1), s1)
    s2 := make([]int, 5, 8)
    fmt.Println(len(s2), cap(s2), s2)
}

先用make声明了一个[]int类型的变量s1,并且传递了一个第二个参数5。指明了切片的长度。
用同样了方式声明了切片s2,这次多传递了一个参数8,指明了切片的容量。
s1的长度是5,通过声明指定。容量也是5,声明时没有指定容量,就和长度一致。
s2的长度是5,通过声明指定。容量是8,也是通过声明进行指定。
下面的切片表达式,可以把s2扩展到其当前最大容量:

s2[0:cap(s2)]

扩容

当切片无法容纳更多的元素时,Go语言就会对切片进行扩容。扩容不会改变原来的切片,而是会生成一个容量更大的切片,然后把原有的元素和新元素拷贝到新切片中。
一般情况下,扩容会把新切片的容量(新容量)变成原来切片容量(原容量)的2倍。
当切片的长度大于或等于1024是,扩容是以1.25倍来增加的。
验证一下上面的扩容策略:

package main

import "fmt"

func main() {
    s1 := make([]int, 3)
    fmt.Println(len(s1), cap(s1), s1)  // 当前容量3
    s1 = append(s1, 1)
    fmt.Println(len(s1), cap(s1), s1)  // 容量翻倍,变成6
    s2 := make([]int, 1023)
    fmt.Println(len(s2), cap(s2))  // 当前容量1023
    s2 = append(s2, 1)
    fmt.Println(len(s2), cap(s2))  // 看着像翻倍,不过是1024的翻倍2048
    s3 := make([]int, 1024)
    s3 = append(s3, 1)
    fmt.Println(len(s3), cap(s3))  // 容量变为1.25倍
}
/* 执行结果
PS G:\Steed\Documents\Go\src\Go36\article07\example02> go run main.go
3 3 [0 0 0]
4 6 [0 0 0 1]
1023 1023
1024 2048
1025 1280
PS G:\Steed\Documents\Go\src\Go36\article07\example02>
*/

验证下来,似乎有一点小偏差。
另外,如果一次追加的元素过多,按上面的规则做一次扩容不够,最终还是会扩容到一个比需要的容量大一些或者正好的容量,不过具体情况有点复杂。可以自己试试看,下面的例子一次可以往切片里追加大量的元素:

package main

import "fmt"

func main() {
    s1 := make([]int, 5, 8)
    var s []int
    s = append(s1, make([]int, 88-5)...)
    fmt.Println(len(s), cap(s))
    s2 := make([]int, 1024)
    s = append(s2, make([]int, 2048-1024)...)
    fmt.Println(len(s), cap(s))
}

不必太在意切片“扩容”策略中的一些细节,只要能够理解它的基本规律,并可以进行近似的估算就可以了。
不过如果有兴趣,更多细节可参见runtime包中slice.go文件里的growslice及相关函数的具体实现。

替换底层数组

无需扩容时,append函数返回的是指向原底层数组的新切片。其实就是底层数组还在那,切片的下标往后加了几位,可以指向到底层数组后面更多的元素了。
需要扩容时,append函数返回的是指向新底层数组的新切片。会创建一个更大容量的新的底层数组,将元素从原切片复制到新的底层数组,然后追加新元素。
希望下面的例子可以说明这里的问题:

package main

import "fmt"

func main() {
    a := [...]int{1,2,3,4,5}  // 这是一个数组,将作为下面切片的底层数组
    s1 := a[:3]
    s1 = append(s1, 11)  // 未发生扩容
    fmt.Println(s1, a)  // s1的新底层数组还是a,往s1末尾添加元素,将覆盖a里原来的值
    s2 := a[:3]
    s2 = append(s2, 21, 22, 23, 24, 25)  // 容量不够,需要扩容
    fmt.Print(s2, a)  // 现在a不再是s2的底层数组了,这里会复制一份数组到一个新的数组,作为新的底层数组。a里的元素不会被覆盖
}

这里在生成数组a的时候推导了数组的长度,而长度也是数组类型的一部分,用上面的方法也可以把长度推导出来。


当前文章:Go36-7-数组和切片
地址分享:http://csdahua.cn/article/joecdj.html
扫二维码与项目经理沟通

我们在微信上24小时期待你的声音

解答本文疑问/技术咨询/运营咨询/技术建议/互联网交流