切片注意点及其底层原理

slice本身并非动态数组或数组指针。它内部通过指针引用底层数组，设定相关属性将数据读写操作限定在指定区域内。

type slice struct {
    array unsafe.Pointer
    len int
    cap int
}

属性cap表示切片所引用数组片段的真实长度，len用于限定可读的写元素数量。另外，数组必须addressable，否则会引发错误

切片：

1.切片是数组的一个引用，因此切片是引用类型。但自身是结构体，值拷贝传递。

2. 切片的长度可以改变，因此，切片是一个可变的数组。

3. 切片遍历方式和数组一样，可以用len()求长度。表示可用元素数量，读写操作不能超过该限制。

4. cap可以求出slice最大扩张容量，不能超出数组限制。0 <= len(slice) <= len(array)，其中array是slice引用的数组。

5. 切片的定义：var 变量名 []类型，比如 var str []string var arr []int。

6. 如果 slice == nil，那么 len、cap 结果都等于 0。

切片的内存布局：

make函数允许在运行期动态指定数组的长度，绕开了数组类型必须使用编译器常量的限制

数据被追加到原底层数组，如超出cap限制，则为新切片对象重新分配数组

注意：

1、是超出切片cap限制，而非底层数组长度限制，因为底层数组可大于cap

2、新分配的数组长度是原cap的2倍，而非原数组的两倍

（并非总是2倍，对于较大的切片，会尝试扩容1/4，以节约内存