为什么以下两段Go代码会出现变量逃逸到堆的现象？

核心差异是os.File是结构体值类型，net.Conn是接口类型，Go逃逸分析对两者的处理逻辑完全不同：

• 调用非接口类型的结构体方法时，编译器可以直接静态定位到方法实现，可精准分析参数生命周期：os.File.Read的实现仅会向传入的slice写入数据，不会持有slice的底层数组引用，因此数组x可以安全分配在栈上，不会逃逸。
• 调用接口类型的方法时，Go采用动态派发机制，编译期无法确定实际运行时的方法实现，逃逸分析只能执行最保守的判定规则：默认传入接口方法的指针类参数（包括slice对应的底层数组指针）可能被方法实现长期持有，因此数组x必须分配到堆上避免栈回收后引用失效，所以会出现moved to heap: x的提示。

这个现象同样源于接口赋值的保守逃逸判定规则：

• 调用f1(&s1)时，*S类型的指针需要赋值给接口类型I的参数。编译期无法确认这个接口后续会被如何使用（比如是否会被赋值给全局变量、是否会传递给其他协程持有），因此逃逸分析会保守判定s1的生命周期超出当前函数栈帧，必须分配到堆上。
• 调用f2(&s2)时，参数是具体的*S类型，不需要走接口动态派发，编译器可以直接分析f2的实现逻辑：f2仅调用方法修改结构体字段，没有持有指针也没有将指针传递到其他位置，因此s2可以安全分配在栈上，不会逃逸。

内容的提问来源于stack exchange，提问作者QI.x