Java内存回收机制（第一讲）

预备知识：栈内存和堆内存

在函数中定义的一些基本类型的变量和对象的引用变量都是在函数的栈内存中分配。当在一段代码块中定义一个变量时，java就在栈中为这个变量分配内存空间，当超过变量的作用域后，java会自动释放掉为该变量分配的内存空间，该内存空间可以立刻被另作他用。

堆内存用于存放由new创建的对象和数组。在堆中分配的内存，由java虚拟机自动垃圾回收器来管理。在堆中产生了一个数组或者对象后，还可以在栈中定义一个特殊的变量，这个变量的取值等于数组或者对象在堆内存中的首地址，在栈中的这个特殊的变量就变成了数组或者对象的引用变量，以后就可以在程序中使用栈内存中的引用变量来访问堆中的数组或者对象，引用变量相当于为数组或者对象起的一个别名，或者代号。

引用变量是普通变量，定义时在栈中分配内存，引用变量在程序运行到作用域外释放。而数组＆对象本身在堆中分配，即使程序运行到使用new产生数组和对象的语句所在地代码块之外，数组和对象本身占用的堆内存也不会被释放，数组和对象在没有引用变量指向它的时候，才变成垃圾，不能再被使用，但是仍然占着内存，在随后的一个不确定的时间被垃圾回收器释放掉。这个也是java比较占内存的主要原因，实际上，栈中的变量指向堆内存中的变量，这就是 Java 中的指针!

对象在内存中的状态

对于JVM的垃圾回收机制来说，是否回收一个对象的标准在于：是否还有引用变量引用该对象？只要有引用变量引用该对象，垃圾回收机制就不会回收它。

基本上，可以把JVM内存中的对象引用理解成一种有向图，把引用变量、对象都当成有向图的顶点，将引用关系当成有向图的边，我们以main进程为例加以说明：

此时，存在于堆内存中的对象obj1处于main顶点的可达状态，垃圾回收机制不会回收它，obj2处于不可达状态，垃圾回收机制将会主动回收它。

当一个对象在堆内存中运行时，根据它在有向图中的定义，可以分为三个状态：

>>可达状态：如果在有向图中可以从起始顶点导航到该对象，则该对象处于可达状态。

>>可恢复状态：如果程序中某个对象不再有任何引用变量引用它，它将先进入可恢复状态，如果系统调用finalize方法重新让一个或多个引用变量引用该对象，则该对象重新进入可达状态，反之，进入不可达状态。

>>不可达状态：当对象的所有关联都被切断，调用finalize方法也无济于事时，对象将永久失去引用，进入不可达状态。