聊聊Golang语言中变量的生命周期

IT行业相对于一般传统行业，发展更新速度更快，一旦停止了学习，很快就会被行业所淘汰。所以我们需要踏踏实实的不断学习，精进自己的技术，尤其是初学者。今天golang学习网给大家整理了《聊聊Golang语言中变量的生命周期》，聊聊基本语法，我们一起来看看吧！

变量的生命周期指的是在程序运行期间变量有效存在的时间间隔。对于在包级别（函数外部）声明的变量来说，它们的生命周期和整个程序的运行周期是一致的，而相比之下，局部变量的生命周期则是动态的，每次从创建一个新变量的声明语句开始，直到该变量不再被引用为止，然后变量的存储空间可能会被回收。函数的参数变量和返回值变量都是局部变量，它们在函数每次被调用的时候创建。

例如，下面摘录的部分代码片段：

for t := 0.0; t 提示：函数的右小括号)也可以另起一行书写，同时为了防止编译器在行尾自动插入分号而导致的编译错误，可以在末尾的参数变量后面显式插入逗号。像下面这样：

for t := 0.0; t 在每次循环的开始会创建临时变量 t，然后在每次循环迭代中创建临时变量 x 和 y。

那么Go语言的自动垃圾收集器是如何知道一个变量何时可以被回收的呢？这里我们可以避开完整的技术细节，基本的实现思路是，遍历当前运行程序中变量（包括全局变量与局部变量）的指针和引用，查看是否可以通过某个指针或引用找到该变量，如果找不到则说明该变量已经不再被使用，可以被自动垃圾收集器回收。

因为一个变量的有效周期只取决于是否可达，所以一个循环内部的局部变量的生命周期可能超出其局部作用域。同时，局部变量可以在函数返回之后依然存在。

编译器会自动选择在栈上还是在堆上分配局部变量的内存空间，使用 var 或 new 关键字声明变量并不会影响编译器的选择。

var global *intfunc f() { var x int x = 1 global = &x}func g() { y := new(int) *y = 1}函数 f 里的变量x 必须在堆上分配，因为它在函数退出后依然可以通过包级别的 global 变量找到，虽然它是在函数内部定义的，用Go语言的术语说，这个局部变量x 从函数 f 中逃逸了。

相反，当函数g 返回时，变量 *y 将是不可达的，也就是说变量 *y 可以马上被回收，因此，*y 并没有从函数 g 中逃逸，编译器可以选择在栈上分配 *y 的存储空间（也可以选择在堆上分配，然后由Go语言的 GC 回收这个变量的内存空间）。

在实际开发的过程中，并不需要刻意的实现变量的逃逸行为，因为变量的逃逸需要额外分配内存空间，同时对程序的性能也会有细微的影响。

Go语言的自动垃圾收集器可以帮助我们完成垃圾回收的工作，但并不是代表着我们可以完全不用考虑内存的优化了，虽然Go语言可以帮我们分配和释放内存空间，但是想要编写高性能的程序我们依然需要了解变量的声明周期。例如，如果将指向短生命周期对象的指针保存到具有长生命周期的对象中，特别是保存到全局变量时，会阻止对短生命周期对象的垃圾回收，从而可能影响程序的性能。

今天带大家了解了基本语法的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~