[Golang]也许有你不知道的，Array和Slice(2)

Golang中的slice

1）基础

Slice更类似于"其他语言中的array"，简单来说，它是一个指向一段数组的指针。

首先看看其声明：

var intSlice []int

上面声明了intSlice是一个指向int数组的slice，注意中括号里为空，这区别于array的声明；
另外这只是一个声明，所以intSlice会得到一个slice的默认值，即为nil：

fmt.Printf("intSlice == nil? %v\n", intSlice == nil)
输出：
intSlice == nil? true

注意slice只能跟nil比较，如果你想尝试下面这代码：

letsTry := intSlice
fmt.Printf("intSlice == letsTry? %v\n", intSlice == letsTry)

你会得到下面这个错误信息：

invalid operation: intSlice == letsTry (slice can only be compared to nil)

接下来我们尝试创建一个数组并赋给intSlice：

intSlice = make([]int, 1, 3)

make()是builtin的方法，可以创建slice, map, chan，当然这里只讨论slice。
第一个参数是你要创建的东西的类型，这里要创建一个指向int数组的slice，即[]int；
第二个参数是该slice的长度，第三个参数是该slice的容量，这里分别是1和3；长度和容量分别代表什么，接下来我们会慢慢讲解。
我们先看一下我们刚才究竟创建了什么：

fmt.Printf("the intSlice is: %v, len: %d, cap: %d \n", intSlice, len(intSlice), cap(intSlice))
输出：
the intSlice is: [0], len: 1, cap: 3

通过结果我们知道，刚才我们创建了一个长度为1(拥有一个元素)的数组，其元素的值为0（默认值）；
所以，当我们尝试得到第二个元素，即intSlice[1]时：

fmt.Printf("The intSlice[1] is: %d\n", intSlice[1])
报错：
panic: runtime error: index out of range

那当我们想向数组增加一个元素时怎么办？这就是cap的作用了。只要在cap的范围类，我们可以增加数组长度：

intSlice = intSlice[:len(intSlice)+1]

等号右面的代码返回一个新的slice，新的slice与intSlice指向同一个内存地址，但对内存里的array添加了一个默认元素，且长度+1；
将新的slice赋给intSlice，现在我们看看其内容：

fmt.Printf("the intSlice is: %v, len: %d, cap: %d \n", intSlice, len(intSlice), cap(intSlice))
输出
the intSlice is: [0 0], len: 2, cap: 3 

当然上面的操作看起来有点复杂，其实有更简单的表达，使用自带的append方法：

intSlice = append(intSlice, 0)
fmt.Printf("the intSlice is: %v, len: %d, cap: %d \n", intSlice, len(intSlice), cap(intSlice))
输出：
the intSlice is: [0 0 0], len: 3, cap: 3

暂时还没问题；append()的用法在下一篇文章会具体说明。
那这数组长度可以无限增加吗？我们先舍弃append，继续使用一开始的扩展方式：

intSlice = intSlice[:len(intSlice)+1]
fmt.Printf("the intSlice is: %v, len: %d, cap: %d \n", intSlice, len(intSlice), cap(intSlice))
报错：
panic: runtime error: slice bounds out of range

这里报错了，slice的len是不能超过其cap的。

在解决上面这个问题之前，先详细说明一下make([]int, 1, 3)究竟做了些什么。

2）make的细节

首先，它在内存里分配了一段连续空间，这段空间的大小等于拥有3（cap）个元素的int数组（即[3]int{}），注意，只是空间大小相等；
然后，它在这段连续空间的开始位置，创建一个只有1（len）个元素的int数组，即[1]int{}；

最后，它创建并返回一个slice，这个slice包含3个信息，指向的元素类型及内存位置（这里是刚才[1]int{}的第一个元素）、len（长度，这里为1），cap（容量，这里为3）

3）append的细节

好的，我们回到1）中最后的问题：如果一个slice的长度已达到其容量，而我想继续扩展，该怎么办呢？很简单，建立一个更大连续空间，并把原本slice的内容复制进去。

而其实builtin里已存在方法能智能帮我们完成这动作：就是刚才的append()。

newIntSlice := append(intSlice, 0)
fmt.Printf("the newIntSlice is: %v, len: %d, cap: %d \n", newIntSlice, len(newIntSlice), cap(newIntSlice))
输出：
the newIntSlice is: [0 0 0 0], len: 4, cap: 6

我们可以看到newIntSlice的cap是原来的两倍。当len要超过cap时，append会帮我们创建一个容量是之前两倍的连续空间来存放元素
那newIntSlice中的前三个元素是从intSlice复制过来的吗（而不是用slice指向）？我们验证一下：

newIntSlice[0] = 1
fmt.Printf("the newIntSlice is: %v, len: %d, cap: %d \n", newIntSlice, len(newIntSlice), cap(newIntSlice))
fmt.Printf("the intSlice is: %v, len: %d, cap: %d \n", intSlice, len(intSlice), cap(intSlice))
输出：
the newIntSlice is: [1 0 0 0], len: 4, cap: 6
the intSlice is: [0 0 0], len: 3, cap: 3

上面测试可以看出，修改newIntSlice不会影响intSlice。
当然intSlice与newIntSlice是相同类型的，可以直接用newIntSlice覆盖intSlice：
最后补充一下，创建slice的make方法可以只用两个参数，如make([]int, 3)，这样得到的slice的len与cap都为3。

一下篇将会讨论slice的一些操作技巧

---