Go：数组与切片的区别

假设如下代码：

func f() {
       x, y := make([]byte, 9000), make([]byte, 9)
       a := x
       b := y
       // ...
 }

大多数人按照“直观”的理解可能会觉得执行 a := x  会比 b := y  代价更高，因为切片 x  比 y  大得多。其实 x  和 y  的数据类型都是  []byte ，在 Go 内部每个切片实际存储的数据是三个 uintptr  的长度，所以对 a  和 b  的赋值需要的代价是一样的，与切片数据的实际长度无关。

需要特别说明的是，在 Go 语言中有两种看起来很像的数据类型：数组（array）和切片（slice）。

数组

数组的长度是固定的，比如 [4]int{}  表示一个长度为 4 的 int  数组，其在内存中的数据结构是这样的：

当将数组赋值给一个变量，实际上会将数组的整块内存区域都复制一份。

切片

切片的长度是不固定的，可以随使用需要动态增长，通过 []int{}  表示一个 int  切片，其在内存中的数据结构是这样的：

第一部分是切片对应的数组指针（ptr），第二部分是切片的长度（len），第三部分是切片的容量（cap）（即所指向的数组的实际长度）。当将切片复制给一个变量，实际上是将切片的 ptr、len、cap 这三项数据复制一份，而数据指向的数组还是原来那个。所以此时修改了切片某个索引位置的数据时，会影响到所有相同 ptr 的切片。

参考链接

• Are large slices more expensive than smaller ones?^[1] , Dave Cheney
• Go Slices: usage and internals^[2], The Go Blog

参考资料