为何Go内联函数后逃逸分析仍标记变量移至堆，但基准测试无分配？

原始代码 #

package main

func main() {
    _ = f()
}

func f() *int {
    y := 2
    res := y * 2
    return &res
}

逃逸分析结果 #

执行命令：go build -gcflags '-m'

./main.go:7:6: can inline f
./main.go:3:6: can inline main
./main.go:4:7: inlining call to f
./main.go:9:2: moved to heap: res

基准测试代码与结果 #

基准测试代码 #

func Benchmark(b *testing.B) {
    for i := 0; i < b.N; i++ {
        _ = f()
    }
}

测试结果 #

Benchmark-10        1000000000           0.3179 ns/op          0 B/op          0 allocs/op

禁用内联后的情况 #

给f添加//go:noinline标记后：

//go:noinline
func f() *int {
    y := 2
    res := y * 2
    return &res
}

此时逃逸分析仍标记res移至堆，但基准测试显示有8字节堆分配：

Benchmark-10        ...（具体数值略）...           8 B/op          1 allocs/op

原因解析 #

这是Go编译器多阶段优化逻辑导致的：

• 逃逸分析的时机限制：逃逸分析在函数内联前执行。单独分析f时，编译器看到它返回局部变量的指针，判定res必须逃逸到堆，因此标记moved to heap: res。
• 内联后的全局优化：当f被内联到调用函数后，编译器能看到完整上下文——返回的指针完全没被使用。此时会触发死代码消除优化，直接去掉res的计算、取地址等无用操作，自然不需要堆分配，所以基准测试显示0分配。
• 禁用内联后的行为：禁止内联后，编译器无法跨函数感知指针未被使用，只能遵循逃逸分析的结果在堆上分配res，因此基准测试会出现8字节的堆分配（对应int类型的内存）。

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