[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`來判斷。