你真的懂Go的切片吗？

介绍

本文翻译自：https://blog.golang.org/go-slices-usage-and-internals
Go中的切片提供了一种方便、有效的处理一系列特定类型值的方式。切片在其他语言中和数组是相似的，但是有一些不同的特性。这篇文章将会讨论切片，以及如何使用它们。

数组

在go中切片是建立于数组之上的，所以在理解切片之前，我们必须先理解数组。

数组在定义的时候需要明确长度和元素的类型。例如，类型[4]int表示的是一个长度为4的数组。数组的长度是固定的，长度是数组类型的一部分。也就是说[4]int和[5]int是两个截然不同的类型。数组通过索引的方式取值，表达式s[n]用于获取数组的第n个元素，数组的索引是从0开始的。

数组不用明显的初始化(译者注:不用每个位置的值都初始化)，数组的元素的初始值都是该数组对应类型的零值。

// a[2] == 0, the zero value of the int type

内存中[4]int是连续分布的四个整型值。

go中的数组是值传递的。一个数组变量表示的是整个数组；而不是像在C语言中一样是一个指向数组第一个元素的指针。这意味着当你赋值或者传递数组的时候，你使用的是数组的一个copy。(你可以通过传递数组指针的方式来进行这种操作)。我们可以认为数组是一个通过索引而不是使属性取值的结构体:一个长度固定的符合类型元素。

你可以通过如下方式定义一个数组

b := [2]string{
   "Penn", "Teller"}

或者，你也可以让编译器来为你计算数组的长度

b := [...]string{
   "Penn", "Teller"}

上面两个case中，数组的类型都是[2]string

切片

go中数组是由存在的意义的，但是由于有一点僵化(大小固定)，所以你很少在Go的代码中见到它们。然而，到处都可以见到切片。切片是基于数组构建的，为开发者提供了巨大的能力和方便。

切片通过[]T来定义，其中T代表的是切片中元素的类型。不需要和数组一样，切片并不明确的定义一个长度。

切片在字面上的声明和相似，除了你不需要说明长度:

letters := []string{
   "a", "b", "c", "d"}

切片也可以通过go内置的函数make来进行创建，其签名(函数定义的方式？？？)如下,

func make([]T, len, cap) []T

其中T表示切片中元素的类型。函数make接受的参数包括类型(type)、长度(len)以及可选的容量(cap)。当make被如此调用的时候，就会分配一个数组并返回表示此数组的切片。

var s []byte
s = make([]byte, 5, 5)
// s == []byte{0, 0, 0, 0, 0}

当容量(cap)参数省略的时候，其默认值和长度一样。下面是和上面一致的更简明的代码:

s := make([]byte, 5)

切片的长度和容量可以通过内置函数len和cap分别进行检查

len(s) == 5
cap(s)