Go切片容量增长规则验证异常：513长度时容量为何为848？

问题描述 #

我是Go语言新手，正在阅读O'Reilly出版的《Learning Go》一书。书中提到：Go 1.14及以后，切片扩容规则为容量在达到1024之前翻倍，之后每次增长25%。

我编写了如下Go代码验证该规则：

package main

import "fmt"

func main() {
    var length uint16 = 1024

    var x []int

    for i := 0; i < int(length); i++ {
        x = append(x, i)
        fmt.Printf("\nLength is %d. Capacity is %d", len(x), cap(x))
    }
}

验证发现，当切片长度从0到512时，容量确实遵循翻倍规则。但当长度达到513时，预期容量应为1024（512*2），实际结果却是848，增长幅度约65%。

原因解析 #

《Learning Go》里描述的是切片扩容的基础策略，但实际Go runtime在执行扩容时，还会结合内存对齐和预定义内存块规格来调整最终分配的内存大小，目的是提升内存分配效率、减少内存碎片。

具体到你的场景：

• 64位系统中，int类型占8字节，512个int对应的内存是512*8=4096字节（刚好4KB）。
• 当append第513个元素时，按基础策略需要分配8192字节（对应1024个int的容量），但Go的内存分配器会选择大于等于所需内存的最小预定义内存块规格。在64位系统的small内存块规格中，4KB之后的下一档是6784字节，对应6784/8=848个int，这就是你看到容量为848的原因。

补充说明 #

Go的runtime内存分配器将内存划分为tiny、small、large等不同类型的块，其中small块有一系列固定的大小档位。当切片需要扩容时，runtime会计算理论所需内存，然后匹配到最接近的、足够大的内存块规格，而非严格按照翻倍或25%的比例来分配。

你可以尝试用[]byte类型的切片做同样的测试，会因为元素大小（1字节）不同，扩容后的容量变化符合对应的内存块规格，进一步验证这个逻辑。

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