Java对象销毁机制详解：可达性分析与finalize陷阱

结果或目标

理解Java虚拟机（JVM）如何识别不再使用的对象并完成内存回收，明确对象从创建到销毁的生命周期状态变化，特别是finalize()方法在实际运行中的表现与限制。

准备条件

• 具备基础的Java编程知识，了解类、对象、引用变量及堆内存的基本概念。
• 运行环境配置了标准JDK，能够编译和运行包含自定义finalize()覆盖方法的Java程序。

真实操作顺序

第1步：理解对象引用的作用范围对销毁的影响

目的：确认当对象失去所有有效引用时，其进入待回收状态的初步条件。

动作：创建一个局部对象，使其在代码块结束时超出作用域。

{
    Object o = new Object(); // 对象o的作用范围局限在此代码块内
} // 超过这个范围后，对象o不再被任何变量引用

完成状态：代码块执行完毕后，o变量失效，指向的对象成为垃圾回收器的潜在目标。

第2步：通过赋值为null切断引用

目的：显式地解除对象引用，强制使对象进入无引用状态。

{
    Object o = new Object();
    o = null; // 切断外部引用，对象被视为垃圾
}

完成状态：虽然栈帧可能尚未弹出，但该堆对象已无强引用指向，符合回收的前置条件。

第3步：覆盖finalize()方法以观察销毁前行为

目的：验证JVM在真正释放内存前是否会调用finalize()方法。

Java的Object类提供了一个protected void finalize() throws Throwable { }方法。子类可以重写该方法，用于释放非Java资源（如文件句柄、网络连接等），但注意该方法已被官方标记为弃用，且存在性能和安全风险。

public class User {
    private int money;

    public void setMoney(int money) {
        this.money = money;
    }

    @Override
    protected void finalize() throws Throwable {
        if (money > 0) {
            System.out.println("error"); // 钱没花光，标记为失败
        } else {
            System.out.println("success"); // 钱花光了，标记为成功
        }
        super.finalize();
    }
}

第4步：测试未强制GC时的对象回收情况

目的：观察在没有主动触发GC的情况下，短期存活对象是否会被立即销毁。

public class Test {
    public static void main(String args[]) {
        User u1 = new User();
        u1.setMoney(200);
        
        new Object(); // 占位对象
        new User().setMoney(100); // 匿名对象，创建后立即失去引用
        
        // 此处未调用 System.gc()
    }
}

现象：运行上述代码，控制台通常没有任何输出。这说明finalize()并未被调用，甚至new User(100)创建的实例可能未被及时回收。这是因为JVM只有在检测到内存不足或特定条件下才会启动垃圾回收线程，而不是每次对象失去引用都立即回收。

第5步：使用System.gc()尝试强制回收

目的：通过手动提示JVM进行垃圾回收，验证对象是否进入最终清除阶段。

public class Test {
    public static void main(String args[]) {
        User u1 = new User();
        u1.setMoney(200);
        
        new Object();
        new User().setMoney(100); // 无引用对象
        
        System.gc(); // 提示系统垃圾回收器工作
    }
}

结果：调用System.gc()后，有可能观察到控制台输出"error"或"success"。这表明JVM响应了提示，执行了垃圾回收，调用了finalize()方法。

重要参数与约束：调用System.gc()或仅是一个“建议”，JVM实现者可以自由忽略该请求。因此，不能将其视为可靠的资源释放机制。

原文有依据的排错

为什么finalize()经常不被调用？

许多开发者误以为失去引用的对象会立刻被销毁并调用finalize()。实际上，Java中的垃圾回收是非确定性的。如果程序运行的存储空间充足，GC线程优先级较低，可能导致长时间不回收。此外，finalize()方法本身效率低下，可能导致对象在第一次回收时“复活”（如果在finalize中将自身赋值给静态变量或全局引用），从而跳过回收。

简要总结

Java对象的生命周期取决于其引用状态和垃圾回收器的调度。
1. 可触及状态：对象被至少一个活动引用指向，不会被回收。
2. 可复活状态：对象失去所有引用，GC准备回收时会调用finalize()。若finalize中重新获取引用，对象将转为可触及。
3. 不可触及状态：finalize()执行完毕且未复活，对象真正被回收。

最佳实践是尽量避免依赖finalize()进行关键资源清理，推荐使用try-with-resources或显式的close()方法来确保资源的安全释放。

以上就是Java中对象销毁机制的详细解析，更多关于Java内存管理与GC优化的资料请关注本站其它相关文章！