Go语言slice容量在追加第5个元素时翻倍的原因及正确扩容方法

为什么添加第5个元素时容量翻倍 #

Go的slice本质是一个包含三个属性的结构体：指向底层数组的指针、当前元素长度len、底层数组可容纳的最大元素数cap。调用append新增元素时，如果len + 1 > cap，就会触发自动扩容机制，申请一块新的更大的内存作为底层数组，把原有元素复制过去之后再添加新元素。

你遇到的容量翻倍是Go默认的扩容规则决定的：

• Go 1.17及更早版本：当原slice容量小于1024时，扩容时新容量直接是原容量的2倍；当原容量大于等于1024时，新容量每次增长原容量的25%。
• Go 1.18及之后版本：阈值调整为256，也就是原容量小于256时仍然翻倍扩容，原容量大于等于256时，新容量增长规则变为newcap = oldcap + (oldcap + 3 * 256) /4，整体增长速率从2倍平滑过渡到1.25倍，避免大内存浪费。

你的测试中slice容量到4的时候还远小于阈值，所以触发翻倍，从4扩容到8，就出现了你看到的结果。

如何正确有序地对slice进行扩容 #

要避免自动扩容的不可控性，可以主动控制扩容逻辑：

• 预分配容量：如果提前知道要存储的元素总数，初始化slice时直接指定容量，比如你的代码里已经先读取了要输入的科目总数count，完全可以把初始化代码改成subjects := make([]string, 0, count)，这样后续append不会触发任何扩容，性能最好也不会浪费内存。
• 手动批量扩容：如果无法提前预估元素总数，可以根据业务场景自定义扩容步长，比如每次剩余容量不足10个时手动给slice新增20个容量，避免频繁触发小步扩容，也不会一次性申请过多冗余内存。
• 按需缩容：如果slice后续不会再新增元素，可以手动将slice复制到容量和长度相等的新slice中，释放原有大底层数组占用的内存，示例代码：

newSubs := make([]string, len(subjects), len(subjects))
copy(newSubs, subjects)
subjects = newSubs

内容的提问来源于stack exchange，提问作者Jyoti Prakash