Go语言中传入通道的局部变量超出作用域后生命周期是怎样的？

Go局部变量生命周期核心规则 #

Go没有采用「局部变量一定在栈分配、作用域结束即回收」的机制，编译器会执行逃逸分析判断变量的存活范围：

• 如果局部变量没有被外部作用域引用，会分配在栈上，所在代码块执行结束后随栈帧销毁自动回收
• 如果局部变量的指针被传递给了外部作用域（比如存入通道、赋值给外部map/变量、作为返回值返回），编译器会判定该变量逃逸到堆上，只要还有活跃引用指向它，就不会被GC（垃圾回收器）回收

示例场景解释 #

1. Dog指针传通道的场景 #

你循环生成的*Dog指针传入通道后，只要通道还持有该指针，或者消费者取出指针后仍在使用，对应的Dog实例就会一直存活。循环结束后通道还没被消费时，这些实例绝对不会被释放，不会出现「通道里的指针变成悬空指针」的问题。只有当该指针从通道取出、且所有持有它的引用都不再被使用后，对应的内存才会被GC回收。

2. 测试代码的现象说明 #

你写的测试代码完全符合Go运行逻辑：
每次循环内定义的局部变量x，因为你把它的指针存入了外部的map和通道，逃逸分析会判定x逃逸到堆上，循环结束后map和通道仍然持有这些指针的活跃引用，所以后续访问*m[i]、*p都能正常拿到值，20秒休眠期间这些变量也不会被回收。

局部变量传递给外部的用法说明 #

你的使用方式完全符合Go规范，没有任何问题。Go的设计就是让开发者不用关心变量是分配在栈还是堆，只要业务逻辑里有引用需要使用该变量，它的生命周期就会被编译器和GC自动保证，不会出现提前释放的问题，不需要做额外的特殊处理。

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