对象的不同的可达性状态和对垃圾收集

我们说的不同的引用类型其实都是逻辑上的，而对于虚拟机来说，主要体现的是对象的不同的可达性(reachable) 状态和对垃圾收集(garbage collector)的影响。

初识引用

对于刚接触 Java 的 C++ 程序员而言，理解栈和堆的关系可能很不习惯。在 C++ 中，可以使用 new 操作符在堆上创建对象，或者使用自动分配在栈上创建对象。下面的 C++ 语句是合法的，但是 Java 编译器却拒绝这么写代码，会出现 syntax error 编译错误。

Integer foo = Integer(1);

Java 和 C 不一样，Java 中会把对象都放在堆上，需要 new 操作符来创建对象。本地变量存储在栈中，它们持有一个指向堆中对象的引用(指针)。下面是一个 Java 方法，该方法具有一个 Integer 变量，该变量从 String 解析值

public static void foo(String bar){
    Integer baz = new Integer(bar);
}

这段代码我们使用堆栈分配图可以看一下它们的关系

 

首先先来看一下 foo() 方法，这一行代码分配了一个新的 Integer 对象，JVM 尝试在堆空间中开辟一块内存空间。如果允许分配的话，就会调用 Integer 的构造方法把 String 字符串转换为 Integer 对象。JVM 将指向该对象的指针存储在变量 baz 中。

上面这种情况是我们乐意看到的情况，毕竟我们不想在编写代码的时候遇到阻碍，但是这种情况是不可能出现的，当堆空间无法为 bar 和 baz 开辟内存空间时，就会出现 OutOfMemoryError，然后就会调用垃圾收集器(garbage collector) 来尝试腾出内存空间。这中间涉及到一个问题，垃圾收集器会回收哪些对象？

垃圾收集器

Java 给你提供了一个 new 操作符来为堆中的对象开辟内存空间，但它没有提供 delete 操作符来释放对象空间。当 foo() 方法返回时，如果变量 baz 超过最大内存，但它所指向的对象仍然还在堆中。如果没有垃圾回收器的话，那么程序就会抛出 OutOfMemoryError 错误。然而 Java 不会，它会提供垃圾收集器来释放不再引用的对象。

当程序尝试创