切片扩容

相对于数组而言,使用切片的一个好处是:

:::info 可以按需增加切片的容量。Golang 内置的 append() 函数会处理增加长度时的所有操作细节。

:::

要使用 append() 函数,需要一个被操作的切片和一个要追加的值,当 append()函数返回时,会返回一个包含修改结果的新切片。函数 append() 总是会增加新切片的长度,而容量有可能会改变,也可能不会改变,这取决于被操作的切片的可用容量。

  1. myNum := []int{10, 20, 30, 40, 50}
  2. // 创建新的切片,其长度为 2 个元素,容量为 4 个元素
  3. newNum := myNum[1:3]
  4. // 使用原有的容量来分配一个新元素
  5. // 将新元素赋值为 60
  6. newNum = append(newNum, 60)

执行上面的代码后的底层数据结构如下图所示:

切片扩容 - 图1

此时因为 newNum 在底层数组里还有额外的容量可用,append() 函数将可用的元素合并入切片的长度,并对其进行赋值。由于和原始的切片共享同一个底层数组,myNum 中索引为 3 的元素的值也被改动了。

如果切片的底层数组没有足够的可用容量,append() 函数会创建一个新的底层数组,将被引用的现有的值复制到新数组里,再追加新的值,此时 append 操作同时增加切片的长度和容量:

  1. // 创建一个长度和容量都是 4 的整型切片
  2. myNum := []int{10, 20, 30, 40}
  3. // 向切片追加一个新元素
  4. // 将新元素赋值为 50
  5. newNum := append(myNum, 50)

当这个 append 操作完成后,newSlice 拥有一个全新的底层数组,这个数组的容量是原来的两倍:

切片扩容 - 图2

:::info 函数 append()会智能地处理底层数组的容量增长。在切片的容量小于 1000 个元素时,总是会成倍地增加容量。一旦元素个数超过 1000,容量的增长因子会设为 1.25,也就是会每次增加 25%的容量 (随着语言的演化,这种增长算法可能会有所改变)。

:::