Java 源码剖析——彻底搞懂Reference 和ReferenceQueue

• 语言: 中文（简体）
• 格式: .pdf
• 来源: b3logfile.com

摘要

本文详细分析了Java中的Reference类和ReferenceQueue的源码。Reference类提供了四种引用类型（软引用、弱引用、虚引用）的抽象实现，其构造函数可指定引用队列。ReferenceQueue作为引用队列，用于在垃圾回收器检测到引用实例指向的实际对象可达性变化后，将引用实例添加到队列中。文章还介绍了引用实例的入队和出队逻辑、引用队列的内部结构以及引用实例的生命周期管理。此外，ReferenceHandler线程负责将pending列表中的引用实例添加到引用队列中，并处理引用实例的状态变化。

AI总结

## 文档总结

本文深入剖析了Java中的`Reference`类和`ReferenceQueue`类的源码，重点介绍了引用类型、引用队列的实现原理以及引用实例的状态变化机制。

### 核心观点

1. **Reference类**：
- `Reference`是一个抽象类，用于实现四种引用类型（强引用、软引用、弱引用、虚引用）。
- 主要成员变量：
- `referent`：引用的实际对象。
- `queue`：引用实例注册的引用队列。
- 主要方法：
- `get()`：返回实际对象，若对象被回收或引用被清除则返回`null`。
- `clear()`：清除对实际对象的引用。
- `enqueue()`：手动将引用实例加入队列。
- `isEnqueued()`：判断引用实例是否已入队。
- 引用实例的四种状态：
- **Active**：新创建的引用实例，尚未被垃圾回收器处理。
- **Pending**：引用实例已由垃圾回收器检测到实际对象不可达，等待处理。
- **Enqueued**：引用实例已入队，等待被处理。
- **Inactive**：引用实例已从队列中移除，实际对象已被回收。

2. **ReferenceQueue类**：
- `ReferenceQueue`是一个引用队列，用于管理注册的引用实例。
- 队列内部使用单链表存储引用实例，每个引用实例通过`next`域指向下一个元素。
- 主要方法：
- `enqueue(Reference r)`：将引用实例入队。
- `poll()`：从队列中取出引用实例。
- `ReferenceQueue`的作用是作为Java GC与引用对象之间的桥梁，通过队列机制通知外部引用实例的实际对象状态变化。

3. **引用实例的入队与出队逻辑**：
- **入队逻辑**：引用实例在实际对象的可达性发生变化后，会被垃圾回收器添加到引用队列中。
- **出队逻辑**：通过`poll()`方法从队列中取出引用实例，进行后续处理。

4. **引用队列的内部实现**：
- `ReferenceQueue`内部使用`head`指针管理队列的头节点。
- 引用实例的入队操作会修改引用实例的`queue`和`next`域，将其链接到队列中。
- 出队操作会将引用实例从队列中移除，并重置其`queue`域。

5. **引用队列的处理线程**：
- Java虚拟机提供一个优先级最高的`ReferenceHandler`线程，负责将`pending`列表中的引用实例添加到引用队列中。
- `pending`列表是一个静态链表，用于存储等待入队的引用实例。

### 应用案例

- **WeakHashMap**：使用弱引用存储键，当键被回收时，通过查询引用队列来判断键是否需要移除。
- **ThreadLocalMap**：使用弱引用存储线程本地变量，通过`get()`方法判断变量是否已被回收。

### 总结

本文通过分析`Reference`和`ReferenceQueue`的源码，详细解释了引用类型、引用队列的实现机制以及引用实例的状态变化。这些机制为Java的内存管理和垃圾回收提供了重要支持，帮助开发者更好地理解和使用引用类型。