包级变量
包级变量的生命周期与进程生命周期一致。
局部变量
局部变量的生命周期是动态的。局部变量的生命周期从创建变量开始，到不在被引用为止（之后则等待垃圾回收机制回收）。
局部变量的值可能在变量可见域之外仍然可用！在局部变量可见域之外使用对应的值可能会导致值的生命周期变长（实际上这时发生了变量逃逸——即从堆区逃逸到栈区，虽然这不会对程序员编写正确代码产生任何影响，但是变量逃逸会产生性能损耗）。
* 变量逃逸用另一种表述实际上就是长生命周期对象持有短生命周期对象导致其不能及时释放，没错这就是java里面的内存泄漏。非必须应该避免。
垃圾回收
变量的是否可回收只取决于该变量是否可达。
遍历所有包级变量和当前函数的所有局部变量（因为函数内部的局部变量只有当函数正在执行的时候才开始生命周期），如果不存在到达变量的访问路径则表示变量不可达。
关于传值
Go和C/C++一样，本质上都是值传递，不存在引用传递。
* Java里面基本数据类型是值传递，复杂数据类型是引用传递。
* C++本质上也是值传递。指针和引用虽然看起来是引用传递，但本质上传递的是地址，也是值传递。