slice本身并非动态数组或数组指针。它内部通过指针引用底层数组,设定相关属性将数据读写操作限定在指定区域内。
type slice struct {
array unsafe.Pointer
len int
cap int
}
属性cap表示切片所引用数组片段的真实长度,len用于限定可读的写元素数量。另外,数组必须addressable,否则会引发错误
切片:
1.切片是数组的一个引用,因此切片是引用类型。但自身是结构体,值拷贝传递。
-
切片的长度可以改变,因此,切片是一个可变的数组。
-
切片遍历方式和数组一样,可以用len()求长度。表示可用元素数量,读写操作不能超过该限制。
-
cap可以求出slice最大扩张容量,不能超出数组限制。0 <= len(slice) <= len(array),其中array是slice引用的数组。
-
切片的定义:var 变量名 []类型,比如 var str []string var arr []int。
-
如果 slice == nil,那么 len、cap 结果都等于 0。
切片的内存布局:
make函数允许在运行期动态指定数组的长度,绕开了数组类型必须使用编译器常量的限制
数据被追加到原底层数组,如超出cap限制,则为新切片对象重新分配数组
注意:
1、是超出切片cap限制,而非底层数组长度限制,因为底层数组可大于cap
2、新分配的数组长度是原cap的2倍,而非原数组的两倍
(并非总是2倍,对于较大的切片,会尝试扩容1/4,以节约内存