在其他编程语言中,往往采用数组来存储一组具有相同类型元素的顺序集合。当然,Go语言中也有数组这一数据结构,不过Go语言还有一个用得更多的特有的数据结构——切片(Slice
)。切片与数组的联系非常紧密,它底层是对数组一个连续片段的引用,这个数组称为切片的底层数组。
在Go
语言中,数组是一个固定长度的序列,而切片则是一个可变长度的序列。切片是建立在数组之上的,它提供了动态数组的功能,可以根据需要动态地增加或缩小切片的长度。
Slice(切片)代表变长的序列,序列中每个元素都有相同的类型。一个slice类型一般写作[]T
,其中T代表slice中元素的类型;slice的语法和数组很像,只是没有固定长度而已。
slice是无固定长度的数组,底层结构是一个结构体go
代码解读复制代码type slice struct {
array unsafe.Pointer
len int
cap int
}
一个slice由三个部分构成:指针、长度和容量。
golang中通过语法糖,使得我们可以像声明数组一样,自动创建slice结构体。
多个slice之间可以共享底层的数据,并且引用的数组部分区间可能重叠。
如果切片操作超出cap(s)的上限将导致一个panic异常,但是超出len(s)则是意味着扩展了slice,因为新slice的长度会变大:
字符串的切片操作和[]byte字节类型切片的切片操作是类似的。都写作x[m:n],并且都是返回一个原始字节序列的子序列,底层都是共享之前的底层数组,因此这种操作都是常量时间复杂度。
因为slice值包含指向第一个slice元素的指针,因此向函数传递slice将允许在函数内部修改底层数组的元素。换句话说,复制一个slice只是对底层的数组创建了一个新的slice别名
注意的是slice类型的变量s和数组类型的变量a的初始化语法的差异:
对于slice并没有指明序列的长度。这会隐式地创建一个合适大小的数组,然后slice的指针指向底层的数组
slice之间不能比较!!
标准库提供了高度优化的bytes.Equal函数来判断两个字节型slice是否相等([]byte),但是对于其他类型的slice,我们必须自己展开每个元素进行比较:go
代码解读复制代码func equal(x, y []string) bool {
if len(x) != len(y) {
return false
}
for i := range x {
if x[i] != y[i] {
return false
}
}
return true
}
slice唯一合法的比较操作是和nil比较
一个零值的slice等于nil。一个nil值的slice并没有底层数组。一个nil值的slice的长度和容量都是0,但是也有非nil值的slice的长度和容量也是0的
与任意类型的nil值一样,我们可以用[]int(nil)
类型转换表达式来生成一个对应类型slice的nil值。go
代码解读复制代码var s []int // len(s) == 0, s == nil
s = nil // len(s) == 0, s == nil
s = []int(nil) // len(s) == 0, s == nil
s = []int{} // len(s) == 0, s != nil
如果你需要测试一个slice是否是空的,使用len(s) == 0
来判断
除了文档已经明确说明的地方,所有的Go语言函数应该以相同的方式对待nil值的slice和0长度的slice。
内置的make函数创建一个指定元素类型、长度和容量的slice。容量部分可以省略,在这种情况下,容量将等于长度。go
代码解读复制代码make([]T, len)
make([]T, len, cap) // same as make([]T, cap)[:len]
在底层,make创建了一个匿名的数组变量,然后返回一个slice;只有通过返回的slice才能引用底层匿名的数组变量。在第一种语句中,slice是整个数组的view。在第二个语句中,slice只引用了底层数组的前len个元素,但是容量将包含整个的数组。额外的元素是留给未来的增长用的。