go - Go 中的 slice : why does it allow appending more than the capacity allows?

Question

在 Go 中制作 slice 时的 capacity 参数对我来说意义不大。例如，

aSlice := make([]int, 2, 2) //a new slice with length and cap both set to 2
aSlice = append(aSlice, 1, 2, 3, 4, 5) //append integers 1 through 5
fmt.Println("aSlice is: ", aSlice)  //output [0, 0, 1, 2, 3, 4, 5]

如果slice允许插入的元素多于capacity允许的，那为什么还要在make()函数中设置呢？

Answer 1

内置 append()函数使用指定的 slice 将元素 append 到如果它有足够大的容量来容纳指定的元素。

但如果传递的 slice 不够大，它分配一个新的、足够大的 slice ，将传递的 slice 中的元素复制到新 slice 并将元素 append 到新 slice 。并返回这个新 slice 。引用自 append() 文档:

The append built-in function appends elements to the end of a slice. If it has sufficient capacity, the destination is resliced to accommodate the new elements. If it does not, a new underlying array will be allocated. Append returns the updated slice. It is therefore necessary to store the result of append, often in the variable holding the slice itself:

用make制作 slice 时，如果长度和容量相同，容量可以省略，此时默认为指定长度:

// These 2 declarations are equivalent:
s := make([]int, 2, 2)
s := make([]int, 2)

另请注意，append() 在 slice 的最后一个元素之后追加元素。上面的 slice 在声明之后已经有了 len(s) == 2，所以如果你只向它 append 1 个元素，它会导致重新分配，如本例所示:

s := make([]int, 2, 2)
fmt.Println(s, len(s), cap(s))
s = append(s, 1)
fmt.Println(s, len(s), cap(s))

输出:

[0 0] 2 2
[0 0 1] 3 4

所以在你的例子中你应该做的是这样的:

s := make([]int, 0, 10) // Create a slice with length=0 and capacity=10
fmt.Println(s, len(s), cap(s))
s = append(s, 1)
fmt.Println(s, len(s), cap(s))

输出:

[] 0 10
[1] 1 10

如果您想更详细地了解 slice ，我推荐以下博客文章:

Go Slices: usage and internals

Arrays, slices (and strings): The mechanics of 'append'