[TOC] ## 切片的定义 ### 声明 ~~~ var name []T ~~~ * name:表示变量名 * T:表示切片中的元素类型 ~~~ func main() { // 声明切片类型 var a []string //声明一个字符串切片 var b = []int{} //声明一个整型切片并初始化 var c = []bool{false, true} //声明一个布尔切片并初始化 var d = []bool{false, true} //声明一个布尔切片并初始化 fmt.Println(a) //[] fmt.Println(b) //[] fmt.Println(c) //[false true] fmt.Println(a == nil) //true fmt.Println(b == nil) //false fmt.Println(c == nil) //false // fmt.Println(c == d) //切片是引用类型，不支持直接比较，只能和nil比较 } ~~~ ### 切片的长度和容量 切片拥有自己的长度和容量，我们可以通过使用内置的`len()`函数求长度，使用内置的`cap()`函数求切片的容量。 ### 切片表达式 两种变体：一种指定low和high两个索引界限值的简单的形式，另一种是除了low和high索引界限值外还指定容量的完整的形式。 #### 简单切片表达式 切片的底层就是一个`数组`，所以我们可以基于数组通过切片表达式得到切片。 切片表达式中的`low`和`high`表示一个索引范围（左包含，右不包含），切片的 `长度=high-low`， 注：容量（cap）等于`数组的长度-切片low的位置`。 ~~~ func main() { a := [5]int{1, 2, 3, 4, 5} s := a[1:3] // s := a[low:high] fmt.Printf("s:%v len(s):%v cap(s):%v\n", s, len(s), cap(s)) } ~~~ output： ~~~ s:[2 3] len(s):2 cap(s):4 ~~~ 为了方便起见，可以省略切片表达式中的任何索引。省略了`low`则默认为0；省略了`high`则默认为切片操作数的长度: ~~~ a[2:] // 等同于 a[2:len(a)] a[:3] // 等同于 a[0:3] a[:] // 等同于 a[0:len(a)] ~~~ **注意：** 对于数组或字符串，如果`0 <= low <= high <= len(a)`，则索引合法，否则就会索引越界（out of range）。 对切片再执行切片表达式时（切片再切片），`high`的上限边界是切片的容量`cap(a)`，而不是长度。**常量索引**必须是非负的，并且可以用int类型的值表示;对于数组或常量字符串，常量索引也必须在有效范围内。如果`low`和`high`两个指标都是常数，它们必须满足`low <= high`。如果索引在运行时超出范围，就会发生运行时`panic`。 ~~~ func main() { a := [5]int{1, 2, 3, 4, 5} s := a[1:3] // s := a[low:high] fmt.Printf("s:%v len(s):%v cap(s):%v\n", s, len(s), cap(s)) s2 := s[3:4] // 索引的上限是cap(s)而不是len(s) fmt.Printf("s2:%v len(s2):%v cap(s2):%v\n", s2, len(s2), cap(s2)) } ~~~ output： ~~~ s:[2 3] len(s):2 cap(s):4 s2:[5] len(s2):1 cap(s2):1 ~~~ #### 完整切片表达式 对于数组，指向数组的指针，或切片a(**注意不能是字符串**)支持完整切片表达式： ~~~go a[low : high : max] ~~~ 上面的代码会构造与简单切片表达式`a[low: high]`相同类型、相同长度和元素的切片。另外，它会将得到的结果切片的容量设置为`max-low`。在完整切片表达式中只有第一个索引值（low）可以省略；它默认为0。 ~~~go func main() { a := [5]int{1, 2, 3, 4, 5} t := a[1:3:5] fmt.Printf("t:%v len(t):%v cap(t):%v\n", t, len(t), cap(t)) } ~~~ output： ~~~ t:[2 3] len(t):2 cap(t):4 ~~~ 完整切片表达式需要满足的条件是`0 <= low <= high <= max <= cap(a)`，其他条件和简单切片表达式相同。 ### 使用make()函数构造切片 格式： ~~~ make([]T, size, cap) ~~~ 其中： * T:切片的元素类型 * size:切片中元素的数量 * cap:切片的容量 eg: ~~~ func main() { a := make([]int, 2, 10) fmt.Println(a) //[0 0] fmt.Println(len(a)) //2 fmt.Println(cap(a)) //10 } ~~~ 代码中`a`的内部存储空间已经分配了10个，但实际上只用了2个。 容量并不会影响当前元素的个数，所以`len(a)`返回2，`cap(a)`则返回该切片的容量。 ## 空(nil)切片 一个切片在未初始化之前默认为 nil，长度为 0 ~~~ var numbers []int     fmt.Println(numbers) // []     fmt.Printf("%p", &numbers)//0xc000004078 ~~~ 空的切片地址都是一样的，不分类型，(当你在同一个方法中，同时去取不同类型切片地址时，是不一样的) ### 切片的本质 再次强调 `切片的本质就是对底层数组的封装`,它包含了三个信息：底层数组的指针、切片的长度（len）和切片的容量（cap）。 eg:现在有一个数组`a := [8]int{0, 1, 2, 3, 4, 5, 6, 7}`，切片`s1 := a[:5]`，相应示意图如下。  切片`s2 := a[3:6]`，相应示意图如下：  ### 判断切片是否为空 要检查切片是否为空，要用`len(s) == 0`来判断，而不应该使用`s == nil`来判断。