本文视频地址

slice 是 Go 语言在数组之上提供的一个重要的抽象数据类型。在绝大多数须要应用数组的场合，切片都实现了完满代替。并且和数组相比，切片提供了更通用、性能更弱小且便捷的数据序列拜访接口。

1. 什么是数组

Go 语言数组是一个固定长度的、包容同构类型元素的间断序列。因而 Go 数组类型具备两个属性：元素类型和数组长度。凡是这两个属性雷同的数组类型是等价的。比方上面变量 a、b、c 对应的数组类型是三个不同的数组类型：

var a [8]string
var b [8]byte
var c [9]string

变量 a、b 对应的数组类型长度属性雷同，但元素类型不同,a 是 string,b 是 byte.
变量 a、c 对应的数组类型的元素类型雷同，都是 int，但数组类型的长度不（a 是 8，c 是 9）

Go 的数组是值类型，这点和 JAVA 齐全不同。在 JAVA 中数组是援用类型。在 Go 语言中，传递数组是纯正的值拷贝。

2. 切片到底是什么

在 Go 语言中，数组更多是底层存储空间的角色；而切片是为底层的数组关上了一个拜访的“窗口”。上面看一下切片的源代码

//$GOROOT/src/runtime/slice.go

type slice struct {
        array unsafe.Pointer
        len   int
        cap   int
}
array：是指向上层数组某元素的指针，该元素也是切片的起始元素；len：是切片的长度，即切片中以后元素的个数；cap：是切片的最大容量，cap >= len；

在运行时中，每个切片变量都是一个 runtime.slice 构造体的实例。
创立一个 slice 实例：s1 := make([]byte, 5)，编译器会主动为切片建设一个底层数组，如果没有在 make 中指定 cap 参数，那么 cap = len。

咱们还能够创立对已存在数组进行操作的切片，语法 u[low:max]：
u := [10]byte{10, 12, 23, 14, 15, 16, 17, 88, 69, 20}
s := u[3:7]
切片是 [14 15 16 17]
通过 s 看到的第一个元素是 u[3]，咱们通过 s 能看到并操作的数组元素是 4 个（max-low）。切片的 cap 值取决于底层数组的长度。咱们看到从切片 s 的第一个元素 s[0]，即 u[3] 到数组开端一共有 7 个元素，因而切片 s 的 cap 为 7。

当切片作为函数参数传递给函数时，理论传递的就是切片的外部示意，也就是下面的 runtime.slice 构造体实例，因而无论切片“形容”的底层数组有多大，切片作为参数传递带来的性能损耗都是小到能够忽略不计的。这就是为什么函数在参数中多应用切片而不必数组指针的起因之一。

3. 切片的高级个性：动静扩容

var s []int // s 被赋予零值 nil
s = append(s, 1) 

因为初值为零值，s 这个“描述符”并没有绑定对应的底层数组。而通过 append 操作后，s 显然曾经“绑定”了属于它的底层数组。

append 会依据 slice 对底层数组容量的需要对底层数组进行动静调整。append 在以后底层数组容量无奈满足的状况下，动态分配新的数组，新数组长度会按肯定法则扩大（这里针对元素是 int 型的数组，新数组的容量为以后数组的 2 倍。其余类型的扩大系数可能有所不同），新数组建设后，append 会把旧数组中的数据 copy 到新数组中，之后新数组便成为了 slice 的底层数组，旧数组会被垃圾回收掉。

4. 尽量应用 cap 参数创立 slice

s := make([]T, 0, cap)
这样会防止扩容带来的性能开销，如果能够预估出切片底层数组须要承载的元素数量，强烈建议在创立 slice 时带上 cap 参数。