Go benchmark 为什么第一次结果特别慢

Go benchmark 第一次结果特别慢，通常不是 Go 把第一轮算错了，而是首次进入基准函数时混进了初始化、内存分配、缓存建立或本应排除的准备工作。先连续运行几次，再把准备阶段和真正要测的操作分开，结论才有意义。

还要注意：go test 的编译、启动和测试进程初始化不等于 benchmark 的单次操作耗时。本文只讨论基准函数内部的第一次偏慢，以及怎样把它从被测结果中正确拆出来。

先看第一次慢发生在基准函数的哪一层

一个典型基准可能同时包含三类成本：函数第一次调用时的惰性初始化，每轮都要承担的输入准备，以及应该只执行一次的测试数据构造。它们如果都写在循环附近，首轮结果就会显得异常。

可以先把测试对象、输入和一次性依赖放到循环前，再运行固定次数观察结果。不要把第一行输出直接当成生产性能，也不要把编译时间和 ns/op 混为一谈。

用 ResetTimer 把一次性准备移出结果

在传统的 b.N 写法中，初始化如果确实不属于本次性能指标，就在准备完成后调用 b.ResetTimer()。它会清零已记录的耗时和分配计数，但不会改变计时器是否正在运行。

func BenchmarkEncode(b *testing.B) {
    // 这部分只构造一次测试输入，不把准备成本算入结果。
    input := make([]byte, 4

如果每轮还要生成随机数据，但随机数据生成不是本次指标，就在循环里用 b.StopTimer() 和 b.StartTimer() 包住它。相反，如果“生成随机数据再编码”就是用户真实任务，准备成本就应该留在计时区间。

Go 1.24 之后优先考虑 b.Loop

Go 1.24 引入的 testing.B.Loop 更适合新写的 benchmark。它让框架知道循环从哪里开始、何时结束，并自动排除循环前后的常见准备和清理成本；同时还能降低 b.N 写法中因迭代次数变化而产生的误用。

func BenchmarkEncodeLoop(b *testing.B) {
    // 循环外准备的输入不属于单次编码耗时。
    input := make([]byte, 4

b.Loop 不是“所有初始化都自动忽略”。如果每次迭代必须重置数据，仍然要手动暂停计时：

for b.Loop() {
    // 数据重置属于准备阶段，明确排除它。
    b.StopTimer()
    resetInput(input)
    b.StartTimer()

    // 这里才是本次要测的操作。
    benchmarkSink = encode(input)
}

怎样判断第一次慢是环境噪声还是代码问题

先用固定筛选和多次运行观察分布：

# 只运行目标 benchmark，并重复多次观察首轮与后续结果。
go test -run '^$' -bench '^BenchmarkEncode$' -count=5

# 把基准函数内部的内存分配统计一起打印出来。
go test -run '^$' -bench '^BenchmarkEncode$' -benchmem -count=5

如果第一次慢而后续结果稳定，通常是一次性初始化或缓存建立；如果每次都抖动，应继续看输入是否变化、是否触发扩容、是否包含随机数生成，以及机器当前是否有其他任务。不要只删除首条结果，而要先确认首条成本是否属于真实用户路径。

几个容易误判的边界

• 只调用一次不等于一次迭代。 benchmark 框架会调整迭代次数，必须让循环体可重复且每轮语义一致。
• ResetTimer 不会重置业务状态。 如果上一轮留下了缓存、切片容量或全局变量，计时清零并不能消除状态污染。
• b.Loop 仍需遵守单循环约束。 不要在同一个 benchmark 函数里混用 b.N 循环和 b.Loop 循环。
• 首轮预热是否应该算入指标取决于问题。 测冷启动就保留初始化，测稳态吞吐就把一次性工作移出计时区间。

最后可以把判断压缩成一句话：先确认你要测的是冷启动还是稳态，再决定初始化是否进入计时；传统写法用 ResetTimer 和计时开关，Go 1.24 及更高版本的新代码优先用 b.Loop，必要时仍对每轮准备单独控制计时。

常见追问

为什么第一次结果慢，第二次却正常？ 多半是第一次触发了惰性初始化、分配或缓存建立；先检查这些动作是否写在被测区间内。

用了 b.Loop 还需要 ResetTimer 吗？ 循环外准备通常不需要，但每轮内部仍有不想计时的准备时，要用 StopTimer 和 StartTimer。

多次运行结果仍不稳定怎么办？ 检查输入是否可变、是否发生扩容和随机数据生成，并用 -count 对比多次运行，而不是只看一次输出。