Go 1.26 正在把更多切片放回栈上：为什么你的 append 热路径值得重新测一遍

Go 1.26 切片优化：让朴素的 append 不再“负重前行”

在服务端性能优化的世界里，目光常常聚焦于算法复杂度、锁竞争或是GC调优。然而，真正在代码中反复执行、却又容易被忽略的“热路径”，往往是一些看起来再普通不过的日常操作。比如下面这段代码：

免费影视、动漫、音乐、游戏、小说资源长期稳定更新！ 👉 点此立即查看 👈

func collectReady(ch <-chan task) []task {
 var out []task
 for t := range ch {
  if t.Ready {
   out = append(out, t)
  }
 }
 return out
}

这类逻辑无处不在：请求聚合、批量过滤、消息整理、中间结果拼装、日志字段收集……最终都绕不开一句 append。

过去我们都知道，这种写法虽然简洁，但启动成本并不低。一个初始为 nil 的切片，其 append 之旅往往始于一次微小的堆分配，然后沿着 1、2、4、8……的容量路径小步快跑，每次扩容都可能带来新的堆分配和旧对象垃圾。只要这段逻辑足够“热”，这些额外的分配次数和GC压力就会被显著放大。

Go 1.25 和 Go 1.26 连续两个版本所做的，正是对这段“看起来普通”的路径进行深度优化。尤其是到了 Go 1.26，编译器已经能够在更多场景下，将切片早期的 backing store 先放在栈上处理，再决定是否真的需要逃逸到堆中。

这表面上是一个编译器实现细节，实际上却悄然抬升了大量业务代码的默认性能基线。

问题背景：为什么 append 的起步阶段经常不便宜

对于一个初始为 nil 的切片，第一次 append 必须为其分配 backing store。问题在于，编译器和运行时在一开始并不知道最终会塞入多少元素，只能先分配一个保守的小容量，然后在后续扩容中反复搬迁数据。

如果这个切片仅在函数内部短暂存在，那么这些早期分配就显得有些“冤枉”：它们生命周期极短，多数只是过渡状态，却制造了额外的复制和垃圾，并将 GC 拖入了本可以更轻量的路径。

因此，这类问题的核心关切点并非“某次扩容贵不贵”，而是：我们是否在为一段短命的临时切片，过早地支付了堆分配的成本？ 如果答案是否定的，那么最理想的结果自然是让它留在栈上。

变化核心：从 make 到 append，编译器的手伸得更深了

这波优化并非一蹴而就，而是通过两个版本连续推进的。

第一步：Go 1.25 先优化了部分 make 场景

如果开发者能预估大致容量，常见的写法是：

func collectWithGuess(ch <-chan task, n int) {
 out := make([]task, 0, n)
 for t := range ch {
  out = append(out, t)
 }
 process(out)
}

在更早的版本中，只要容量不是编译期常量，这个 backing store 往往还是会逃逸到堆上。从 Go 1.25 开始，编译器会对这类情况做一个“小而保守”的栈上尝试：先给切片一个当前实现中为 32 字节的小型 backing store。如果实际容量足够小，就直接实现零堆分配；如果放不下，再回退到原来的堆分配路径。

这一步的意义在于：开发者无需再为了“让小容量切片走栈”而手动编写分支代码了。

第二步：Go 1.26 把优化扩展到了直接 append 的写法

更关键的一步发生在 Go 1.26。

过去，如果不传递容量猜测，只是老老实实地写：

func collect(ch <-chan task) {
 var out []task
 for t := range ch {
  out = append(out, t)
 }
 process(out)
}

这种最常见的“从零开始 append”路径，很容易在前几轮扩容中不断触发堆分配。

现在，Go 1.26 可以在 append 发生的位置，直接为这条路径提供一个试探性的、小型的栈 backing store。只要元素数量和元素大小还在这个小缓冲的承受范围内，前几次增长就无需上堆；即便后续容量溢出到堆，至少也把最昂贵、最碎片化的起步阶段成本砍掉了一截。

换句话说，Go 1.26 做的不是“让所有切片都永远待在栈上”，而是：让许多原本一上来就碰堆的切片，先在栈上把前几步走完。

第三步：返回切片时，也不必一开始就认输

更有意思的是处理“切片最终要返回”的场景。

过去，一提到“返回切片”，很多人会直接接受一个结论：既然返回值要存活于当前栈帧之外，backing store 迟早要上堆，因此这条路径基本没有优化空间。

Go 1.26 改变了这个游戏规则。它允许切片在函数内部的构建阶段，先使用栈上的小 backing store。等到真正需要返回时，再将结果移动到堆上。这样做的好处显而易见：

• 早期的 1、2、4 这类过渡扩容不一定再走堆。
• 如果最终元素数量很小，可能只需要在返回时做一次真正必要的堆分配。
• 这比“手工先构建临时切片，再 copy 一份返回”更自然，也减少了样板代码。

这正是众多 helper 函数、过滤函数、聚合函数最容易享受到的一类性能红利。

为什么 Go 开发者应该关心

这件事值得深入探讨，并非因为编译器多了一个炫技优化，而是因为它同时改变了三件工程实践上非常实际的事。

1. 朴素写法的默认成本降低了

过去，为了避免切片一路小步扩容，常见的优化手法包括：给 API 硬塞一个 lengthGuess 参数；先预估容量再 make；先收集到临时切片，最后再复制成返回值；或是为了减少早期分配，编写一些可读性不佳的分支逻辑。

这些手法本身没错，但它们本质上是在用代码形态的复杂性来交换运行时性能。

Go 1.26 的意义在于，它将一部分原本必须靠“人为姿势”才能获得的收益，还给了更自然、更朴素的代码写法。对团队而言，这通常比单纯的性能提升更重要，因为它意味着：代码不必再为了讨好旧的优化边界而过度变形。

2. 它与 GC 优化是前后配合，而非替代关系

很多人看到 Go 1.26，首先想到的是默认启用的 Green Tea GC。那固然是一条重要的主线，但如果只看到 GC，就容易忽略另一件事：最好的垃圾，是根本不产生出来的垃圾。

将更多切片的早期 backing store 留在栈上，本质上是在 GC 介入之前，就提前消除了一部分短命对象。其收益非常直接：减少一次或多次堆分配、减少几轮早期数据复制、减少一些瞬时垃圾、减轻一点标记和扫描的压力。

这也是为什么这类编译器优化能真实影响服务端的吞吐量和尾延迟，而不仅仅是让微基准测试（microbenchmark）的数字更好看。

3. 它会改变你判断“要不要手工预分配”的方式

Go 1.26 并非在宣告“以后不用预分配了”，而是在重新划定边界。

过去，许多手工优化是在弥补编译器做不到的事情；现在，编译器已经能接手其中一部分工作。

这催生出一个更健康的判断标准：

• 如果你明确知道容量，且容量通常不小，请继续使用预分配。
• 如果你只是为了避开前几轮小扩容，而编写了大量扭曲的“姿势代码”，现在值得重新评估。
• 如果代码的可读性已被容量猜测参数严重污染，升级后更应重新测试，再决定去留。

所以说，这次变化真正影响的不是“有没有快一点”，而是哪些优化还值得手工维护。

对团队或项目的实际影响

对于典型的 Go 服务，建议优先关注以下几类代码。

第一类：函数内临时切片，不返回、不共享

例如：请求处理过程中收集符合条件的对象；批量写入前整理待发送记录；过滤后交给下游处理的 []T 中间态；以及 []byte、[]string、[]struct 等临时容器。

这类路径最有可能直接享受到 Go 1.26 在 append 位置上的优化。它们的共同特点是：切片生命周期短，作用域清晰，通常只是函数内部的一次性容器。

第二类：最终要返回切片的 helper 函数

例如：

func selectReady(src []task) []task {
 var out []task
 for _, t := range src {
  if t.Ready {
   out = append(out, t)
  }
 }
 return out
}

这类代码过去最让人纠结：为了减少扩容，是不是该先预估容量？是不是该先建临时切片，最后再拷贝一份？

Go 1.26 之后，这些问题不再只有“全手工优化”一个答案。编译器已经能替你承担一部分早期增长的成本，因此这类 helper 函数特别值得重新运行一次 benchmem 基准测试。

第三类：明明知道规模，却没写清楚的批处理代码

这里也需要提醒一句：不要因为编译器变得更聪明，就删掉所有显式的容量提示。

如果你明确知道输出规模接近输入规模，例如：

out := make([]Result, 0, len(items))

这类信息仍然极具价值。它能减少后续溢出、复制和最终转移到堆的概率，同时也让代码的意图更加清晰。

因此，升级到 Go 1.26 之后，团队应该做的不是“盲目删除所有预分配”，而是：保留真正有信息量的预分配，重新审视那些仅仅为了迁就旧版本编译器边界而存在的“姿势代码”。

实际建议：如何判断项目能否受益

面对这类优化，最怕两种误判：一是“编译器变快了，所以我们肯定也变快了”；二是“这是编译器内部细节，和我们没关系”。

更稳妥的做法，是通过一套轻量的验证流程来获取确切的结论。

1. 将升级目标定为当前稳定补丁版本

如果计划跟进这波编译器优化，建议不要停留在最初的 1.26.0，而是直接以当前最新的稳定补丁版本为目标。对于编译器和运行时的实现改进，补丁版本的价值往往比纯语法特性的更新更为显著。

2. 使用 benchmem 观察真实的分配变化

最直接的方式仍然是基准测试。

func BenchmarkSelectReady(b *testing.B) {
 src := buildTasks(16)
 b.ReportAllocs()
 for b.Loop() {
  _ = selectReady(src)
 }
}

运行命令很简单：

go test -bench=SelectReady -benchmem ./...

如果项目中已经有一批聚合、过滤、拼装类的基准测试，现在正是统一补上 b.ReportAllocs() 的好时机，然后在 Go 1.25 和 Go 1.26.2（或更高补丁版本）上分别运行比较。

3. 使用 testing.AllocsPerRun 为关键路径添加分配护栏

对于那些明确希望保持低分配的 helper 函数，可以补充一个轻量的断言式测试：

func TestSelectReadyAllocs(t *testing.T) {
 src := buildTasks(8)
 allocs := testing.AllocsPerRun(1000, func() {
  _ = selectReady(src)
 })
 if allocs > 1 {
  t.Fatalf("too many allocs: got %v", allocs)
 }
}

这类测试的目的不是将优化细节“钉死成契约”，而是为了尽早发现热路径上的性能回退。

4. 通过编译器输出来分析逃逸和优化边界

如果想了解某段代码为何没有享受到优化，可以先查看编译器输出：

go test -gcflags=all='-m=2' ./...

这不会直接告诉你“命中了哪一个切片栈分配优化”，但它能帮助你确认更基础的问题：值为何逃逸、哪段代码将对象推到了堆上、哪些内联和逃逸边界正在影响结果。

5. 如果升级后怀疑某条路径有问题，使用 bisect 缩小范围

Go 1.26 也为这类排查留下了后门。

go install golang.org/x/tools/cmd/bisect@latest
bisect -compile=variablemake go test ./...

如果遇到疑似由新的切片栈分配优化触发的异常，这条命令非常适合用来定位是哪一组编译器改写导致了问题。

临时止血时，也可以先将这类新分配优化关闭，以确认现象是否随之消失：

go test -gcflags=all=-d=variablemakehash=n ./...

这类开关更适合诊断，不建议长期依赖。

最后想说

Go 1.26 这次值得关注的地方，远不止“切片更快了”这么简单。

更关键的是，编译器正在将一种极其常见、极其朴素、极其贴近日常工程实践的代码写法，重新进行优化。许多团队过去为了减少 append 早期扩容带来的堆分配，不得不在代码中塞入容量猜测、临时切片、额外复制，或者一些可读性不佳的手工分支。

现在，Go 将其中一部分工作收回到了编译器内部。

这将带来两个长期影响：简单写法的默认性能基线被抬高了；一部分历史上的微优化，终于值得重新审视和清理了。

因此，如果在评估 Go 1.26，不妨别只盯着 GC、go fix 或新的语言特性。

把代码仓库里那些“在循环里一路 append，最后返回或下发”的热路径挑出来，重新跑一遍 benchmem。你很可能会发现，这次版本升级真正省下来的，不只是几次内存分配，更是一批原本不必存在的、为了优化而优化的样板代码。