类加载机制

类加载过程

类是在运行期间第一次使用时动态加载的,而不是一次性加载.因为如果一次性加载,会占用很多的内存.类的生命周期包括以下7个阶段:

• 加载
• 验证
• 准备
• 解析
• 初始化
• 使用
• 卸载

类加载过程包含了加载,验证,准备,解析,初始化这五个阶段.

1.加载

加载是类加载的一个阶段,加载过程完成以下三件事:

• 通过类的完全限定名称获取定义该类的二进制字节流
• 将该字节流表示的静态存储结构转换为方法区的运行时存储结构.
• 在内存中生成一个代表该类的Class对象,作为方法区中该类各种数据的访问入口.

2.验证

确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身的安全.

3.准备

类变量是被static修饰的变量,准备阶段为类变量分配内存并设置初始值,使用的是方法区的内存.
实例变量不会在这阶段分配内存,它会在对象实例化时随着对象一起被分配在堆中.应该注意到,实例化不是类加载的一个过程.,类加载发生在所有实例化操作之前,并且类加载只进行一次,实例化可以进行多次.

初始值一般为0值,例如下面的类变量value被初始化为0而不是123.

public static int value = 123;

如果类变量是常量,那么他将初始化为表达式所定义的值而不是0,例如下面的常量value被初始化为123而不是0.

public static final int value = 123;

4.解析

将常量池的符号引用替换为直接引用的过程.其中解析过程在某些情况下可以在初始化阶段之后再开始,这是为了支持Java的动态绑定.

5.初始化

初始化阶段才真正开始执行类中定义的Java代码,初始化阶段是虚拟机执行类构造器()方法的过程,在准备阶段,类变量已经赋过一次系统要求的初始值,而在初始化阶段,根据程序员通过程序进行的主观计划来初始化类变量和其他资源.
()方法是由编译器自动收集类中的所有类变量的赋值动作和静态语句块中的语句合并产生的,编译器收集的顺序由语句在源文件中出现的顺序决定.特别注意的是,静态语句块只能访问到定义在它之前的类变量,定义在它之后的类变量只能赋值,不能访问.

类初始化时机

虚拟机规范中并没有强制约束何时进行加载,但是规范严格规定了有且只有下面几种情况必须对类进行初始化(加载,验证,准备都会随之发生)

1.主动引用

• 遇到new , getstatic , putstatic , invokestatic 这四条字节码指令时,如果类没有进行初始化,则必须先触发其初始化.最常见的生成这4条指令的场景是:使用new关键字实例化对象的时候;读取或设置一个类的静态字段的时候(被final修饰的静态字段除外); 以及调用一个类的静态方法的时候.
• 使用java.lang.reflect包对类进行反射调用的时候,如果类没有进行初始化,则需要先出触发其初始化.
• 当初始化一个类的时候,如果发现其父类还没有进行初始化,则需要先触发其父类的初始化.
• 当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类),虚拟机会先初始化这个主类.
• 当使用JDK1.7的动态语言支持时,如果一个java.lang.invoke.MethodHandle实例最后的解析结果为REF_getStatic,REF_putStatic,REF_invokeStatic的方法句柄,并且这个方法句柄所对应的类没有进行初始化,则需要先触发其初始化.

2.被动引用

以上五种场景中的行为称为对一个类进行主动引用.除此之外,所有引用类的方式都不会触发初始化,称为被动引用,被动引用的常见例子包括:

• 通过子类引用父类的静态字段,不会导致子类初始化.
• 通过数组定义来引用类,不会触发此类的初始化,该过程会对数组类进行初始化,数组类是一个由虚拟机自动生成的,直接继承自Object的子类,其中包含了数组的属性和方法.

SuperClass[] sca = new SuperClass[10];

• 常量在编译阶段会存入调用类的常量池中,本质上并没有直接引用到定义常量的类,因此不会触发定义常量的类的初始化

类加载器

定义:类加载是通过一个类的全名称来获取类的二进制字节流,而类加载器是实现类加载的功能的代码模块

BootStrap(启动类加载器)

• 使用C++实现,属于JVM的一部分,独立于JVM外部,并且无法被Java程序直接引用
• 负责将存放于JAVA_HOME\lib目录下的能被JVM识别的所有类库(例如rt.jar-Java基础类库)加载到JVM中

ExtClassLoader(扩展类加载器)

• Java语言实现,可以直接被Java程序使用
• 负责将JAVA_HOME\lib\ext(xml文件解析类,界面框架类)目录下的所有能被JVM识别的类库加载到JVM中

AppClassLoader(应用程序类加载器)

• 使用Java实现,如果用户没有自定义类加载器,则AppClassLoader就是程序中默认的类加载器
• 负责加载用户classPath指定的类库

双亲委派模型

定义:四种类加载器的层次关系就是双亲委派模型

工作流程:
如果一个类收到了一个类加载请求,首先它不会自己尝试加载,而是先交给父类去加载,每一层加载器都是如此,只有当父类无法加载此类时子加载器才会自己尝试去加载.

存在意义:
双亲委派模型对于保证Java程序的稳定运行十分重要,例如java.lang.Object,它存放在rt.jar中,由于双亲委派模型的存在,最终都是委派给处于顶端的启动类加载器进行加载,因此,Object类在程序的各个类加载器环境中都是同一个类

需要注意的是,比较两个类是否相等的前提条件是:这两个是由同一个类加载器加载的,否则即使两个类来源于同一个class文件,被同一个JVM加载,只要这两个类的类加载器不同,这两个类注定不相同