Go基础系列：Go slice分片切片详解

slice表示切片(分片)，例如对一个数组进行切片，取出数组中的一部分值。在现代编程语言中，slice(切片)几乎成为一种必备特性，它可以从一个数组(列表)中取出任意长度的子数组(列表)，为操作数据结构带来非常大的便利性，如python、perl等都支持对数组的slice操作，甚至perl还支持对hash数据结构的slice。

但Go中的slice和这些语言的slice不太一样，前面所说的语言中，slice是一种切片的操作，切片后返回一个新的数据对象。而Go中的slice不仅仅是一种切片动作，还是一种数据结构(就像数组一样)。

slice的存储结构

Go中的slice依赖于数组，它的底层就是数组，所以数组具有的优点，slice都有。且slice支持可以通过append向slice中追加元素，长度不够时会动态扩展，通过再次slice切片，可以得到得到更小的slice结构，可以迭代、遍历等。

实际上slice是这样的结构：先创建一个有特定长度和数据类型的底层数组，然后从这个底层数组中选取一部分元素，返回这些元素组成的集合(或容器)，并将slice指向集合中的第一个元素。换句话说，slice自身维护了一个指针属性，指向它底层数组中的某些元素的集合。

例如，初始化一个slice数据结构：

slice := make([]int, 3，5) // 输出slice fmt.Println(my_slice) // 输出：[0 0 0]

这表示先声明一个长度为5、数据类型为int的底层数组，然后从这个底层数组中从前向后取3个元素(即index从0到2)作为slice的结构。

如下图：

 

每一个slice结构都由3部分组成：容量(capacity)、长度(length)和指向底层数组某元素的指针，它们各占8字节(1个机器字长，64位机器上一个机器字长为64bit，共8字节大小，32位架构则是32bit，占用4字节)，所以任何一个slice都是24字节(3个机器字长)。

• Pointer：表示该slice结构从底层数组的哪一个元素开始，该指针指向该元素
• Capacity：即底层数组的长度，表示这个slice目前最多能扩展到这么长
• Length：表示slice当前的长度，如果追加元素，长度不够时会扩展，最大扩展到Capacity的长度(不完全准确，后面数组自动扩展时解释)，所以Length必须不能比Capacity更大，否则会报错

对上面创建的slice来说，它的长度为3，容量为5，指针指向底层数组的index=0。

可以通过len()函数获取slice的长度，通过cap()函数获取slice的Capacity。

1
2
3
4
my_slice := make([]int,3,5)

fmt.Println(len(my_slice))  // 3
fmt.Println(cap(my_slice))  // 5

还可以直接通过print()或println()函数去输出slice，它将得到这个slice结构的属性值，也就是length、capacity和pointer：

1
2
my_slice := make([]int,3,5)
println(my_slice)      // [3/5]0xc42003df10

[3/5]表示length和capacity，0xc42003df10表示指向的底层数组元素的指针。

务必记住slice的本质是[x/y]0xADDR，记住它将在很多地方有助于理解slice的特性。另外，个人建议，虽然slice的本质不是指针，但仍然可以将它看作是一种包含了另外两种属性的不纯粹的指针，也就是说，直接认为它是指针。其实不仅slice如此，map也如此。

创建、初始化、访问slice

有几种创建slice数据结构的方式。

一种是使用make()：

1
2
3
4
5
// 创建一个length和capacity都等于5的slice
slice := make([]int,5)

// length=3,capacity=5的slice
slice := make([]int,3,5)

make()比new()函数多一些操作，new()函数只会进行内存分配并做默认的赋0初始化，