第七章 虚拟机类加载机制

1.虚拟机类加载机制

把描述类的数据从Class文件加载到内存，并对数据进行校验、转换解析和初始化，最终形成可以被虚拟机直接使用的Java类型。

2.类加载时机

虚拟机规范规定了有且只有5种情况必须立即对类进行“初始化”。

2.1：遇到new、getstatic、putstatic、或invokestatic这4条字节码指令时，如果没有类进行过初始化，则需要先触发其初始化。生成这4条指令常见的场景：使用new关键字实例化对象的时候、读取或设置一个类的静态字段的时候，以及调用一个类的静态方法的时候。

2.2：使用java.lang.reflect包的方法对类进行反射调用的时候。未初始化，需要初始化。

2.3：当初始化一个类的时候，如果发现其父类还有没有进行过初始化，则需要先触发其父类的的初始化。

2.4：当虚拟机启动时，用户需要指定一个要执行的主类(包含main()方法)，虚拟机会先初始化这个主类。

2.5：java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄，并且这个方法句柄所对应的类没有进行过初始化，则需要先触发其初始化。

以上5种情况为对一个类进行主动引用。除此之外，所有的引用类的方式都不会触发初始化，称为被动引用。

对于静态字段，只有直接定义这个字段的类才会初始化，因此通过其子类来引用父类中定义的静态字段，只会触发父类的初始化而不会触发子类的初始化。

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

一个接口在初始化时，并不要求其父类接口全部都完成初始化，只有在真正使用父类接口的时候才会初始化。

3.类的加载过程

3.1加载

加载阶段，虚拟机需要完成以下3件事情：

（1）通过一个类的全限定名称来获取定义此类的二进制字节流。

（2）将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。

（3）在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。

数组类本身不通过类加载器创建，它是由Java虚拟机直接创建。数组类创建过程如下：

（1）如果数组的组件类型是引用类型，采用双亲委派模型进行加载，数组类将在加载该组件类型的类加载器的类名称空间上被标识。

（2）如果数组的组件类型不是引用类型，java虚拟机将会把数组类标记为与引导类加载器关联。

（3）数组类的可见性与它的组件类型的可见性一致，如果组件类型不是引用类型，那数组类的可见性将默认为public。

创建的Class对象存储在方法区中。

3.2验证

此阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。验证阶段会完成如下4个阶段的检验动作：

3.2.1文件格式验证

验证字节流是否符合Class文件格式的规范，并且能被当前版本的虚拟机处理。主要目的是保证输入的字节流能正确地解析并存储于方法区之内，格式符合描述一个Java类型信息的要求。基于二进制流进行，验证通过后，字节流才会进入内存方法区中进行存储。

3.2.2元数据验证

对字节码描述的信息进行语义分析，以保证其描述的信息符合Java语言规范的要求。

3.2.3字节码验证

通过数据流和控制流分析，确定程序语义是合法的、符合逻辑的。

3.2.4符号引用验证

发生在虚拟机将符号引用转化为直接引用的时候，这个转化动作将在连接的第三阶段–解析阶段中发生。符号引用验证可以看做是对类自身以外(常量池中的各种符号引用)的信息进行匹配性校验。目的是确保解析动作能正常执行。

3.3准备

为类变量（static）分配内存并设置类变量初始值（零值），这些变量所使用的内存都将在方法区中进行分配。常量字段(static,final)直接赋予用户设定的值。

3.4解析

将常量池内的符号引用替换为直接内存引用。解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符。

3.5初始化

初始化阶段，才真正开始执行类中定义的Java代码，在准备阶段，类变量已经赋过一次系统要求的初始值，在初始化阶段，根据程序员通过程序制定的主观计划去初始化类变量和其他资源。初始化阶段是执行类构造器方法的过程。

\方法：

（1）由编译器收集类中的所有类变量的赋值动作（如果仅仅只是声明，不会被收集）和静态语句块中的语句合并产生的，收集顺序按照语句在源文件中出现的顺序所决定；在静态语句块中只能访问定义在静态语句之前的变量；而对于定义在静态语句块之后的变量，可以进行赋值，但是不能够访问。

(2)不需要显示调用父类构造器，虚拟机会保证在子类的()方法执行之前，父类的()方法已经执行完毕，所以，第一个被执行的()方法的类肯定是java.lang.Object。

(3)父类中定义的静态语句块优先于子类的静态语句。

(4)此方法对类和接口都不是必须的，若类中没有静态语句块和静态变量赋值操作，则不会生成()方法。

(5)接口会生成此方法，因为对接口的字段可以进行赋值操作。执行接口的()方法不需要先执行父接口的()方法，只有在使用父接口的变量时，才会进行初始化；接口的实现类在初始化时也不会执行接口的()方法。

(6)虚拟机会保证此方法在多线程环境中会被正确的加锁、同步。

4.类加载器

对于任意一个类，都需要由加载它的类加载器和这个类本身一同确立其在Java虚拟机中的唯一性，每个类加载器，都拥有一个独立的类名称空间。

4.1双亲委派模型

从虚拟机角度看，只存在两种不同的类加载器：1.启动类加载器；2.所有其他类加载器。

从Java开发人员角度来看，包括如下类加载器：

1.启动类加载器，用于加载Java API，加载\lib目录下的文类库。

2.扩展类加载器，由sun.misc.Launcher$ExtClassLoader实现，用于加载\lib\ext目录下或者被java.ext.dirs系统变量指定路径下的类库。

3.应用程序类加载器，也成为系统类加载器，由sun.misc.Launcher$AppClassLoader实现，用于加载用户类路径(ClassPath)上所指定的类库。

4.自定义类加载器，继承系统类加载器，实现用户自定义加载逻辑。

双亲委派模型的工作过程：当一个类加载器收到类加载的请求，它将这个加载请求委派给父类加载器进行加载，每一层加载器都是如此，最终，所有的请求都会传送到启动类加载器中。只有当父类加载器自己无法完成加载请求时，子类加载器才会尝试自己加载。