结论
局部变量表中的变量是很重要的垃圾回收根节点，被局部变量表中变量直接或者间接引用的对象都不会被回收。
实验
看如下代码，使用JVM的-XX:+PrintGC参数运行下面代码(在main函数中分别执行localVarGcN的每一个函数)
package com.winwill.jvm.basic;
public class GcTest {
private static final int SIZE = 6 * 1024 * 1024;
public static void localVarGc1() {
byte[] b = new byte[SIZE];
System.gc();
}
public static void localVarGc2() {
byte[] b = new byte[SIZE];
b = null;
System.gc();
}
public static void localVarGc3() {
{
byte[] b = new byte[SIZE];
}
System.gc();
}
public static void localVarGc4() {
{
byte[] b = new byte[SIZE];
}
int c = 0;
System.gc();
}
public static void localVarGc5() {
localVarGc1();
System.gc();
}
public static void main(String[] args) {
// localVarGc1(); // 没有GC
// localVarGc2(); // GC
// localVarGc3(); // 没有GC
// localVarGc4(); // GC
// localVarGc5(); // GC
}
}
在main中分别执行localVarGc[1-5]方法，得到如下5次gc日志：
[GC (Allocation Failure) 512K->374K(130560K), 0.0006220 secs]
[GC (Allocation Failure) 886K->600K(130560K), 0.0011130 secs]
[GC (Allocation Failure) 1112K->752K(130560K), 0.0006960 secs]
[GC (Allocation Failure) 1264K->950K(131072K), 0.0015540 secs]
[GC (System.gc()) 7944K->7363K(131072K), 0.0008640 secs]
[Full GC (System.gc()) 7363K->7116K(131072K), 0.0085270 secs]
[GC (Allocation Failure) 512K->390K(130560K), 0.0008690 secs]
[GC (Allocation Failure) 902K->592K(130560K), 0.0008500 secs]
[GC (Allocation Failure) 1104K->718K(130560K), 0.0007220 secs]
[GC (Allocation Failure) 1230K->924K(131072K), 0.0012260 secs]
[GC (System.gc()) 7919K->7309K(131072K), 0.0018500 secs]
[Full GC (System.gc()) 7309K->975K(131072K), 0.0059300 secs]
[GC (Allocation Failure) 512K->374K(130560K), 0.0007940 secs]
[GC (Allocation Failure) 886K->598K(130560K), 0.0007240 secs]
[GC (Allocation Failure) 1110K->718K(130560K), 0.0007680 secs]
[GC (Allocation Failure) 1230K->916K(131072K), 0.0009900 secs]
[GC (System.gc()) 7887K->7340K(131072K), 0.0008910 secs]
[Full GC (System.gc()) 7340K->7116K(131072K), 0.0091600 secs]
[GC (Allocation Failure) 512K->416K(130560K), 0.0007990 secs]
[GC (Allocation Failure) 928K->584K(130560K), 0.0008580 secs]
[GC (Allocation Failure) 1096K->728K(130560K), 0.0007360 secs]
[GC (Allocation Failure) 1240K->910K(131072K), 0.0010150 secs]
[GC (System.gc()) 7883K->7339K(131072K), 0.0011770 secs]
[Full GC (System.gc()) 7339K->971K(131072K), 0.0069840 secs]
[GC (Allocation Failure) 512K->406K(130560K), 0.0005700 secs]
[GC (Allocation Failure) 918K->622K(130560K), 0.0011430 secs]
[GC (Allocation Failure) 1134K->710K(130560K), 0.0015010 secs]
[GC (Allocation Failure) 1222K->948K(131072K), 0.0020340 secs]
[GC (System.gc()) 7921K->7304K(131072K), 0.0013160 secs]
[Full GC (System.gc()) 7304K->7110K(131072K), 0.0091750 secs]
[GC (System.gc()) 7121K->7142K(131072K), 0.0002990 secs]
[Full GC (System.gc()) 7142K->966K(131072K), 0.0050000 secs]
从上面的gc日志中（加粗部分为System.gc触发的）可以得到如下结论：
- 申请了一个6M大小的空间，赋值给b引用，然后调用gc函数，因为此时这个6M的空间还被b引用着，所以不能顺利gc；
- 申请了一个6M大小的空间，赋值给b引用，然后将b重新赋值为null，此时这个6M的空间不再被b引用，所以可以顺利gc；
- 申请了一个6M大小的空间，赋值给b引用，过了b的作用返回之后调用gc函数，但是因为此时b并没有被销毁，还存在于栈帧中，这个空间也还被b引用，所以不能顺利gc；
- 申请了一个6M大小的空间，赋值给b引用，过了b的作用返回之后重新创建一个变量c，此时这个新的变量会复用已经失效的b变量的槽位，所以b被迫销毁了，所以6M的空间没有被任何变量引用，于是能够顺利gc；
- 首先调用localVarGc1()，很显然不能顺利gc，函数调用结束之后再调用gc函数，此时因为localVarGc1这个函数的栈帧已经随着函数调用的结束而被销毁，b也就被销毁了，所以6M大小的空间不被任何对象引用，于是能够顺利gc。
