java类生命周期详细解析

(一)详解java类的生命周期

引言

最近有位细心的朋友在阅读笔者的文章时,对java类的生命周期问题有一些疑惑,笔者打开百度搜了一下相关的问题,看到网上的资料很少有把这个问题讲明白的,主要是因为目前国内java方面的教材大多只是告诉你“怎样做”,但至于“为什么这样做”却不多说,所以造成大家在基础和原理方面的知识比较匮乏,所以笔者今天就斗胆来讲一下这个问题,权当抛砖引玉,希望对在这个问题上有疑惑的朋友有所帮助,文中有说的不对的地方,也希望各路高手前来指正。

首先来了解一下jvmjava虚拟机)中的几个比较重要的内存区域,这几个区域在java类的生命周期中扮演着比较重要的角色:

l  方法区:java的虚拟机中有一块专门用来存放已经加载的类信息、常量、静态变量以及方法代码的内存区域,叫做方法区。

l  常量池:常量池是方法区的一部分,主要用来存放常量和类中的符号引用等信息。

l  堆区:用于存放类的对象实例。

l  栈区:也叫java虚拟机栈,是由一个一个的栈帧组成的后进先出的栈式结构,栈桢中存放方法运行时产生的局部变量、方法出口等信息。当调用一个方法时,虚拟机栈中就会创建一个栈帧存放这些数据,当方法调用完成时,栈帧消失,如果方法中调用了其他方法,则继续在栈顶创建新的栈桢。

除了以上四个内存区域之外,jvm中的运行时内存区域还包括本地方法栈和程序计数器,这两个区域与java类的生命周期关系不是很大,在这里就不说了,感兴趣的朋友可以自己百度一下。

 

类的生命周期

       当我们编写一个java的源文件后,经过编译会生成一个后缀名为class的文件,这种文件叫做字节码文件,只有这种字节码文件才能够在java虚拟机中运行,java类的生命周期就是指一个class文件从加载到卸载的全过程。

       一个java类的完整的生命周期会经历加载、连接、初始化、使用、和卸载五个阶段,当然也有在加载或者连接之后没有被初始化就直接被使用的情况,如图所示:

       下面我们就依次来说一说这五个阶段。

加载

       java中,我们经常会接触到一个词——类加载,它和这里的加载并不是一回事,通常我们说类加载指的是类的生命周期中加载、连接、初始化三个阶段。在加载阶段,java虚拟机会做什么工作呢?其实很简单,就是找到需要加载的类并把类的信息加载到jvm的方法区中,然后在堆区中实例化一个java.lang.Class对象,作为方法区中这个类的信息的入口。

       类的加载方式比较灵活,我们最常用的加载方式有两种,一种是根据类的全路径名找到相应的class文件,然后从class文件中读取文件内容;另一种是从jar文件中读取。另外,还有下面几种方式也比较常用:

l  从网络中获取:比如10年前十分流行Applet

l  根据一定的规则实时生成,比如设计模式中的动态代理模式,就是根据相应的类自动生成它的代理类。

l  从非class文件中获取,其实这与直接从class文件中获取的方式本质上是一样的,这些非class文件在jvm中运行之前会被转换为可被jvm所识别的字节码文件。

 

       对于加载的时机,各个虚拟机的做法并不一样,但是有一个原则,就是当jvm“预期”到一个类将要被使用时,就会在使用它之前对这个类进行加载。比如说,在一段代码中出现了一个类的名字,jvm在执行这段代码之前并不能确定这个类是否会被使用到,于是,有些jvm会在执行前就加载这个类,而有些则在真正需要用的时候才会去加载它,这取决于具体的jvm实现。我们常用的hotspot虚拟机是采用的后者,就是说当真正用到一个类的时候才对它进行加载。

       加载阶段是类的生命周期中的第一个阶段,加载阶段之后,是连接阶段。有一点需要注意,就是有时连接阶段并不会等加载阶段完全完成之后才开始,而是交叉进行,可能一个类只加载了一部分之后,连接阶段就已经开始了。但是这两个阶段总的开始时间和完成时间总是固定的:加载阶段总是在连接阶段之前开始,连接阶段总是在加载阶段完成之后完成。

 

连接

       连接阶段比较复杂,一般会跟加载阶段和初始化阶段交叉进行,这个阶段的主要任务就是做一些加载后的验证工作以及一些初始化前的准备工作,可以细分为三个步骤:验证、准备和解析。

1.       验证:当一个类被加载之后,必须要验证一下这个类是否合法,比如这个类是不是符合字节码的格式、变量与方法是不是有重复、数据类型是不是有效、继承与实现是否合乎标准等等。总之,这个阶段的目的就是保证加载的类是能够被jvm所运行。

2.       准备:准备阶段的工作就是为类的静态变量分配内存并设为jvm默认的初值,对于非静态的变量,则不会为它们分配内存。有一点需要注意,这时候,静态变量的初值为jvm默认的初值,而不是我们在程序中设定的初值。jvm默认的初值是这样的:

l  基本类型(intlongshortcharbytebooleanfloatdouble)的默认值为0

l  引用类型的默认值为null

l  常量的默认值为我们程序中设定的值,比如我们在程序中定义final static int a = 100,则准备阶段中a的初值就是100

3.       解析:这一阶段的任务就是把常量池中的符号引用转换为直接引用。那么什么是符号引用,什么又是直接引用呢?我们来举个例子:我们要找一个人,我们现有的信息是这个人的身份证号是1234567890。只有这个信息我们显然找不到这个人,但是通过公安局的身份系统,我们输入1234567890这个号之后,就会得到它的全部信息:比如安徽省黄山市余暇村18号张三,通过这个信息我们就能找到这个人了。这里,123456790就好比是一个符号引用,而安徽省黄山市余暇村18号张三就是直接引用。在内存中也是一样,比如我们要在内存中找一个类里面的一个叫做show的方法,显然是找不到。但是在解析阶段,jvm就会把show这个名字转换为指向方法区的的一块内存地址,比如c17164,通过c17164就可以找到show这个方法具体分配在内存的哪一个区域了。这里show就是符号引用,而c17164就是直接引用。在解析阶段,jvm会将所有的类或接口名、字段名、方法名转换为具体的内存地址。

 

连接阶段完成之后会根据使用的情况(是直接引用还是被动引用)来选择是否对类进行初始化。

初始化

       如果一个类被直接引用,就会触发类的初始化。在java中,直接引用的情况有

l  通过new关键字实例化对象、读取或设置类的静态变量、调用类的静态方法。

l  通过反射方式执行以上三种行为。

l  初始化子类的时候,会触发父类的初始化。

l  作为程序入口直接运行时(就是直接调用main函数)。

除了以上四种情况,其他使用类的方式叫做被动引用,而被动引用不会触发类的初始化。请看代码:

import java.lang.reflect.Field;

import java.lang.reflect.Method;

 

class InitClass{

    static {

       System.out.println("初始化InitClass");

    }

    publicstatic String a = null;

    publicstaticvoid method(){}

}

 

class SubInitClass extends InitClass{}

 

publicclass Test1 {

 

    /**

     *主动引用引起类的初始化的第四种情况就是运行Test1main方法时

     *导致Test1初始化,这一点很好理解,就不特别演示了。

     *本代码演示了前三种情况,以下代码都会引起InitClass的初始化,

     *但由于初始化只会进行一次,运行时请将注解消掉,依次运行查看结果。

     *@paramargs

     *@throwsException

     */

    publicstaticvoid main(String[] args) throws Exception{

    //  主动引用引起类的初始化一: new对象、读取或设置类的静态变量、调用类的静态方法。

    //  new InitClass();

    //  InitClass.a = "";

    //  String a = InitClass.a;

    //  InitClass.method();

      

    //  主动引用引起类的初始化二:通过反射实例化对象、读取或设置类的静态变量、调用类的静态方法。

    //  Class cls = InitClass.class;

    //  cls.newInstance();

      

    //  Field f = cls.getDeclaredField("a");

    //  f.get(null);

    //  f.set(null, "s");

   

    //  Method md = cls.getDeclaredMethod("method");

    //  md.invoke(null, null);

          

    //  主动引用引起类的初始化三:实例化子类,引起父类初始化。

    //  new SubInitClass();

 

    }

}

       上面的程序演示了主动引用触发类的初始化的四种情况。

 

类的初始化过程是这样的:按照顺序自上而下运行类中的变量赋值语句和静态语句,如果有父类,则首先按照顺序运行父类中的变量赋值语句和静态语句。先看一个例子:

首先建两个类用来显示赋值操作:

public class Field1{

    public Field1(){

       System.out.println("Field1构造方法");

    }

}

public class Field2{

    public Field2(){

       System.out.println("Field2构造方法");

    }

}

 

下面是演示初始化顺序的代码:

class InitClass2{

    static{

       System.out.println("运行父类静态代码");

    }

    publicstatic Field1 f1 = new Field1();

    publicstatic Field1 f2;

}

 

class SubInitClass2 extends InitClass2{

    static{

       System.out.println("运行子类静态代码");

    }

    publicstatic Field2 f2 = new Field2();

}

 

publicclass Test2 {

    publicstaticvoid main(String[] args) throws ClassNotFoundException{

       new SubInitClass2();

    }

}

上面的代码中,初始化的顺序是:第03行,第05行,第11行,第13行。第04行是声明操作,没有赋值,所以不会被运行。

而下面的代码:

class InitClass2{

    publicstatic Field1 f1 = new Field1();

    publicstatic Field1 f2;

    static{

       System.out.println("运行父类静态代码");

    }

}

 

class SubInitClass2 extends InitClass2{

    publicstatic Field2 f2 = new Field2();

    static{

       System.out.println("运行子类静态代码");

    }

}

 

publicclass Test2 {

    publicstaticvoid main(String[] args) throws ClassNotFoundException{

       new SubInitClass2();

    }

}

初始化顺序为:第02行、第05行、第10行、第12行,各位可以运行程序查看结果。

 

       在类的初始化阶段,只会初始化与类相关的赋值语句和静态语句,也就是有static关键字修饰的信息,没有static修饰的赋值语句和静态语句在实例化对象的时候才会运行。

 

使用

       类的使用包括主动引用和被动引用,主动引用在初始化的章节中已经说过了,下面我们主要来说一下被动引用:

l  引用父类的静态字段,只会引起父类的初始化,而不会引起子类的初始化。

l  定义类数组,不会引起类的初始化。

l  引用类的常量,不会引起类的初始化。

 

请看一下代码:

class InitClass{

    static {

       System.out.println("初始化InitClass");

    }

    publicstatic String a = null;

    publicfinalstatic String b = "b";

    publicstaticvoid method(){}

}

 

class SubInitClass extends InitClass{

    static {

       System.out.println("初始化SubInitClass");

    }

}

 

publicclass Test4 {

 

    publicstaticvoid main(String[] args) throws Exception{

    //  String a = SubInitClass.a;//引用父类的静态字段,只会引起父类初始化,而不会引起子类的初始化

    //  String b = InitClass.b;//使用类的常量不会引起类的初始化

       SubInitClass[] sc = new SubInitClass[10];//定义类数组不会引起类的初始化

    }

}

最后总结一下使用阶段,使用阶段包括主动引用和被动引用,主动饮用会引起类的初始化,而被动引用不会引起类的初始化。

       当使用阶段完成之后,java类就进入了卸载阶段。

卸载

       关于类的卸载,笔者在单例模式讨论篇:单例模式与垃圾回收一文中有过描述,在类使用完之后,如果有下面的情况,类就会被卸载:

l  该类所有的实例都已经被回收,也就是java堆中不存在该类的任何实例。

l  加载该类的ClassLoader已经被回收。

l  该类对应的java.lang.Class对象没有任何地方被引用,无法在任何地方通过反射访问该类的方法。

如果以上三个条件全部满足,jvm就会在方法区垃圾回收的时候对类进行卸载,类的卸载过程其实就是在方法区中清空类信息,java类的整个生命周期就结束了。

总结

       java的朋友对于对象的生命周期可能都比较熟悉,对象基本上都是在jvm的堆区中创建,在创建对象之前,会触发类加载(加载、连接、初始化),当类初始化完成后,根据类信息在堆区中实例化类对象,初始化非静态变量、非静态代码以及默认构造方法,当对象使用完之后会在合适的时候被jvm垃圾收集器回收。读完本文后我们知道,对象的生命周期只是类的生命周期中使用阶段的主动引用的一种情况(即实例化类对象)。而类的整个生命周期则要比对象的生命周期长的多。

 

(二)java类型生命周期的详细解析

以下是对java中的类型生命周期进行了详细的分析介绍,需要的朋友可以过来参考下 

开始阶段

装载:把二进制形式的java类型读入jvm中。
1)通过该类型的完全限定名,产生一个代表该类型的二进制数据流;
2)解析这个二进制数据流为方法区内的内部数据结构;
3)创建一个表示该类型的java.lang.Class类的实例;

连接:把已读入的类型数据合并到虚拟机的运行时状态中。
1)验证:确保java类型数据格式正确并且适用于jvm使用;
2)准备:为该类型分配内存;
3)解析:把常量池中的符号引用转换为直接引用;

初始化:每个类和接口在首次主动使用时初始化。为类变量赋予正确的初始值;
1)如果类存在直接超类,且直接超类没有被初始化,先初始化直接超类;
2)如果类存在初始化方法,就执行此方法;

只有六种活动被认为是主动使用:
1)、创建类的新实例
2)、调用类中声明的静态方法
3)、操作类或者接口中声明的非常量静态字段
4)、调用Java API中特定的反射方法
5)、初始化一个类的子类
6)、指定一个类作为jvm启动时的初始化类

使用阶段(绝大部分时间)

实例化

实例化途径
明确实例化一个类的四种途径:
1)、new操作符;
2)、调用Class或者Java.lang.reflect.Constructor对象的newInstance()方法;
3)、调用任何现有对象的Clone()方法;
4)、通过java.io.ObjectInputStream类的getObject()方法反序列化;

隐含实例化的几种途径:
1)、保存命令行参数的String对象;
2)、和类装载相关,jvm装载的每一个类型,会暗中实例化一个Class对象来代表这个类型;
3)、和类装载相关,当jvm装载了在常量池中包含CONSTANT_String_info入口类的时候,会创建新的String对象的实例来表示这些常量字符串;
4)、通过执行包含字符串连接操作符的表达式产生对象;

实例化步骤
1)、在堆中为保存对象的实例变量分配内存;
2)、为实例变量初始化为默认的初始值;
3)、为实例变量赋正确的初始值,有三种技术完成赋值:
  a)、如果对象是clone() 创建的,jvm把原实例变量中的值拷贝到新对象中;
  b)、如果是通过ObjectInputStream类的readObject()调用反序列化的,jvm从输入流中读取的值来初始化实例变量;
  c)、jvm调用对象的实例化方法把对象的实例变量初始化为正确的初始值;

垃圾收集和对象终结
jvm实现必须具有某种自动堆存储管理策略,大部分是使用垃圾收集器。如果类声明了 void finalize()方法,垃圾收集器在释放实例内存前会执行这个方法。

垃圾收集器自动调用的finalize()方法抛出的任何异常都将被忽略。

结束阶段

从jvm中卸载类型
很多情况,jvm中类的生命周期和对象的生命周期很相似。jvm如何判断动态装载的类型是否仍然被程序使用,其判断方式和判断对象是否仍然被使用很相似。

如果程序不再引用某类型,那么类型就是不可触及的,就可以被卸载。

使用启动类装载器装载的类型永远都是可触及的,所以永远不会被卸载。只有使用用户定义的类装载器装载的类型才会变成不可触及,才会被卸载。

 

 

posted @ 2016-03-04 23:49  tiger168  阅读(851)  评论(0编辑  收藏  举报