结构
切片的定义与数组十分相似,不过切片的长度与容量都是动态的,下面是切面的数据结构:
其中Data是指向数组的指针,Len为长度,Cap为容量。
初始化
切片有3种初始化的方式:
通过下标的方式获得数组或者切片的一部分:arr[0:3] or slice[0:3]
使用这种方式创建编译器会将arr[0:3] or slice[0:3]等语句转换成下列的操作
创建新切片的时候会有4个参数,分别是元素类型,数组的指针,切片大小和容量。这也和上面提到的结构是一致的。另外,可以发现,使用下标创建的切片并不是拷贝原数组或者切片,而是创建一个指针指向原数组或原切片的指针,因此,这也是为什么修改切片会影响原数组或原切片的原因。
使用字面量初始化新的切片;
当使用[]int{1,2,3}创建切片的时候,相当于底层新创建了一个数组,然后再用[:]操作生成切片,在编译期间会展开成以下代码段:
使用关键字 make 创建切片:
使用make创建的时候我们需要传入切片的Len,cap可选,如果不填的话默认和len相同。在创建的时候会进行检查,防止cap<len,或者len<0,这些都是不允许的。
然后同样是创建一个数组,然后通过标生成切片,例如make([]int,3,4)可以转换成以下的代码
追加和扩容
使用append操作进行追加是常见的操作,追加有两种不用的方式,
赋值回原变量arr = append(arr,1)
这种方式的处理流程如下,可以看到原切片的数据是受到了影响的,并且长度增加了(如果扩容,容量也增加)。
不赋值回去,arr2 = append(arr,1)
这种方式处理流程如下,对比上面,少了一步切片长度的增加。即这种方式原切片虽然在末尾增加了元素,但是长度没有增加,此时我们不能够访问,如果访问就会报错。
追加元素的时候,容易遇到容量不足的情况,这个时候就需要我们扩容,大致的扩容步骤如下:
如果期望容量大于当前容量的两倍就会使用期望容量;
如果当前切片的长度小于 1024 就会将容量翻倍;
如果当前切片的长度大于 1024 就会每次增加 25% 的容量,直到新容量大于期望容量;
但是并不是说一定会按照上面的方式扩容,上面的方式仅是确认大致的容量,还要根据切片中的元素内存对齐,从而确认最终的容量大小。关于内存对齐,在结构体的创建中也会收到内存对齐的影响,后面单独开一个坑来总结内存对齐。
下述代码的容量按照条件一,使用期望容量,应该为5,但是并不是,由于内存对齐的原因,此时新容量为6。当前5个整型数,期望的容量是40字节,但是由于内存对齐,需要字节数是8的倍数,向上取整到48字节,所以新切片的容量为48/8=6。