为何Go中追加1字节数组仅1次分配，其他大小需101次？

先看基准测试结果：

追加1字节数组时，每次操作仅1次内存分配：

Benchmark_AddOneByteArray-4              1986709           581.2 ns/op      1792 B/op          1 allocs/op

追加2字节或32字节数组时，每次操作产生101次内存分配：

Benchmark_AddTwoByteArray-4               529726          2235 ns/op        1992 B/op        101 allocs/op
Benchmark_AddThirtyTwoByteArray-4         282092          4431 ns/op        4992 B/op        101 allocs/op

核心原因：编译器优化与逃逸分析的差异 #

1. [1]byte的全局零值复用优化

[1]byte{}是极小的零值数组，Go编译器会将其优化为全局唯一的常量实例。在addOneByteArray函数的循环中，所有赋值操作都会复用这个全局实例：

• 仅需为初始的[]any切片分配一次内存（对应基准中的1次分配）；
• 循环中向切片元素赋值时，直接引用全局实例，无额外内存分配。

2. [2]byte及更大数组的逃逸行为

对于[2]byte{}、[32]byte{}这类数组，编译器不会进行全局零值复用：

• 每次循环迭代都会创建一个新的栈上临时数组；
• 由于切片会被函数返回（数组值的生命周期超出当前栈帧），Go的逃逸分析会判定这些数组需要被转移到堆上存储，每次赋值都会触发一次独立的内存分配；
• 加上初始切片的1次分配，总分配次数为1 + 100 = 101次（对应代码中N=100）。

3. 接口存储的内联机制补充

64位系统中，any（空接口）的内存布局包含8字节类型指针和8字节数据存储区。[1]byte的大小仅1字节，可完全内联存储在接口的存储区中，无需指向堆内存；而[2]byte虽也能内联，但编译器优化策略仅针对最小的数组零值做全局复用，因此更大的数组仍会触发堆分配。

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