Java类加载的过程

JVM和类
当咱们调用 Java 命令运行某个 Java 程序时，该命令将会启动一条 Java 虚拟机进程，无论该 Java 程序有多么复杂，该程序启动了多少个线程，它们都处于该 Java 虚拟机进程里。同一个 JVM 的全部线程、全部变量都处于同一个进程里，它们都使用该 JVM 进程的内存区。当系统出现如下几种状况时， JVM 进程将被终止：

程序运行到最后正常接收；
程序运行到使用System.exit（）或Runtime.getRuntime（）.exit（）代码结束程序；
程序运行中遇到未捕获的异常或错误结束；
程序所在平台强制结束了JVM进程；
类加载器就是寻找类或接口字节码文件进行解析并构造JVM内部对象表示的组件，在java中类装载器把一个类装入JVM，通过如下步骤：

一、加载：查找和导入Class文件

二、连接：其中解析步骤是能够选择的 （a）检查：检查载入的class文件数据的正确性 （b）准备：给类的静态变量分配存储空间 （c）解析：将符号引用转成直接引用

三、初始化：对静态变量，静态代码块执行初始化工做

类的加载过程
当Java程序须要使用某个类时，若是该类还未被加载到内存中，JVM会经过加载、链接(验证、准备和解析)、初始化三个步骤来对该类进行初始化。

类的加载是指把类的.class文件中的数据读入到内存中，一般是建立一个字节数组读入.class文件，而后产生与所加载类对应的Class对象。加载完成后，Class对象还不完整，因此此时的类还不可用。当类被加载后就进入链接阶段，这一阶段包括验证、准备(为静态变量分配内存并设置默认的初始值)和解析(将符号引用替换为直接引用)三个步骤。最后JVM对类进行初始化，包括：

1)若是类存在直接的父类而且这个类尚未被初始化，那么就先初始化父类;

2)若是类中存在初始化语句，就依次执行这些初始化语句。

概述
因为Java的跨平台性，通过编译的Java源程序并非一个可执行程序，而是一个或多个类文件。当Java程序须要使用某个类时，若是该类还未被加载到内存中，Java虚拟机会经过加载、链接和初始化一个Java类, 使该类能够被正在运行的Java程序所使用。其中，加载（Loading）就是把类的.class文件读入Java虚拟机中; 而链接（Linking）就是把这种已经读入虚拟机的二进制形式的类型数据合并到虚拟机的运行时状态中去 。链接阶段分为三个子步骤——验证（Verification）、准备（Preparation）和解析（Resolution）。 验证步骤确保了Java类型数据格式正确而且适于Java虚拟机使用。而准备步骤则负责为该类型分配它所需的内存、好比为它的类变量分配内存。解析步骤则负责把常量池中的符号引用转换为直接引用。

加载、 验证、准备和初始化这四个阶段的顺序是肯定的,类的加载过程必须按照这种顺序接部就班地开始,而解析则不必定: 它在某些状况下能够在初始化阶段以后再开始, 这是为了支持 Java语言的运行时绑定 (也称为动态绑定或晩期绑定)。

类初始化的时机
在类和接口被加载和链接的时机上, Java虚拟机规范给实现提供了必定的灵活性 。可是它严格地定义了初始化的时机 。全部的Java虚拟机实现必须在每一个类或接口首次主动使用时初始化 。下面这几种情形必须当即对类进行“初始化”：

1)遇到 new、 getstatic、 putstatic或invokestatic这4条字节码指令时,若是类没有进行过初始化, 则须要先触发其初始化, 生成这4条指令的最多见的 Java代码场景是:

使用 new关键字实例化对象的时候
读取或设置一个类的静态字段的时候(即在字节码中,执行getstalic或putstatic指令时),被final修饰、已在编译期把结果放入常量池的静态字段除外
调用一个类的静态方法的时候(即在字节码中执行invokestatic指令时)。
2 ) 当调用Java API中的某些反射方法时, 好比类Class中的方法或者java.lang.reflect包的方法对类进行反射调用的时候, 若是类没有进行过初始化 , 则须要先触发其初始化。

3 ) 当初始化一个类的时候, 若是发现其父类尚未进行过初始化, 则须要先触发其父类的初始化。

4. 当虚拟机启动时, 用户须要指定一个要执行的主类(包合 main()方法的那个类) . 虚拟机会先初始化这个主类。

5）当使用JDK1.7的动态语言支持时，若是一个java.lang.invoke.MethodHandle实例最后的解析结果是REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄，而且这个方法句柄所对应的类没有进行过初始化，则须要先触发其初始化。

对于这五种会触发类进行初始化的场景, 虚拟机规范中使用了一个很强烈的限定语:“有且只有 '', 这5种场景中的行为称为对一个类进行主动引用 。 除此以外，全部引用类的方式都不会触发初始化, 称为被动引用。

类的加载
加载是类加载过程的一个阶段，这两个概念必定不要混淆。在加载阶段, 虚拟机须要完成如下三件事情:

1)经过一个类的全限定名来获取定义此类的二进制字节流。

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

3 ) 将类的class文件读入内存，并为之建立一个java.lang.Class对象，也就是说当程序中使用任何类时，系统都会为之创建一个java.lang.Class对象, 做为方法区这个类的各类数据的访问入口。

经过使用不一样的类加载器，能够从不一样来源加载类的二进制数据，一般有以下几种来源：

从本地文件系统加载class文件；
从一个ZIP、 JAR、 CAB或者其余某种归档文件中提取Java class文件，JDBC编程时使用到的数据库驱动就是放在JAR文件中，JVM能够直接从JAR包中加载class文件；
经过网络加载class文件，这种场景最典型的应用就是 Applet；
把一个java源文件动态编译、并执行加载
运行时计算生成, 这种场景使用得最多的就是动态代理接术, 在 java.lang.reflect.Proxy中 , 就是用了 ProxyGenerator.generateProxyClass来为特定接口生成形式为“*$Proxy”的代理类的二进制字节流。
类的链接
当类被加载后，系统为之生成一个对应的Class对象，接着会进入链接阶段，链接阶段将会负责把类的二进制文件合并到JRE中。类链接分为以下三个阶段：

验证：验证阶段用于检验被加载的类是否有正确的内部结构，并和其余类协调一致；
准备：准备阶段则负责为类的静态属性分配内存，并设置默认初始值；
解析：将类的二进制数据中的符号引用替换成直接引用（符号引用是用一组符号描述所引用的目标；直接引用是指向目标的指针）
验证
验证是链接阶段的第一步, 这一阶段的目的是为了确保 Class文件的字节流中包含的信息符合当前虚拟机的要求, 井且不会危害虚拟机自身的安全。

Java语言自己是相对安全的语言，但前面已经说过, Class文件并不必定要求用 Java源码编译而来, 可使用任何途径, 包括用十六进制编译器直接编写来产生 Class 文件。在字节码的语言层面上, 上述 Java代码没法作到的事情都是能够实现的, 至少语义上是能够表达出来的。虚拟机若是不检査输入的字节流,对其彻底信任的话, 极可能会由于载入了有害的字节流而致使系统崩溃 , 因此验证是虚拟机对自身保护的一项重要工做。从总体上看，验证阶段会完成下面四个阶段的检验过程: 文件格式验证、 元数据验证、 字节码验证、符号引用验证。

一、文件格式验证

第一阶段要验证字节流是否符合 Class文件格式的规范, 井且能被当前版本的虚拟机处理。这一阶段可能包括下面这些验证点：

是否以魔数 0xCAFEBABE开头
主、次版本号是否在当前虚拟机处理范围以内 。
常量池的常量中是否有不被支持的常量类型(检査常量tag 标志)。
指向常量的各类索引值中是否有指向不存在的常量或不符合装型的常量 。
CONSTANT_Utf8_info型的常量中是否有不符合 UTF8编码的数据
Class 文件中各个部分及文件自己是否有被删除的或附加的其余信息
实际上第一阶段的验证点还远不止这些, 上面这些只是从 HotSpot虚拟机源码中摘抄的一小部分而已。只有经过了这个阶段的验证以后, 字节流才会进入内存的方法区中进行存储, 因此后面的三个验证阶段所有是基于方法区的存储结构进行的，不会再直接操做字节流。

二、元数据验证

第二阶段是对字节码描述的信息进行语义分析，以保证其描述的信息符合Java语言规范的要求,这个阶段可能包括的验证点以下:

这个类是否有父类(除了 java.lang.0bject以外,全部的类都应当有父类)

这个类的父类是否继承了不容许被继承的类(被finaI修饰的类)

若是这个类不是抽象类, 是否实現了其父类或接口之中要求实现的全部方法

类中的字段、 方法是否与父类产生了矛盾(例如覆盖了父类的final字段, 或者出現不符合规则的方法重载, 例如方法参数都一致, 但返回值类型却不一样等)

第二阶段的验证点一样远不止这些，这一阶段的主要目的是对类的元数据信息进行语义检验, 保证不存在不符合 Java语言规范的元数据信息。

三、字节码验证

第三阶段是整个验证过程当中最复杂的一个阶段, 主要目的是经过数据流和控制流的分析，肯定语义是合法的。符号逻辑的。在第二阶段对元数据信息中的数据类型作完校验后，这阶段将对类的方法体进行校验分析，保证被校验类的方法在运行时不会作出危害虚拟机安全的行为，例如：

保证任意时刻操做数栈的数据装型与指令代码序列都能配合工做, 例如不会出现相似这样的状况:在操做栈中放置了一个 int类型的数据, 使用时却按long类型来加载入本地变量表中。
保证跳转指令不会跳转到方法体之外的字节码指令上
保证方法体中的类型转换是有效的, 例如能够把一个子类对象赋值给父类数据装型，这是安全的,可是把父类对象意赋值给子类数据类型,甚至把对象赋值给与它毫无继承关系、 彻底不相干的一个数据类型, 则是危险和不合法的。
即便一个方法体经过了字节码验证, 也不能说明其必定就是安全的。

四、符号引用验证

最后一个阶段的校验发生在虚拟机将符号引用转化为直接引用的时候 , 这个转化动做将在链接的第三个阶段——解析阶段中发生。符号引用验证能够看作是对类自身之外(常量池中的各类符号引用) 的信息进行匹配性的校验, 一般须要校验如下内容:

符号引用中经过字将串描述的全限定名是否能找到对应的类
在指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段 。
符号引用中的类、字段和方法的访问性(private、 protected、 public、 default)是否可被当前类访问
符号引用验证的目的是确保解析动做能正常执行, 若是没法经过符号引用验证, 将会抛出一个 java.lang.IncompatibleClassChangError异常的子类, 如 java.lang.IllegalAccessError、 java.lang.NoSuchFieldError、java.lang.NoSuchMethodError等。

对于虚拟机的装加载机制来讲 ,验证阶段是一个很是重要的、 但不必定是必要的阶段（由于对程序没有影响）。若是所运行的所有代码(包括本身编写的以及第三方包中的代码)都已经被反复使用和验证过 , 那么在实施阶段就能够考虑使用一Xverify;none 参数来关闭大部分的验证措施, 以缩短虚拟机类加载的时间。

准备
准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些变量所使用的内存都将在方法区中进行分配 。这个阶段中有两个容易产生混淆的概念须要强调一下, 首先，这时候进行内存分配的仅包括类变量(被static修饰的变量)，而不包括实例变量,实例变量将会在对象实例化时随着对象一块儿分配在 Java 堆中 。 其次，这里所说的初始值“一般状况”下是数据类型的零值。

解析
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程， 解新动做主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符7类符号引用进行,分别对应于常量池的CONSTANT_Class_info、 CONSTANT_Fieldref_info、CONSTANT_Methodref_info、CONSTANT_IntrfaceMethodref_info、CONSTANT_MethodType_info、CONSTANT_MethodHandle_info和CONSTANT_InvokeDynamic_info7种常量类型,解析阶段中所说的直接引用与符号引用关系以下：

符号引用(Symlxiuc References):符号引用以一组符号来描述所引用的日标,符号能够是任何形式的字面量, 只要使用时能无歧义地定位到目标便可, 特号引用与配組机实现的内存1布.局11i-美 , 引用的日标并不必定已组加裁到内存中
直接引用(Direct References):直接引用能够是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是与虚拟机实现的内存布局相关的 , 同一个符号引用在不一样虚拟机实例上翻译出来的直接引用通常不会相同. 若是有了直接引用, 那引用的目标一定已经在内存中存在
类的初始化
初始化阶段是类加载过程的最后一步 , 前面的几个阶段, 除了在加载阶段用户应用程序能够经过自定 义类加载器參与以外, 其他动做彻底由虚拟机主导和控制。到了初始化阶段, 才真正开始执行类中定义的 Java程序代码。从代码角度，初始化阶段是执行类构造器 ()方法的过程。咱们先看一下 ()方法执行过程当中可能会影响程序运行行为的特色和细节：

()方法是由编译器自动收集类中的全部类变量的赋值动做和静志语句块(static{}块)中的语句合并产生的, 编译器收集的顺序是由语句在源文件中出现的顺序所决定的, 静态语句块中只能访问到定义在静态语句块以前的变量, 定义在它以后的変量 , 在前面的静态语句块能够赋值 , 可是不能访问
()方法与类的构造函数 (或者说实例构造器 ()方法)不一样，它不须要显式地调用父类构造器, 虚期机会保证在子类的 ()方法执行以前, 父类的 ()方法已经执行完毕, 所以在虚期机中第一个被执行的 ()方法的类确定是 java,lang.Object
因为父类的 ()方法先执行，也就意味着父类中定义的静态语句块要优先于子类的变量赋值操做
()方法对于类或接口来讲并非必须的, 若是一个类中没有静态语句块,也没有对变量的赋值操做, 那么编译器能够不为这个类生成 ()方法
接口中不能使用静态语句块，但仍然有变量初始化的赋值操做, 所以接口与类同样都会生成 ()方法。 但接口与类不一样的是, 执行接口的 ()方法不须要先执行父接口的 ()方法。只有当父接口中定义的变量被使用时, 父接口才会被初始化。 另外, 接口的实现类在初始化时也同样不会执行接口的 ()方法
虚拟机会保证一个类的 ()方法在多线程环境中被正确地加锁和同步，若是多个线程同时去初始化一个类，那么只会有一个线程去执行这个类的 ()法,其余线程部须要阻塞等待，直到活动线程执行 ()方法完毕。若是在一个类的 ()方法中有耗时很长的操做, 那就可能形成多个进程阻塞, 在实际应用中这种阻塞每每是隐蔽的。
类的初始化阶段主要是对类变量进行初始化，在Java类中对类变量指定初始值有两种方式：

声明类变量时指定初始值
使用静态初始化块为类变量指定初始值
JVM初始化一个类通常包括以下几个步骤：

假如这个类尚未被加载和链接，程序先加载并链接该类；
假如该类的直接父类尚未被初始化，则先初始化其直接父类；
假如类中有初始化语句，则系统依次执行这些初始化语句
当执行第二步时，系统对直接父类的初始化也遵循此一、二、3步骤，若是该直接父类又有直接父类，系统再次重复这三步，因此JVM最早初始化的老是java.lang.Object类。

参考：

http://www.jb51.net/article/112006.htm

http://www.javashuo.com/article/p-rtbvcfpv-ey.html