1. 类加载的时机
1.1. 虚拟机类加载机制的概念
虚拟机把描述类的数据从 class 文件加载到内存, 并对数据进行校验, 转换解析和初始化. 最终形成可以被虚拟机最直接使用的 java 类型的过程就是虚拟机的类加载机制.
1.2 类加载的时机
类从被加载到虚拟机内存到卸出内存为止, 它的整个生命周期包括:
类的生命周期
1.3 类初始化时机
虚拟机规范中并没有强制约束何时进行加载, 但是规范严格规定了有且只有下列五种情况必须对类进行初始化(加载, 验证, 准备都会随着发生):
1.3.1 遇到 new,getstatic,putstatic,invokestatic 这四条字节码指令时, 如果类没有进行过初始化, 则必须先触发其初始化. 最常见的生成这 4 条指令的场景是: 使用 new 关键字实例化对象的时候; 读取或设置一个类的静态字段 (被 final 修饰, 已在编译器把结果放入常量池的静态字段除外) 的时候; 以及调用一个类的静态方法的时候.
1.3.2 使用 java.lang.reflect 包的方法对类进行反射调用的时候, 如果类没有进行初始化, 则需要先触发其初始化.
1.3.3 当初始化一个类的时候, 如果发现其父类还没有进行过初始化, 则需要先触发其父类的初始化.
1.3.4 当虚拟机启动时, 用户需要指定一个要执行的主类(包含 main() 方法的那个类), 虚拟机会先初始化这个主类;
1.3.5 当使用 JDK.7 的动态语言支持时, 如果一个 java.lang.invoke.MethodHandle 实例最后的解析结果为 REF_getStatic, REF_putStatic, REF_invokeStatic 的方法句柄, 并且这个方法句柄所对应的类没有进行过初始化, 则需要先触发其初始化;
以上 5 种场景中的行为称为对一个类进行主动引用. 除此之外, 所有引用类的方式都不会触发初始化, 称为被动引用. 被动引用的常见例子包括:
通过子类引用父类的静态字段, 不会导致子类初始化.
通过数组定义来引用类, 不会触发此类的初始化. 该过程会对数组类进行初始化, 数组类是一个由虚拟机自动生成的, 直接继承自 Object 的子类, 其中包含了数组的属性和方法.
常量在编译阶段会存入调用类的常量池中, 本质上并没有直接引用到定义常量的类, 因此不会触发定义常量的类的初始化.
2. 类加载的过程
2.1. 加载
加载是类加载的一个阶段, 注意不要混淆.
加载过程完成以下三件事:
2.1.1 通过一个类的全限定名来获取定义此类的二进制字节流.
2.1.2. 将这个字节流所代表的静态存储结构转化为方法区的运行时存储结构.
2.1.3 在内存中生成一个代表这个类的 Class 对象, 作为方法区这个类的各种数据的访问入口.
其中二进制字节流可以从以下方式中获取:
从 ZIP 包读取, 这很常见, 最终成为日后 JAR,EAR,WAR 格式的基础.
从网络中获取, 这种场景最典型的应用是 Applet.
运行时计算生成, 这种场景使用得最多得就是动态代理技术, 在 java.lang.reflect.Proxy 中, 就是用了 ProxyGenerator.generateProxyClass 的代理类的二进制字节流.
由其他文件生成, 典型场景是 JSP 应用, 即由 JSP 文件生成对应的 Class 类.
从数据库读取, 这种场景相对少见, 例如有些中间件服务器 (如 SAP Netweaver) 可以选择把程序安装到数据库中来完成程序代码在集群间的分发. ...
2.2 验证
验证是连接阶段的第一步, 这一阶段的目的是为了确保 Class 文件的字节流中包含的信息符合当前虚拟机的要求, 并且不会危害虚拟机自身的安全.
虚拟机如果不检查输入的字节流, 并对其完全信任的话, 很可能会因为载入了有害的字节流而导致系统崩溃, 所以验证是虚拟机对自身保护的一项重要工作. 这个阶段是否严谨, 直接决定了 java 虚拟机是否能承受恶意代码的攻击.
从整体上看, 验证阶段大致上会完成 4 个阶段的校验工作: 文件格式, 元数据, 字节码, 符号引用.
2.2.1. 文件格式验证
验证字节流是否符合 Class 文件格式的规范, 并且能被当前版本的虚拟机处理.
2.2.2 元数据验证
对字节码描述的信息进行语义分析, 以保证其描述的信息符合 Java 语言规范的要求.
2.2.3 字节码验证
通过数据流和控制流分析, 确保程序语义是合法, 符合逻辑的.
2.2.4 符号引用
发生在虚拟机将符号引用转换为直接引用的时候, 对类自身以外 (常量池中的各种符号引用) 的信息进行匹配性校验.
3 准备
准备阶段是正式为类变量 (static 成员变量) 分配内存并设置类变量初始值 (零值) 的阶段, 这些变量所使用的内存都将在方法区中进行分配. 这时候进行内存分配的仅包括类变量, 而不包括实例变量, 实例变量将会在对象实例化时随着对象一起分配在堆中. 其次, 这里所说的初始值 "通常情况" 下是数据类型的零值, 假设一个类变量的定义为:
public static int value=123;
那么, 变量 value 在准备阶段过后的值为 0 而不是 123. 因为这时候尚未开始执行任何 java 方法, 而把 value 赋值为 123 的 putstatic 指令是程序被编译后, 存放于类构造器方法 () 之中, 所以把 value 赋值为 123 的动作将在初始化阶段才会执行. 至于 "特殊情况" 是指: 当类字段的字段属性是 ConstantValue 时, 会在准备阶段初始化为指定的值, 所以标注为 final 之后, value 的值在准备阶段初始化为 123 而非 0.
public static final intvalue =123;
4 解析
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程. 解析动作主要针对类或接口, 字段, 类方法, 接口方法, 方法类型, 方法句柄和调用点限定符 7 类符号引用进行.
5 初始化
初始化阶段才真正开始执行类中的定义的 Java 程序代码. 初始化阶段即虚拟机执行类构造器 () 方法的过程.
在准备阶段, 类变量已经赋过一次系统要求的初始值, 而在初始化阶段, 根据程序员通过程序制定的主观计划去初始化类变量和其它资源.
<init>() 方法具有以下特点:
是由编译器自动收集类中所有类变量的赋值动作和静态语句块 (static{} 块) 中的语句合并产生的, 编译器收集的顺序由语句在源文件中出现的顺序决定. 特别注意的是, 静态语句块只能访问到定义在它之前的类变量, 定义在它之后的类变量只能赋值, 不能访问. 例如以下代码:
- public classTest{
- static{
- i =0;// 给变量赋值可以正常编译通过 System.out.print(i);// 这句编译器会提示 "非法向前引用"
- }
- static int i =1;
- }
与类的构造函数 (或者说实例构造器 <init> ()) 不同, 不需要显式的调用父类的构造器. 虚拟机会自动保证在子类的 < init> () 方法运行之前, 父类的 <init>() 方法已经执行结束. 因此虚拟机中第一个执行 < init> () 方法的类肯定为 java.lang.Object.
由于父类的 < init> () 方法先执行, 也就意味着父类中定义的静态语句块要优于子类的变量赋值操作. 例如以下代码:
- static class Parent {
- public static intA =1;
- static{
- A =2;
- }
- }
- static class Sub extends Parent {
- public static int B = A;
- }
- public static void main (String[] args){
- System.out.println(Sub.B);// 输出结果是父类中的静态变量 A 的值 , 也就是 2.
- }
- <init>() 方法对于类或接口不是必须的, 如果一个类中不包含静态语句块, 也没有对类变量的赋值操作, 编译器可以不为该类生成 < init> () 方法.
接口中不可以使用静态语句块, 但仍然有类变量初始化的赋值操作, 因此接口与类一样都会生成 < init> () 方法. 但接口与类不同的是, 执行接口的 < init> () 方法不需要先执行父接口的 <init>() 方法. 只有当父接口中定义的变量使用时, 父接口才会初始化. 另外, 接口的实现类在初始化时也一样不会执行接口的 < init> () 方法.
虚拟机会保证一个类的 < init> () 方法在多线程环境下被正确的加锁和同步, 如果多个线程同时初始化一个类, 只会有一个线程执行这个类的 < init> () 方法, 其它线程都会阻塞等待, 直到活动线程执行 <init>() 方法完毕. 如果在一个类的 <init>() 方法中有耗时的操作, 就可能造成多个进程阻塞, 在实际过程中此种阻塞很隐蔽.
6 案例分析
图 1
这里因为是顺序执行, 所以首先创建 singleton 对象, 紧接着这里就会在堆内开辟空间并且执行普通代码块, 然后执行构造器[init] 方法, 然后 count1 和 count2 都赋值为 1; 然后紧接着顺序执行初始化操作, 然后 count1 被赋值为 1;count2 为 5, 结果如下.
图 2
这里先是为静态变量赋值, count1 为 0;count2 为 5; 紧接着创建 singleton 对象, 紧接着这里就会在堆内开辟空间并且执行普通代码块, 然后执行构造器[init] 方法, count1 进行 + 1 为 1;count2 也加 1; 最后执行静态代码块, 结果如下
7 类加载器
虚拟机设计团队把类加载阶段中的 "通过一个类的全限定名来获取描述此类的二进制字节流 ( 即字节码 )" 这个动作放到 Java 虚拟机外部去实现, 以便让应用程序自己决定如何去获取所需要的类. 实现这个动作的代码模块称为 "类加载器".
7.1. 类与类加载器
对于任意一个类, 都需要由加载它的类加载器和这个类本身一同确立其在 Java 虚拟机中的唯一性, 每一个类加载器, 都拥有一个独立的类名称空间. 通俗而言: 比较两个类是否 "相等"(这里所指的 "相等", 包括类的 Class 对象的 equals() 方法, isAssignableFrom() 方法, isInstance() 方法的返回结果, 也包括使用 instanceof() 关键字做对象所属关系判定等情况), 只有在这两个类是由同一个类加载器加载的前提下才有意义, 否则, 即使这两个类来源于同一个 Class 文件, 被同一个虚拟机加载, 只要加载它们的类加载器不同, 那这两个类就必定不相等.
7.2 类加载器的分类
从 Java 虚拟机的角度来讲, 只存在以下两种不同的类加载器:
一种是启动类加载器(Bootstrap ClassLoader), 这个类加载器用 C++ 实现, 是虚拟机自身的一部分; 另一种就是所有其他类的加载器, 这些类由 Java 实现, 独立于虚拟机外部, 并且全都继承自抽象类 java.lang.ClassLoader.
从 Java 开发人员的角度看, 类加载器可以划分得更细致一些:
启动类加载器 (Bootstrap ClassLoader) 此类加载器负责将存放在 \lib 目录中的, 或者被 -Xbootclasspath 参数所指定的路径中的, 并且是虚拟机识别的(仅按照文件名识别, 如 rt.jar, 名字不符合的类库即使放在 lib 目录中也不会被加载) 类库加载到虚拟机内存中. 启动类加载器无法被 Java 程序直接引用, 用户在编写自定义类加载器时, 如果需要把加载请求委派给启动类加载器, 直接使用 null 代替即可.
扩展类加载器 (Extension ClassLoader) 这个类加载器是由 ExtClassLoader(sun.misc.Launcher$ExtClassLoader) 实现的. 它负责将 /lib/ext 或者被 java.ext.dir 系统变量所指定路径中的所有类库加载到内存中, 开发者可以直接使用扩展类加载器.
应用程序类加载器 (Application ClassLoader) 这个类加载器是由 AppClassLoader(sun.misc.Launcher$AppClassLoader) 实现的. 由于这个类加载器是 ClassLoader 中的 getSystemClassLoader() 方法的返回值, 因此一般称为系统类加载器. 它负责加载用户类路径 (ClassPath) 上所指定的类库, 开发者可以直接使用这个类加载器, 如果应用程序中没有自定义过自己的类加载器, 一般情况下这个就是程序中默认的类加载器.
7.3 双亲委派模型
应用程序都是由三种类加载器相互配合进行加载的, 如果有必要, 还可以加入自己定义的类加载器. 下图展示的类加载器之间的层次关系, 称为类加载器的双亲委派模型 (Parents Delegation Model). 该模型要求除了顶层的启动类加载器外, 其余的类加载器都应有自己的父类加载器, 这里类加载器之间的父子关系一般通过组合(Composition) 关系来实现, 而不是通过继承 (Inheritance) 的关系实现.
7.3.1 工作过程
如果一个类加载器收到了类加载的请求, 它首先不会自己去尝试加载, 而是把这个请求委派给父类加载器, 每一个层次的加载器都是如此, 依次递归. 因此所有的加载请求最终都应该传送到顶层的启动类加载器中, 只有当父加载器反馈自己无法完成此加载请求 (它搜索范围中没有找到所需类) 时, 子加载器才会尝试自己加载.
7.3.2 好处
使用双亲委派模型来组织类加载器之间的关系, 使得 Java 类随着它的类加载器一起具备了一种带有优先级的层次关系. 例如类 java.lang.Object, 它存放在 rt.jar 中, 无论哪个类加载器要加载这个类, 最终都是委派给处于模型最顶端的启动类加载器进行加载, 因此 Object 类在程序的各种类加载器环境中都是同一个类. 相反, 如果没有双亲委派模型, 由各个类加载器自行加载的话, 如果用户编写了一个称为 java.lang.Object 的类, 并放在程序的 ClassPath 中, 那系统中将会出现多个不同的 Object 类, 程序将变得一片混乱. 如果开发者尝试编写一个与 rt.jar 类库中已有类重名的 Java 类, 将会发现可以正常编译, 但是永远无法被加载运行.
7.4 破坏双亲委派模型
双亲委派模型主要出现过 3 次较大规模 "被破坏" 的情况
第一次破坏是因为类加载器和抽象类 java.lang.ClassLoader 在 JDK1.0 就存在的, 而双亲委派模型在 JDK1.2 之后才被引入, 为了兼容已经存在的用户自定义类加载器, 引入双亲委派模型时做了一定的妥协: 在 java.lang.ClassLoader 中引入了一个 findClass()方法, 在此之前, 用户去继承 java.lang.Classloader 的唯一目的就是重写 loadClass()方法. JDK1.2 之后不提倡用户去覆盖 loadClass()方法, 而是把自己的类加载逻辑写到 findClass()方法中, 如果 loadClass()方法中如果父类加载失败, 则会调用自己的 findClass()方法来完成加载, 这样就可以保证新写出来的类加载器是符合双亲委派模型规则的.
第二次破坏 是因为模型自身的缺陷, 例如: JNID 服务, 它希望启动类加载器去加载, 但是启动类加载器不认识. 为了解决这个问题, Java 设计团队引入的设计时 "线程上下文类加载器(Thread Context ClassLoader)". 这样可以通过父类加载器请求子类加载器去完成类加载动作. 但是却违背了双亲委派模型的一般性原则.
第三次破坏 是由于用户对程序动态性的追求导致的. 这里所说的动态性是指:"代码热替换","模块热部署" 等等比较热门的词. 说白了就是希望应用程序能够像我们的计算机外设一样, 接上鼠标, U 盘不用重启机器就能立即使用.
来源: https://juejin.im/post/5b2357c5f265da597a60f9ec