一文带你深入了解Go语言中切片的奥秘

Go语言基础三

切片的定义

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。

创建切片的方式

package main

import "fmt"
func main() {
  var s1 []int
  if s1 == nil {
     fmt.Println("是空")
  } else {
     fmt.Println("不是空")
  }
  s2 := []int{}
  var s3 []int = make([]int, 0)
  fmt.Println(s1, s2, s3)
  var s4 []int = make([]int, 0, 0)
  fmt.Println(s4)
  s5 := []int{1, 2, 3}
  fmt.Println(s5)
  arr := [5]int{1, 2, 3, 4, 5}
  var s6 []int
  s6 = arr[1:4]
  fmt.Println(s6)
}

我们首先定义了一个未进行初始化变量，名字为s1，数据类型为int类型的数组，同时运用if进行判断，由本题的demo可知，该答案为空；接下来对s1、s2、s3这三个数组进行打印输出，由于三个数组均未进行初始化操作，因此三个数组打印出来的值都是[]；s4数组也未进行初始化的操作，因此s4数组打印输出也是[]；s5数组顾名思义，45 打印出来即为[1，2，3]；我们对s6数组进行初始化操作，并且用arr数组的元素进行处理，使用切片的方法，对s6进行切片，最终打印出来的结果为[2，3，4]

切片初始化

package main

import (
   "fmt"
)

var arr = [...]int{0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
var slice0 []int = arr[2:8]
var slice1 []int = arr[0:6]        //可以简写为 var slice []int = arr[:end]
var slice2 []int = arr[5:10]       //可以简写为 var slice[]int = arr[start:]
var slice3 []int = arr[0:len(arr)] //var slice []int = arr[:]
var slice4 = arr[:len(arr)-1]      //去掉切片的最后一个元素
func main() {
   fmt.Printf("全局变量：arr ％v\n", arr)
   fmt.Printf("全局变量：slice0 ％v\n", slice0)
   fmt.Printf("全局变量：slice1 ％v\n", slice1)
   fmt.Printf("全局变量：slice2 ％v\n", slice2)
   fmt.Printf("全局变量：slice3 ％v\n", slice3)
   fmt.Printf("全局变量：slice4 ％v\n", slice4)
   fmt.Printf("-----------------------------------\n")
   arr2 := [...]int{9, 8, 7, 6, 5, 4, 3, 2, 1, 0}
   slice5 := arr[2:8]
   slice6 := arr[0:6]         //可以简写为 slice := arr[:end]
   slice7 := arr[5:10]        //可以简写为 slice := arr[start:]
   slice8 := arr[0:len(arr)]  //slice := arr[:]
   slice9 := arr[:len(arr)-1] //去掉切片的最后一个元素
   fmt.Printf("局部变量： arr2 ％v\n", arr2)
   fmt.Printf("局部变量： slice5 ％v\n", slice5)
   fmt.Printf("局部变量： slice6 ％v\n", slice6)
   fmt.Printf("局部变量： slice7 ％v\n", slice7)
   fmt.Printf("局部变量： slice8 ％v\n", slice8)
   fmt.Printf("局部变量： slice9 ％v\n", slice9)
}

首先我们根据代码要求定义四个数组，类型均为int类型，并对它们分别进行切片处理。我们在处理slice4数组的时候，做法是去掉切片的最后一个元素

上述运算结果显而易见，作者在这里不再进行阐述，如有不会的，可详细看数组的那一篇文章的讲解

package main

import (
   "fmt"
)

var slice0 []int = make([]int, 10)
var slice1 = make([]int, 10)
var slice2 = make([]int, 10, 10)

func main() {
   fmt.Printf("make全局slice0 ：％v\n", slice0)
   fmt.Printf("make全局slice1 ：％v\n", slice1)
   fmt.Printf("make全局slice2 ：％v\n", slice2)
   fmt.Println("--------------------------------------")
   slice3 := make([]int, 10)
   slice4 := make([]int, 10)
   slice5 := make([]int, 10, 10)
   fmt.Printf("make局部slice3 ：％v\n", slice3)
   fmt.Printf("make局部slice4 ：％v\n", slice4)
   fmt.Printf("make局部slice5 ：％v\n", slice5)
}

由于上述的全局变量和局部变量均未进行初始化的操作，因此数组的值全部为0

package main

import (
   "fmt"
)

func main() {
   data := [...]int{0, 1, 2, 3, 4, 5}

   s := data[2:4]
   s[0] += 100
   s[1] += 200

   fmt.Println(s)
   fmt.Println(data)
}

在main函数中，我们定义了一个名为data，长度为任意类型，数据类型为int类型的数组，并进行初始化赋值的操作；使用变量s对数组data进行切片处理，同时秉持着包前不包后的语法规则，顾切片元素应为{2，3}，在下一步的赋值操作里面，我们将2进行赋值操作（索引为0），得到的结果为102 ；同理，s[1]得到的值为203。紧接着最后一个打印输出大家也很清楚啦，就不作赘述了

package main

import "fmt"

func main() {
   s1 := []int{0, 1, 2, 3, 8: 100} // 通过初始化表达式构造，可使用索引号。
   fmt.Println(s1, len(s1), cap(s1))

   s2 := make([]int, 6, 8) // 使用 make 创建，指定 len 和 cap 值。
   fmt.Println(s2, len(s2), cap(s2))

   s3 := make([]int, 6) // 省略 cap，相当于 cap = len。
   fmt.Println(s3, len(s3), cap(s3))
}

由上方代码可知，我们定义了一个名为s1，数组长度为9，数据类型为int类型的数组。我们在调用函数打印输出的时候，由于数组中第9个元素被替换为100，所以最终的结果是[0 1 2 3 0 0 0 0 100] 9 9，后两个数组同理；值得一提的是，如果我们省略写cap，则默认为cap = len

package main

import "fmt"

func main() {
   s := []int{0, 1, 2, 3}
   p := &s[2] // *int, 获取底层数组元素指针。
   *p += 100

   fmt.Println(s)
}

我们定义了一个数组，里面存放了4个元素，接着我们使用&来获取底层数组元素指针，然后使其带有+100的操作，最终索引为3的元素就被赋值成了102，因此最后的结果是[0 1 102 3]

package main

import (
   "fmt"
)

func main() {
   d := [5]struct {
       x int
   }{}

   s := d[:]

   d[1].x = 10
   s[2].x = 20

   fmt.Println(d)
   fmt.Printf("％p, ％p\n", &d, &d[0])

}

我们在main方法里面定义了一个函数体结构，在函数体里面定义了一个int类型的变量，名为x，紧接着我们将数组d拷贝到s中，同时将d数组中索引为1的元素赋值为10；同理，索引为2的元素赋值为20，因此打印的结果为[{0} {10} {20} {0} {0}]，紧接着关于地址值的打印就不做赘述啦

来源：https://juejin.cn/post/7169011550437998606