在GO语言中,一个切片的底层是由数组实现的。这就意味着切片的数据被连续存储在数组数据结构中。当添加元素时,切片还需要处理一些额外的逻辑,如,在数组已满或者数组空闲的时候缩小数组。
在内部,一个切片包含一个指向数组的指针,加上一个长度和一个容量。长度是指切片包含的元素数,而容量是指数组中可容纳的元素数。下面通过几个例子来了解这两个概念。
首先,初始化一个具有给定长度和容量的切片:
s := make([ ]int,3,6) //长度为3、容量为6的切片
第一个参数表示长度,是必须的。第二个表示容量的参数是可选的。下图显示了此代码在内存中的结果
在这种情况下,make命令创建了一个由6个元素组成的数组(容量)。但由于长度被设为3,所以GO只初始化了前3个元素。另外,由于切片是[ ]int类型的,前3个元素被初始化为零值 int:0。灰色元素被分配但尚未使用。
如果我们打印这个切片,会得到长度范围内的元素:[0 0 0]。如果将s[1]设置为1,切片的第二个元素将被更新,但不会影响其长度或容量。如下图所示: