第二章 创建和销毁对象
第七条 消除过期的对象引用
一 未及时消除过期对象导致内存泄漏
先看一个简单的栈实现的例子:
/*栈*/
public class Stack {
private Object[] elements; //栈里的对象数组
private int size = 0; //对象数组的元素个数
private static final int DEFAULT_INITIAL_CAPACITY = 16; //默认初始化对象数组的容量
public Stack() {
elements = new Object[DEFAULT_INITIAL_CAPACITY];
}
//在Object[]最后一位push一个元素
public void push(Object e) {
ensureCapacity(); //容量检查
elements[size++] = e;
}
//将Object[]最后一位元素返回
public Object pop() {
if(size == 0) {
throw new EmptyStackException();
}
return elements[--size];
}
//确保Object[]的容量至少在一个以上
//每次容量满了的时候,将容量增加大约一倍
public void ensureCapacity() {
if(elements.length == size) {
elements = Arrays.copyOf(elements, 2 * size + 1);
}
}
}
这段程序没有很明显的错误,但存在一个“内存泄露”,随着垃圾回收活动的增加,或者由于内存占用的不断增加,程序性能会渐渐降低,导致磁盘交换,甚至导致程序失败(OutOfMemoryError错误)。
问题在pop方法中,pop出的对象不会被当做垃圾回收,栈内部会一直维护着对这些对象的过期引用(指永远也不会再被解除的引用)。
//将Object[]最后一位元素返回(注意这里并没有将pop出的元素引用消除)
public Object pop() {
if(size == 0) {
throw new EmptyStackException();
}
return elements[--size];
}
在支持垃圾回收的语言中,内存泄漏是很隐蔽的(无意识的对象保持)。如果一个对象引用被无意识地保存了,那么垃圾回收机制不仅不会处理这个对象,而且也不会处理被这个对象所引用的所有其他对象,这对性能造成潜在的严重影响。
改进:一旦对象引用已经过期,只需清空这些引用即可。
//只要一个元素被pop出栈,就消除指向它的引用
public Object pop() {
if(size == 0) {
throw new EmptyStackException();
}
Object result = elements[--size];
elements[size] = null;
return elements[--size];
}
清空过期引用的另一个好处是,如果它们以后又被错误地解除引用,程序就会立即抛出NullPointerException
异常,而不是悄悄地错误运行下去。
二 清空引用的时机
清空对象引用应该是一种例外,而不是一种规范行为。
那么什么时候应该清空引用呢?
1 自己管理内存的类
只要类是自己管理内存,程序员就应该警惕内存泄漏问题。(如上面的例子,Stack类的elements数组中的元素是类自己管理的)
一旦元素被释放掉,则该元素中包含的对象引用都应该被清空。
2 没有价值的缓存
(这里对缓存不太熟悉)
当所要的缓存项的生命周期是由该键的外部引用而不是由值决定时,可以用WeakHashMap
代表缓存,当缓存中的项过期之后,他们就会被自动删除。
当缓存项的生命周期是否有意义不确定时,可以由一个后台线程(如ScheduledThreadPoolExecutor
)来完成,或者也可以在给缓存添加新条目的时候顺便进行清理(如LinkedHashMap
的removeEldestEntry
方法)。
对于更加复杂的缓存,必须直接使用java.lang.ref
。
3 监听器和其他回调
(这里也是看不懂)
如果你实现了一个API,客户端在这个API中注册回调,却没有显式地取消注册,那么除非你采取某些动作,否则它们就会不断地堆积起来。
确保回调立即被当做垃圾回收的最佳方法是只保存它们的弱引用(如只将他们保存成WeakHashMap中的键)。
三 总结
由于内存泄漏通常不会表现成明显的失败,所以它们可以在一个系统中存在很多年。往往只有通过仔细检查代码,或者借助于Heap剖析工具才能发现内存泄露问题。