go的『slice』和『数组[]』区别、常见错误分析

Slice和数组概念定义以及区别

• 数组

数组是一个由固定长度的特定类型元素组成的序列，一个数组可以由零个或多个元素组成。

• slice

Slice(切片)代表变长的序列，序列中每个元素都有相同的类型。一个slice类型一般写作 []T，其中T代表slice中元素的类型;slice的语法和数组很像，只是没有固定长度而已。

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

image

如图所示，slice的结构，指针、长度(len)、容量(cap)。

• 区别对比

最大区别：slice长度可变

区别对比	数组	slice
长度	固定	可变
元素类型	单一且固定	单一且固定
构成部分	一系列元素	指针、长度(len)、和容量(cap)（底层引用一个数组对象）
指针指向	指向数组的第一个元素地址	指向第一个slice元素对应的底层数组元素的地址， 要注意的是slice的第一个元素并不一定就是数组的第一个元素
初始化	默认值是零值，需要初始化长度	默认值是零值，不需要初始化长度

slice和数组常见问题以及注意事项

• 如何区分『数组』和『Slice』？
  • var arr1 []int，无长度定义，则是Slice而且是nil slice
  • arr2 := make([]int, 5)，make定义一定是slice
  • arr3 := []int{}，无长度定义，则是Slice
  • var arr4 [5]int，有长度定义，则是Array
• 数组需要初始化长度才可以使用

// 数组初始化，带长度
var arr1 [5]int
// 数组初始化，不带固定长度，但是需要初始化数据，初始化以后长度固定
arr2 := [...]int{1,2,3,4,5}    // 在定义数据以后，arr2长度固定为5

• 如何判定Slice是否是空的？（Slice判空）

  绝对不能用 if slice == nil 这样的方式

  因为可以创建nil的slice

  • 正确方法：len(slice) == 0

  空slice和nil slice的对比，深度理解为什么 slice == nil 不可行

  var s1 []int // nil slice

  s2 := []int{} // empty slice

  基础结构	nil slice	empty slice
  array	0	0x6736adb0
  Len	0	0
  Cap	0	0
  与nil比较	True	False

  但是呢，官方建议尽量使用 nil 切片

• Slice复制的坑

  不能像这样直接复制s2 := s1[:]，如果这样操作，在改变s1的时候s2的值也会被相应改变，因为他们的底层数据结构也就是数组指向相同的地址，那么就是共同的数据，这是一个大坑！

  在复制 slice 的时候，slice 中数组的指针也被复制了（上面结构体所示），因此在。在出发扩容逻辑之前（扩容会产生新的数组，底层指针指向地址被改变），两个 slice 指向的是相同的数组，出发扩容逻辑之后指向的就是不同的数组了。

• 数组可以使用 == 进行比较，但是slice不行

何时用Slice？何时用数组？

使用数组

• 当数据长度已知，不需要改变长度

使用Slice

• 长度未知，需要动态改变