资讯专栏INFORMATION COLUMN

Java 对象与垃圾回收

booster / 550人阅读

摘要:当一个对象被一个或一个以上的引用变量所引用时,它处于可达状态,不可能被系统垃圾回收机制回收。虚引用主要用于跟踪对象被垃圾回收的状态,虚引用不能多带带使用,虚引用必须和引用队列联合使用。

当程序创建对象、数组等引用类型实体时,系统都会在堆内存中为之分配一块内存区,对象就保存在这块内存区中,当这块内存不再被任何引用变量引用时,这块内存就变成垃圾,等待垃圾回收机制进行回收。垃圾回收机制具有如下特征。

垃圾回收机制只负责回收内存中的对象,不会回收任何物理资源(例如数据库连接、网络IO等资源)

程序无法精确控制垃圾回收的运行,垃圾回收会在合适的时候进行。

在垃圾回收机制回收任何对象之前,总会先调用它的finalize()方法,该方法可能使该对象重新复活(让一个引用变量重新引用该对象),从而导致垃圾回收机制取消回收。

对象在内存中的状态

当一个对象在堆内存中运行时,根据它被引用变量所引用的状态,可以把它所处的状态分成如下三种:

可达状态:当一个对象被创建后,若有一个以上的引用变量引用它,则找个对象在程序中处于可达状态,程序可通过引用变量来调用该对象的实例变量和方法。

可恢复状态:如果程序中某个对象不再有任何引用变量引用它,它就进入了可恢复状态。在这种状态下,系统的垃圾回收机制准备回收该对象所占用的内存,在回收该对象之前,系统会调用所有可恢复状态对象的finalize()方法进行资源清理。如果系统在调用finalize()方法时重新让一个引用变量引用该对象,则这个对象会再次变成可达状态;否则该对象将进入不可达状态。

不可达状态:当对象与所有引用变量的关联都被切断,且系统已经调用所有对象的finalize()方法后依然没有使该对象变成可达状态,那么这个对象将永久性地失去引用,最后变成不可达状态。只有当一个对象处于不可达状态时,系统才会真正回收该对象所占有的资源。

public class StatusTranfer 
{
    public static void test() 
    {
        String a = new String("知乎、掘金、SegmentFault");
        a = new String("Java");
    }
    public static void main(String[] args) 
    {
        test();
    }
}

当程序执行test方法的第一行代码时,代码定义了一个a变量,并让该变量指向"知乎、掘金、SegmentFault"字符串,该代码执行结束后"知乎、掘金、SegmentFault"字符串对象处于可达状态。

当程序执行test方法的第二行代码时,代码再次创建了"Java"字符串对象,并让a变量指向该对象。此时"知乎、掘金、SegmentFault"字符串对象处于可恢复状态,而"Java"字符串处于可达状态。

一个对象可以被一个方法的局部变量引用,也可以被其他类的类变量引用,或被其他对象的实例变量引用。当某个对象被其他类的类变量引用时,只有该类被销毁后,该对象才会进入可恢复状态;当某个对象被其他对象的实例变量引用时,只有当该对象被销毁后,该对象才会进入可恢复状态。

强制垃圾回收

当一个对象失去引用后,系统何时调用它的finalize()方法对它进行资源清理,何时它会变成不可达状态,系统何时回收它所占有的内存,对于程序完全透明。程序只能控制一个对象何时不再被任何引用变量引用,绝不能控制它何时被回收。

程序强制系统垃圾回收与如下两种方式

调用System类的gc()静态方法:System.gc()

调用Runtime对象的gc()实例方法:Runtime.getRuntime().gc()

finalize方法

在垃圾回收机制回收某个对象所占用的内存之前,通常要求程序调用适当的方法来清理资源,在设有明确清理资源的情况下,Java提供了默认机制来清理该对象的资源,这个机制就是finalize()方法。该方法是定义在Object类里的实例方法

protected void finalize() throws Throwable

finalize()方法具有如下4个特点:

永远不要主动调用某个对象的finalize()方法,该方法应交给垃圾回收机制调用。

finalize()方法何时被调用,是否被调用具有不确定性,不要把finalize()方法当成一定会被执行的方法。

当JVM执行可恢复对象的fianlize()方法时,可能使该对象或系统中其他对象重新编程可达状态。

当JVM执行finalize()方法时出现异常时,垃圾回收机制不会报告异常,程序继续执行。

public class FinalizeTest 
{
    private static FinalizeTest ft = null;
    public void info()
    {
        System.out.println("测试资源清理的finalize方法");
    }
    public static void main(String[] args) 
    {
        //创建FinalizeTest对象立即进入可恢复状态
        new FinalizeTest();
        //通知系统进行资源回收
        System.gc();
        //强制垃圾回收机制调用可恢复对象的finalize()方法
        Runtime.getRuntime().runFinalization();
        System.runFinalization();
        ft.info();
    }
    public void finalize() 
    {
        //让tf引用到试图回收的可恢复对象,即可恢复对象重新变成可达
        ft = this;
    }
}
对象的软、弱和虚引用 强引用(StrongReference)

Java程序中最常见的引用方式。程序创建一个对象,并把这个对象赋给一个引用变量,程序通过该引用变量来操作实际的对象。当一个对象被一个或一个以上的引用变量所引用时,它处于可达状态,不可能被系统垃圾回收机制回收。

软引用(SoftReference)

通过SoftReference类来实现,当一个对象只有软引用时,它有可能被垃圾回收机制回收。当系统内存空间足够时,它不会被系统回收,程序也可使用该对象;当系统内存空间不足时,系统可能会回收它。软引用通常用于对内存敏感的程序中。

弱引用(WeakReference)

通过WeakReference类实现,弱引用和软引用很像,但弱引用的引用级别更低。对于只有弱引用的对象而已,当系统垃圾回收机制运行时,不管系统内存是否足够,总会回收该对象所占用的内存。当然,并不是说当一个对象只有弱引用时,它就会立即被回收——正如那些失去引用的对象一样,必须等到系统垃圾回收机制运行时才会被回收。

虚引用(PhantomReference)

通过PhantomReference类实现,虚引用完全类似于没有引用。虚引用对对象本身没有太大影响,对象甚至感觉不到虚引用的存在。如果一个对象只有一个虚引用时,那么它和没有引用的效果大致相同。虚引用主要用于跟踪对象被垃圾回收的状态,虚引用不能多带带使用,虚引用必须和引用队列(ReferenceQueue)联合使用。程序可以通过检查与虚引用关联的引用队列中是否已经包含了该虚引用,从而了解虚引用所引用的对象被系统垃圾回收过程。

上面三个引用类都包含了一个get()方法,用于获取被它们所引用的对象。

引用队列由java.lang.ref.ReferenceQueue类表示,它用于保存被回收后对象的引用。当联合使用软引用、弱引用和引用队列时,系统在回收被引用的对象之后,将把被回收对象的引用添加到关联的引用队列中。与软引用和弱引用不同的是,虚引用在对象被释放之前,将把它对应的虚引用添加到它关联的引用队列中,这使得可以在对象被回收之前采取行动。

public class ReferenceTest 
{
    public static void main(String[] args) throws Exception
    {
        //创建一个字符串对象
        String str = new String("克利夫兰骑士");
        //创建一个弱引用,让此弱引用引用到到"克利夫兰骑士"字符串
        WeakReference wr = new WeakReference(str);     //①
        //切断str引用和"克利夫兰骑士"字符串之间的引用
        str = null;                                    //②
        //取出弱引用所引用的对象
        System.out.println(wr.get());                  //③
        //强制垃圾回收
        System.gc();
        System.runFinalization();
        //再次取出弱引用所引用的对象
        System.out.println(wr.get());                  //④
    }
}

当程序执行①行代码时,系统创建了一个弱引用对象,并让该对象和str引用同一个对象。
当程序执行②行代码时,程序切断了str和"克利夫兰骑士"字符串对象之间的引用关系。
当程序执行③行代码时,由于本程序不会导致内存紧张,此时程序通常还不会回收弱引用wr所引用的对象,因此在③号代码处可以看到输出字符串。
之后,调用System.gc();和System.runFinalization();通知系统进行垃圾回收,如果系统立即进行垃圾回收,那么就会将弱引用wr所引用的对象回收。在④号代码处将看到输出null。

采用String str = "克利夫兰骑士";代码定义字符串时,系统会使用常量池来管理这个字符串直接量(会使用强引用来引用它),系统不会回收这个字符串直接量。

import java.lang.ref.PhantomReference;
import java.lang.ref.ReferenceQueue;

public class PhantomReferenceTest 
{
    public static void main(String[] args) throws Exception
    {
        //创建一个字符串对象
        String str = new String("迈阿密热火");
        //创建一个引用队列
        ReferenceQueue rq = new ReferenceQueue<>();
        //创建一个虚引用,让此虚引用引用到"迈阿密热火"字符串
        PhantomReference pr = new PhantomReference(str, rq);
        //切断str引用和"迈阿密热火"字符串之间的引用
        str = null;
        //取出虚引用所引用的对象,并不能通过虚引用获取被引用的对象,所以此处输出null
        System.out.println(pr.get());            //①
        //强制垃圾回收
        System.gc();
        System.runFinalization();
        //垃圾回收之后,虚引用将被放入引用队列中
        //取出引用队列中最先进入队列的引用于pr进行比较
        System.out.println(rq.poll() == pr);    //②
    }
}

系统无法通过虚引用来获取被引用的对象,所以执行①处的输出语句时,程序将输出null(即使此时并未强制进行垃圾回收)。当程序强制垃圾回收后,只有虚引用引用的字符串对象将会被垃圾回收,当被引用的对象被回收后,对应的虚引用将被添加到关联的引用队列中,因此将在②代码处看到输出true。

使用这些引用类可以避免在程序执行期间将对象留在内存中。如果以软引用、弱引用或虚引用的方式引用对象,垃圾回收器就能够随意地释放对象。如果希望尽可能减小程序在其生命周期中所占用的内存大小时,这些引用类就很有作用。要使用这些引用类,就不能保留对对象的强引用;如果保留了对对象的强引用,就会浪费这些引用类所提供的任何好处。

//取出弱引用所引用的对象
obj = wr.get();
//如果取出的对象为null
if (obj == null) 
{
    //重新创建一个新的对象,再次让弱引用去引用该对象
    wr = new WeakReference(recreateIt());        //①
    //取出弱引用所引用的对象,将其赋给obj变量
    obj = wr.get();                                //②
}
...//操作obj对象
//再次切断obj和对象之间的关联
obj = null;
//取出弱引用所引用的对象
obj = wr.get();
//如果取出的对象为null
if (obj == null) 
{
    //重新创建一个新的对象,再次强引用去引用该对象
    obj = recreateIt();
    //取出弱引用所引用的对象,将其赋给obj变量
    wr = new WeakReference(obj);
}
...//操作obj对象
//再次切断obj和对象之间的关联
obj = null;

上面两段伪代码,其中recreateIt()方法用于生成一个obj对象。
第一段代码存在一定问题:当if块执行完成后,obj还是有可能为null。因为垃圾回收的不确定性,假设系统在①和②行代码之间进行垃圾回收,则系统会再次将wr所引用的对象回收,从而导致obj依然为null。
第二段代码则不会出现这个问题,当if块执行结束后,obj一定不为null。

文章版权归作者所有,未经允许请勿转载,若此文章存在违规行为,您可以联系管理员删除。

转载请注明本文地址:https://www.ucloud.cn/yun/66317.html

相关文章

  • Java 语言概述开发环境

    摘要:一次性编译成机器码,脱离开发环境独立运行,运行效率较高。解释型语言使用专门的解释器对源程序逐行解释成特定平台的机器码并立即执行的语言。垃圾回收机制保护程序的完整性,垃圾回收是语言安全性策略的一个重要部分。 Java程序运行机制 编译型语言 使用专门的编译器,针对特定平台(操作系统)将某种高级语言源代码一次性翻译成可被该平台硬件执行的机器码(包括机器指令和操作数),并包装成该平台所能识...

    wangshijun 评论0 收藏0
  • JVM的基本概念维护调优

    摘要:栈因为是运行单位,因此里面存储的信息都是跟当前线程相关的信息。基本类型和对象的引用都是在存放在栈中,而且都是几个字节的一个数,因此在程序运行时,他们的处理方式是统一的。对象,是由基本类型组成的。 一、概念 数据类型 java虚拟机中,数据类型可以分为两类: 基本类型 引用类型 基本类型的变量保存原始值,即:他代表的值就是数值本身;而引用类型的变量保存引用值。基本类型包括:byte,sh...

    UnixAgain 评论0 收藏0
  • JVM的基本概念维护调优

    摘要:栈因为是运行单位,因此里面存储的信息都是跟当前线程相关的信息。基本类型和对象的引用都是在存放在栈中,而且都是几个字节的一个数,因此在程序运行时,他们的处理方式是统一的。对象,是由基本类型组成的。 一、概念 数据类型 java虚拟机中,数据类型可以分为两类: 基本类型 引用类型 基本类型的变量保存原始值,即:他代表的值就是数值本身;而引用类型的变量保存引用值。基本类型包括:byte,sh...

    warnerwu 评论0 收藏0
  • JVM的基本概念维护调优

    摘要:栈因为是运行单位,因此里面存储的信息都是跟当前线程相关的信息。基本类型和对象的引用都是在存放在栈中,而且都是几个字节的一个数,因此在程序运行时,他们的处理方式是统一的。对象,是由基本类型组成的。 一、概念 数据类型 java虚拟机中,数据类型可以分为两类: 基本类型 引用类型 基本类型的变量保存原始值,即:他代表的值就是数值本身;而引用类型的变量保存引用值。基本类型包括:byte,sh...

    DevWiki 评论0 收藏0
  • 垃圾回收算法 JVM 垃圾回收器综述

    摘要:垃圾回收算法与垃圾回收器综述我们常说的垃圾回收算法可以分为两部分对象的查找算法与真正的回收方法。串行垃圾回收器一次只使用一个线程进行垃圾回收并行垃圾回收器一次将开启多个线程同时进行垃圾回收。 垃圾回收算法与 JVM 垃圾回收器综述归纳于笔者的 JVM 内部原理与性能调优系列文章,文中涉及的引用资料参考 Java 学习与实践资料索引、JVM 资料索引。 showImg(https://s...

    imingyu 评论0 收藏0
  • Java 内存结构备忘录

    摘要:本文详细描述了堆内存模型,垃圾回收算法以及处理内存泄露的最佳方案,并辅之以图表,希望能对理解内存结构有所帮助。该区域也称为内存模型的本地区。在中,内存泄露是指对象已不再使用,但垃圾回收未能将他们视做不使用对象予以回收。 本文详细描述了 Java 堆内存模型,垃圾回收算法以及处理内存泄露的最佳方案,并辅之以图表,希望能对理解 Java 内存结构有所帮助。原文作者 Sumith Puri,...

    wow_worktile 评论0 收藏0

发表评论

0条评论

最新活动
阅读需要支付1元查看
<