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

2020-12-09 本文已影响0人亦一银河

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』？
- 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不行