Go逃逸分析：proto.Unmarshal场景下结构体声明为指针为何不堆逃逸

第一段代码逃逸的原因 #

• Go逃逸分析的核心规则是：如果编译器无法证明某个栈上变量的指针不会在当前栈帧销毁后被访问，就会将该变量移动到堆上分配。
• 你在第一段代码中直接在main函数栈上声明了CustomStruct值类型变量cs，随后将&cs（栈上变量的指针）传入proto.Unmarshal方法。
• proto.Unmarshal的入参是proto.Message接口类型，且该方法是protobuf库的外部函数，当前包编译时看不到其内部实现。编译器会默认认为你传入的指针可能被该方法长期持有，因此无法保证栈上的cs在main函数栈销毁后不会被访问，所以会将cs移动到堆上分配，也就出现了moved to heap: CustomStruct的提示。

第二段代码没有逃逸提示的原因 #

• 你在第二段代码中仅声明了*CustomStruct类型的指针变量cs，没有对它做初始化，此时cs本身是nil空指针，你全程没有实际分配任何CustomStruct类型的实例。
• 你传给proto.Unmarshal的只是一个空指针，不存在CustomStruct实例的分配行为，自然不会出现该类型变量逃逸到堆的提示。
• 额外提示：这段代码是无法正常运行的，proto.Unmarshal接收空指针作为入参时，无法将反序列化结果写入到目标地址，会直接返回错误或者触发panic。

如果你想要避免逃逸同时保证代码正常运行，可以尝试调整代码结构让逃逸分析确认指针不会被外部持有，但对于proto反序列化的场景，由于接口传参的特性，绝大多数情况传入的结构体指针都会触发逃逸，这是Go编译器的保守判定规则导致的正常现象。

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