引用数组索引是否会造成内存泄漏？结合Effective Java内容咨询

嘿，这个问题问得特别到位，刚好切中了《Effective Java》里内存泄漏场景的核心逻辑！让我一步步给你拆解清楚：

先回顾《Effective Java》条目6里的场景 #

条目6里提到的内存泄漏，典型例子是自定义栈实现的pop操作：当你从栈中弹出元素时，只是把栈的size计数器减1，但内部数组中对应位置的元素引用并没有被清除。这时候，那些已经弹出栈的对象，因为还被数组持有引用，即使栈的逻辑上已经不再需要它们，垃圾回收器也无法回收它们，这就造成了内存泄漏——这些对象就是所谓的「过期对象引用」。

你的理解是完全正确的！ #

你说的场景：先执行elements[0] = new Object()，再执行一次同样的语句，第一个对象确实会符合垃圾回收条件。因为第二次赋值时，数组索引0的引用被新对象覆盖了，第一个对象失去了来自数组的引用。只要没有其他存活的对象还引用它，垃圾回收器就会把它标记为可回收，最终释放内存。这种情况下完全不会有内存泄漏。

那数组索引什么时候会造成内存泄漏？ #

关键点不在于数组索引本身，而在于是否存在「过期的引用」——也就是那些你逻辑上已经不再需要，但仍然被存活容器（比如这个数组）持有的引用。举个具体的例子：

• 假设你的栈内部数组长度是10，已经push了8个元素，size=8
• 当你执行3次pop操作后，size=5，但数组的索引5、6、7仍然指向原来的3个对象
• 这时候这3个对象已经不在栈的逻辑元素范围内了，但数组还死死拿着它们的引用，导致它们无法被回收，这才是内存泄漏的根源

所以解决办法就是在pop的时候，把数组中对应位置的引用置为null：

public Object pop() {
    if (size == 0)
        throw new EmptyStackException();
    Object result = elements[--size];
    elements[size] = null; // 清除过期引用
    return result;
}

总结一下 #

• 数组索引本身不会导致内存泄漏，问题出在未及时清除那些不再需要的引用
• 你的理解完全正确：当数组索引被新引用覆盖时，旧对象的引用被切断，只要没有其他引用链，就会被垃圾回收
• 只有当数组（或持有数组的容器）存活，且内部保留着逻辑上已废弃的对象引用时，才会触发内存泄漏

内容的提问来源于stack exchange，提问作者pjj