第20章 类的加载过程详解
来自尚硅谷宋红康老师讲解的JVM:bilibili链接
1 概述
-
在Java中数据类型分为基本数据类型和引用数据类型。基本数据类型由虚拟机预先定义,引用数据类型则需要进行类的加载。
-
按照Java虚拟机规范,从class文件到加载到内存中的类,到类卸载出内存为止,它的整个生命周期包括7个阶段。
其中,验证、准备、解析 3 个部分统称为链接(Linking)
-
从程序中类的使用过程看:
-
大厂面试题
- 蚂蚁金服
- 描述一下 JVM 加载 Class 文件的原理机制?
- 一面:类加载过程
- 百度
- 类加载的时机
- java类加载机制?
- 简述 Java 类加载机制
- 腾讯
- JVM 中类的加载机制,类加载过程?
- 滴滴
- JVM类加载机制
- 美团
- Java类加载过程
- 描述一下jvm加载class文件的原理机制
- 京东
- 什么是类的加载?
- 哪些情况会出发类的加载?
- 讲一下JVM加载一个类的过程
- JVM的类加载机制是什么?
- 蚂蚁金服
2 过程一:Loading(加载)阶段
-
加载完成的操作
加载的理解
所谓加载,简而言之就是将Java类的字节码加载到机器内存中,并在内存中构建出Java的原型-------类模板对象。所谓类模板对象,其实就是Java类在JVM内存中的一个快照,JVM将字节码文件解析出的常量池、类字段、类方法等信息等信息存储到类模板中,这样JVM在运行期便能通过类模板而获取Java类中的任意信息,能够对Java类的成员变量进行遍历,也能进行Java方法的调用。
反射的机制即基于这一基础。如果JVM没有将Java类的声明信息存储起来,则JVM在运行期也无法反射。
加载完成的操作
加载阶段,简言之,查找并加载类的二进制文件,生成Class的实例。
在加载类时,Java虚拟机必须完成以下 3 件事情:
- 通过类的全名,获取类的二进制数据流。
- 解析类的二进制数据流为方法区内的数据结构(Java类模型)
- 创建java.lang.Class类的实例,表示该类型。作为方法区这个类的的各种数据的访问入口。
-
二进制流的获取方式
对于类的二进制流数据,虚拟机可以通过多种途径产生或获得。(只要读取的字节码符合JVM规范即可)
- 虚拟机可能通过文件系统读入一个class后缀的文件(最常见)
- 读入jar、zip等归档数据包,提取类文件。
- 事先存放在数据库中的类的二进制数据
- 使用类似于HTTP之类的协议通过网络进行加载
- 在运行时生成一段Class的二进制信息等。
在获取到类的二进制信息后,Java虚拟机就会处理这些数据,并最终转为一个java.lang.Class的实例。
如果输入数据不是ClassFile的结构,则会抛出ClassFormatError。
-
类模板与Class实例的位置
类模板的位置:
加载的类在JVM中创建相应的类结构,类结构会存储在方法区(JDK1.8之前:永久代;JDK及以后:元空间)。
Class实例的位置:
类将.class文件加载至元空间后,会在堆中创建一个java.lang.Class对象,用来封装类位于方法区内的数据结构,该Class对象是在加载类的过程中创建的,每个类都对应一个Class类型的对象。(instanceKlass --> mirror: Class的实例)
图示:
外部可以通过访问代表Order类的Class对象来获取Order的类数据结构。
再说明:
Class类的构造方法是私有的,只有JVM能够创建。
java.lang.Class实例时访问类型元数据的接口,也是实现反射的关键数据、入口。通过Class类提供的接口,可以获得目标类所关联的.class文件中具体的数据结构:方法、字段等信息。
// 通过Class类,获得了java.lang.String类的所有方法信息,并打印方法访问标识符、描述符 public class LoadingTest { public static void main(String[] args) { try { Class clazz = Class.forName("java.lang.String"); // 获取当前运行时类声明的所有方法 Method[] ms = clazz.getDeclaredMethods(); for (Method m : ms) { // 获取方法的修饰符 String mod = Modifier.toString(m.getModifiers()); System.out.print(mod + " "); // 获取方法的返回值类型 String returnType = m.getReturnType().getSimpleName(); System.out.print(returnType + " "); // 获取方法名 System.out.print(m.getName() + "("); // 获取方法的参数列表 Class<?>[] ps = m.getParameterTypes(); if (ps.length == 0) System.out.print(')'); for (int i = 0; i < ps.length; i++) { char end = (i == ps.length - 1) ? ')' : ','; // 获取参数的类型 System.out.print(ps[i].getSimpleName() + end); } System.out.println(); } } catch (ClassNotFoundException e) { e.printStackTrace(); } } }
-
数组类的加载:
创建数组类的情况稍微有些特殊,因为数组本身并不是由类加载器负责创建的,而是由JVM在运行时根据需要而直接创建,但数组的元素类型仍然需要依靠类加载器去创建。创建数组类(下述简称A)的过程:
- 如果数组的元素类型是引用类型,那么就遵循定义的加载过程递归加载和创建数组A的元素类型;
- JVM使用指定的元素类型和数组维度来创建新的数组类。
如果数组的元素类型是引用类型,数组类的可访问性就由元素类型的可访问性决定。否则数组类的可访问性被定义为public。
3 过程二:Linking链接阶段
-
环节1:链接阶段之Verification(验证)
当类加载到系统后,就开始链接操作,验证是链接操作的第一步
它的目的是保证加载的字节码是合法、合理并且符合规范的。
验证的步骤比较复杂,实际要验证的项目也很繁多,大体上java虚拟机需要做以下检查,如图所示:
整体说明:
验证的内容则涵盖了类数据信息的格式验证、语义检查、字节码验证、符号引用验证等。
- 其中格式验证会和加载阶段一起执行。验证通过之后,类加载器才会成功将类的二进制数据信息加载到方法区中。
- 格式验证之外的验证操作将会在方法区中进行。
链接阶段的验证虽然拖慢了加载速度,但是避免了在字节码运行时还需要进行各种检查。(磨刀不误砍柴工)
具体说明:
- 格式验证:是否以魔数0xcafebabe开头,主版本和副版本号是否在当前Java虚拟机的支持范围内,数据中的每一项是否都拥有正确的长度等。
- Java虚拟机会进行字节码的语义检查,但凡在语义上不符合规范的,虚拟机也不会给予通过。比如:
- 是否所有的类都有父类的存在(在Java里,除了Object外,其他类都应该有父类)
- 是否一些被定义为final的方法或者类被重写或继承了
- 非抽象类是否实心了所有抽象方法或接口方法
- 是否存在不兼容的方法(比如方法的签名除了返回值不同,其他都一样,这种方法会让虚拟机无从下手调度:abstract情况下的方法,就不能是final的了)
- Java虚拟机还会进行字节码验证,字节码验证也是验证过程中最为复杂的一个过程。它试图通过字节码流的分析,判断字节码是否可以被正确的执行。比如:
- 在字节码执行的过程中,是否会跳转到一条不存在的指令
- 函数的调用是否传递了正确类型的参数
- 变量的赋值是不是给了正确的数据类型等。
栈映射帧(StackMapTable)就是这个阶段,用于检测在特定的字节码处,其局部变量表和操作数栈是否有着正确的数据类型。但遗憾的是,100%准确地判断一段字节码是否可以被安全之星是无法实现的,因此,该过程知识尽可能地检查出可以预知的明显的问题。如果在这个阶段无法通过检查,虚拟机也不会正确装在这个类。但是,如果通过了这个阶段的检查,也不能说明这个类是完全没有问题的。
在前面 3 次检查中,已经排除了文件格式错误、语义错误以及字节码的不正确性。但是依然不能保证类是没有问题的。
-
校验器还将进行符号引用的验证。Class文件在其常量池会通过字符串记录自己将要使用的其他类或者方法。因此,在验证阶段,虚拟机就会检查这些类或者方法确实是存在的,并且当前类有权限访问这些数据,如果一个需要使用类无法在系统中找到,则会抛出NoClassDefFoundError,如果一个方法无法被找到,如果一个方法无法被找到,则会抛出NoSuchMethodError。
此阶段在解析环节才会执行。
-
环节2:链接阶段之Preparation(准备)
准备阶段(Preparation),简言之,为类的静态变量分配内存,并将其初始化为默认值。
当一个类验证通过时,虚拟机就会进入准备阶段。在这个阶段,虚拟机就会为这个类分配相应的内存空间,并设置默认初始值。
Java虚拟机为各类型变量默认初始值如表所示:
类型 默认初始值 byte (byte)0 short (short)0 int 0 long 0L float 0.0f double 0.0 char \u0000 boolean false reference null 注意:Java并不支持boolean类型,内部实现是int,由于int的默认值是0,故对应的,boolean的默认值就是false。
注意:
- 这里不包含基本数据类型的字段用static final修饰的情况,因为final在编译的时候就会分配了,准备阶段会显式赋值。
- 注意这里不会为实例变量初始化,类变量会分配在方法区中,而实例变量会随着对象一起分配到Java堆中。
- 在这个阶段并不会像初始化阶段中那样会有初始化或者代码执行。
/** * 过程二:链接阶段(以下都是针对static修饰的变量) * 基本数据类型:非 final 修饰的变量,在准备环节进行默认初始化赋值。 * final修饰以后,在准备环节直接进行显示赋值。 * * 拓展:如果使用字面量的方式定义一个字符串的常量的话,也是在准备环节直接进行显示赋值。 */ public class LinkingTest { private static long id; // 默认初始化赋值 private static final int num = 1; // 显示赋值 public static final String constStr = "CONST"; // 显示赋值 // public static final String constStr1 = new String("CONST"); }
-
环节3:链接阶段之Reslution(解析)
解析阶段(Resolution),简言之,将类、接口、字段和方法的符号引用转为直接引用。
具体描述:
符号引用就是一些字面量的引用,和虚拟机的内部数据结构和内存布局无关。比较容易理解的就是在Class类文件中,通过常量池进行大量的符号引用。但是在程序实际运行时,只有符号引用时不够的。比如当如下println()方法被调用时,系统需要明确知道该方法的位置。
举例:输出操作System.out.println()对应的字节码:
invokevirtual # 24 <java/io/PrintStrem.println>
以方法为例,Java虚拟机为每个类都准备了一张方法表,将其所有的方法都列在表中,当需要调用一个类的方法的时候,只要知道这个方法在方法表中的偏移量就可以直接调用该方法。通过解析操作,符号引用就可以转变为目标方法在类中方法表中的位置,从而使得方法被成功调用。
小节:
所谓解析就是将符号引用转为直接引用,也就得到类、字段、方法在内存中的指针或者偏移量。因此,可以说,如果直接引用存在,那么可以肯定系统中存在该类、方法或者字段。但只存在符号引用,不能确定系统中一定存在存在该结构。
不过Java虚拟机规范并没有明确要求解析阶段一定要按照顺序执行。在HotSpot VM中,加载、验证、准备和初始化会按照顺序有条不紊的执行,但链接阶段中的解析操作往往会伴随着JVM在执行完初始化之后再执行。
字符串的复习:
最后,再来看一下CONSTANT_String_info的解析。由于字符串在程序开发中有着重要的作用,因此,读者有必要了解一下String在Java虚拟机中的处理。当在java代码中直接使用字符串常量时,就会在类中出现CONSTANT_String_info,它表示字符串常量,并且会引用一个CONSTANT_UTF8_info的常量项。在Java虚拟机内部运行的常量池中,会维护一张字符串拘留表(intern),它会保存所有出现过的字符串常量,并且没有重复项。只要以CONSTANT_String形式出现的字符串都会在这张表中。使用String.intern()方法可以得到一个字符串在拘留表中的引用,因为该表中没有重复项,所以任何字面量相同的字符串的String.intern()方法返回总是相等的。
4 过程三:Initialzation(初始化)阶段
-
初始化阶段,简言之,为类的静态变量赋予正确的初始值。
-
具体描述:
类的初始化是类加载的最后一个阶段。如果前面的步骤都没有问题,那么便是类可以顺利装在到系统里。此时,类才会开始执行Java字节码。(即:到了初始化阶段,才真正开始执行类中定义的Java程序代码。)
初始化阶段的重要工作是执行类的初始化方法:<clinit>方法。
-
该方法仅能由Java编译器生成并由JVM调用,程序开发者无法自定义一个同名的方法,更无法直接在Java程序中调用该方法。虽然该方法是由字节码指令组成的。
-
它是由静态成员的赋值语句以及static语句块合并产生的。
/** * 过程三:初始化阶段 */ public class InitializationTest { public static int id = 1; public static int number; static { number = 2; System.out.println("father static{}"); } }
<clinit> 中的内容:
0 iconst_1 1 putstatic #2 <com/atguigu/java/InitializationTest.id> 4 iconst_2 5 putstatic #3 <com/atguigu/java/InitializationTest.number> 8 getstatic #4 <java/lang/System.out> 11 ldc #5 <father static{}> 13 invokevirtual #6 <java/io/PrintStream.println> 16 return
-
-
说明:
在加载一个类之前,虚拟机总会试图加载该类的父类,因此父类的<clinit> 总是在子类 <clinit> 之前被调用。也就是说,父类的static块优先级高于子类。
口诀:由父及子,静态先行
public class InitializationTest { public static int id = 1; public static int number; static { number = 2; System.out.println("father static{}"); } }
public class SubInitialization extends InitializationTest { static { number = 4; // number属性必须提前已经加载:一定会先加载父类。 System.out.println("son static{}"); } public static void main(String[] args) { System.out.println(number); } }
执行结果:
father static{}
son static{}
4
java编译器并不会为所有的类都产生<clinit>()初始化方法。哪些类在编译为字节码后,字节码文件中将不会含有<clinit>()方法呢?
- 一个类中并没有声明任何的类变量,也没有静态代码块时
- 一个类中声明类变量,但是没有明确使用类变量的初始化语句以及静态代码块来执行初始化操作时
- 一个类中包含static final修饰的基本数据类型的字段,这些类字段初始化语句采用编译时常量表达式
/** * 哪些场景下,java编译器就不会生成<clinit>()方法 */ public class InitializationTest1 { // 场景1:对应非静态的字段,不管是否进行了显式赋值,都不会生成<clinit>()方法 public int num = 1; // 场景2:静态的字段,没有显式的赋值,不会生成<clinit>()方法 public static int num1; // 场景3:比如对于声明为static final的基本数据类型的字段,不管是否进行了显式赋值,都不会生成<clinit>()方法 public static final int num2 = 1; }
-
关于 链接的准备阶段 和 初始化阶段 的显式赋值的情况:
结论:使用static + final修饰,且显示赋值中不涉及到方法或构造器调用的基本数据类型或String类型的显式赋值,是在链接阶段的准备环节进行。
对于类变量来说,如果加了 final,才有可能在链接的准备阶段 被显式赋值;但是如果没加final,一定不可能在链接的准备阶段 被显式赋值,而是在链接的准备阶段 默认赋值,然后在初始化阶段显式赋值。
// 成员变量(非静态的)的赋值过程: ① 默认初始化 - ② 显式初始化 /代码块中初始化 - ③ 构造器中初始化 - ④ 有了对象之后,可以“对象.属性”或"对象.方法" public class InitializationTest2 { public static int a = 1; // 在链接阶段的准备环节默认赋值,在初始化阶段<clinit>()中显式赋值 public static final int INT_CONSTANT = 10; // 在链接阶段的准备环节显式赋值 public static final Integer INTEGER_CONSTANT1 = Integer.valueOf(100); // 在初始化阶段<clinit>()中显式赋值 public static Integer INTEGER_CONSTANT2 = Integer.valueOf(1000); // 在初始化阶段<clinit>()中显式赋值 public static final String s0 = "helloworld0"; // 在链接阶段的准备环节显式赋值 public static final String s1 = new String("helloworld1"); // 在初始化阶段<clinit>()中显式赋值 public static String s2 = "helloworld2"; // 在链接阶段的准备环节默认赋值,在初始化阶段<clinit>()中显式赋值 public static final int NUM1 = new Random().nextInt(10); // 在初始化阶段<clinit>()中显式赋值 }
-
<clinit>() 的线程安全性
对于<clinit>() 方法的调用,也就是类的初始化,虚拟机会在内部确保其多线程环境中的安全性。
虚拟机会保证一个类的<clinit>() 方法在多线程中被正确地加锁、同步,如果多个线程去同时初始化一个类,那么只会有一个线程去执行这个类的<clinit>() 方法,其他线程都需要阻塞等待,直到活动线程执行<clinit>() 方法完毕。
正是因为函数<clinit>() 带锁线程是安全的,因此,如果在一个类中<clinit>() 方法中有耗时很长的操作,就可能造成多个线程阻塞,引发死锁。并且这种死锁是很难发现的,因为看起来它们并没有可用的锁信息。
如果之前的线程成功加载了类,则等在队列中的线程就没有机会执行<clinit>() 方法了。那么,当需要使用这个类时,虚拟机会直接返回给它已经准备好的信息。
例子(相互等待,死锁):
class StaticA { static { try { Thread.sleep(1000); } catch (InterruptedException e) { } try { Class.forName("com.atguigu.java1.StaticB"); } catch (ClassNotFoundException e) { e.printStackTrace(); } System.out.println("StaticA init OK"); } } class StaticB { static { try { Thread.sleep(1000); } catch (InterruptedException e) { } try { Class.forName("com.atguigu.java1.StaticA"); } catch (ClassNotFoundException e) { e.printStackTrace(); } System.out.println("StaticB init OK"); } } public class StaticDeadLockMain extends Thread { private char flag; public StaticDeadLockMain(char flag) { this.flag = flag; this.setName("Thread" + flag); } @Override public void run() { try { Class.forName("com.atguigu.java1.Static" + flag); } catch (ClassNotFoundException e) { e.printStackTrace(); } System.out.println(getName() + " over"); } public static void main(String[] args) throws InterruptedException { StaticDeadLockMain loadA = new StaticDeadLockMain('A'); loadA.start(); StaticDeadLockMain loadB = new StaticDeadLockMain('B'); loadB.start(); } }
-
类的初始化情况:主动使用 VS. 被动使用
Java对类的使用分为两种:主动使用 和 被动使用
主动使用会调用<clinit>() 方法,被动使用不会
一.主动使用
Class只有在必须要首次使用的时候才会被装在,Java虚拟机不会无条件地装载Class类型。Java虚拟机规定,一个类或接口在初次使用前,必须进行初始化。这里的使用,是指主动使用,主动使用只有以下几种情况:(即:如果出现如下的情况,则会对类进行初始化操作。而初始化操作之前的加载、验证、准备已经完成。)
- 当创建一个类的实例时,比如使用new关键字,或者通过反射、克隆、反序列化。
- 当调用类的静态方法时,即当使用了字节码invokestatic指令。
- 当使用类、接口的静态字段时(final修饰特殊考虑),比如,使用getstatic或者putstatic指令。(对应访问变量、赋值变量操作)
- 当使用java.reflect包中的方法反射类的方法时。比如Class.forName(“com.atguigu.java.Test”)
- 当初始化子类时,如果发现其父类还没有进行初始化,则需要先触发其父类的初始化。
- 如果一个接口定义了default方法,那么直接实现或者间接实现该接口的类的初始化,该接口要在其之前被初始化。
- 当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类),虚拟机会先初始化这个主类。
- 当初次调用 MethodHandle 实例时,初始化该 MethodHandle 指向的方法所在的类。(涉及解析REF_getStatic、REF_putStatic、REF_invokeStatic方法句柄对应的类)
针对5,补充说明:
当Java虚拟机初始化一个类时,要求它的所有父类都已经被初始化,但是这条规则并不适用于接口。
- 当初始化一个类时,并不会先初始化它所实现的接口
- 在初始化一个接口时,并不会初始化它的负借口
因此,一个父接口并不会因为它的子接口或者实现类的初始化而初始化。只有当程序首次使用特定的静态字段时,才会导致该接口的初始化。
针对7,说明:
JVM启动的时候通过引导类加载器加载一个初始类。这个类在调用 public static void main(String[] args)方法之前被链接和初始化。这个方法的执行将依次导致所需的类的加载,链接和初始化。
二.被动使用
除了以上的情况属于主动使用,其他情况均属于被动使用。被动使用不会引起类的初始化。
也就是说:并不是在代码中出现的类,就一定被加载挥着初始化。如果不符合主动使用的条件,类就不会初始化。
- 当访问一个静态字段时,只有真正声明这个字段的类才会被初始化
- 当通过子类引用父类的静态变量,不会导致子类的初始化
- 通过数组定义引用类,不会触发此类的初始化
- 引用常量不会触发此类或接口的初始化。因为常量在链接阶段就已经被显式赋值了。
- 调用ClassLoader类的loadClass()方法加载一个类,并不是对类的主动使用,不会导致类的初始化。
-
主动使用
/** * 测试类的主动使用:意味着会调用类的<clinit>(),即执行了类的初始化阶段 * <p> * 1. 当创建一个类的实例时,比如使用new关键字,或者通过反射、克隆、反序列化。 * 2. 当调用类的静态方法时,即当使用了字节码invokestatic指令。 */ public class ActiveUse1 { public static void main(String[] args) { Order order = new Order(); // 1 } // 序列化的过程: @Test public void test1() { ObjectOutputStream oos = null; try { oos = new ObjectOutputStream(new FileOutputStream("order.dat")); oos.writeObject(new Order()); } catch (IOException e) { e.printStackTrace(); } finally { try { if (oos != null) oos.close(); } catch (IOException e) { e.printStackTrace(); } } } // 反序列化的过程:(验证) 2 @Test public void test2() { ObjectInputStream ois = null; try { ois = new ObjectInputStream(new FileInputStream("order.dat")); Order order = (Order) ois.readObject(); } catch (Exception e) { e.printStackTrace(); } finally { try { if (ois != null) ois.close(); } catch (IOException e) { e.printStackTrace(); } } } @Test public void test3() { Order.method(); } } class Order implements Serializable { static { System.out.println("Order类的初始化过程"); } public static void method() { System.out.println("Order method()...."); } }
/** * 3. 当使用类、接口的静态字段时(final修饰特殊考虑),比如,使用getstatic或者putstatic指令。(对应访问变量、赋值变量操作) */ public class ActiveUse2 { @Test public void test1() { // System.out.println(User.num); // 会导致 初始化 // System.out.println(User.num1); // 不会导致 初始化,结合前面讲解的static final理解 System.out.println(User.num2); // 会导致 初始化 } @Test public void test2() { // System.out.println(CompareA.NUM1); // 不会导致 初始化 System.out.println(CompareA.NUM2); // 会导致 初始化 } } class User { static { System.out.println("User类的初始化过程"); } public static int num = 1; public static final int num1 = 1; public static final int num2 = new Random().nextInt(10); } interface CompareA { public static final Thread t = new Thread() { { System.out.println("CompareA的初始化"); } }; public static final int NUM1 = 1; public static final int NUM2 = new Random().nextInt(10); }
/** * 4. 当使用java.lang.reflect包中的方法反射类的方法时。比如:Class.forName("com.atguigu.java.Test") * 5. 当初始化子类时,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化。 * 6. 如果一个接口定义了default方法,那么直接实现或者间接实现该接口的类的初始化,该接口要在其之前被初始化。 * 7. 当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类),虚拟机会先初始化这个主类。 * 8. 当初次调用 MethodHandle 实例时,初始化该 MethodHandle 指向的方法所在的类。 * (涉及解析REF_getStatic、REF_putStatic、REF_invokeStatic方法句柄对应的类) * <p> * <p> * 针对5,补充说明: * 当Java虚拟机初始化一个类时,要求它的所有父类都已经被初始化,但是这条规则并不适用于接口。 * >在初始化一个类时,并不会先初始化它所实现的接口 * >在初始化一个接口时,并不会先初始化它的父接口 * 因此,一个父接口并不会因为它的子接口或者实现类的初始化而初始化。只有当程序首次使用特定接口的静态字段时, * 才会导致该接口的初始化。 */ public class ActiveUse3 { static { System.out.println("ActiveUse3的初始化过程"); } @Test public void test1() { // 4. try { Class clazz = Class.forName("com.atguigu.java1.Order"); } catch (ClassNotFoundException e) { e.printStackTrace(); } } @Test public void test2() { // 5. System.out.println(Son.num); } @Test public void test3() { // 5,补充说明 System.out.println(CompareC.NUM1); } @Test public void test4() { // 6. System.out.println(Son.num); } public static void main(String[] args) { // 7. System.out.println("hello"); } } class Father { static { System.out.println("Father类的初始化过程"); } } class Son extends Father implements CompareB { static { System.out.println("Son类的初始化过程"); } public static int num = 1; } interface CompareB { public static final Thread t = new Thread() { { System.out.println("CompareB的初始化"); } }; public default void method1() { System.out.println("你好!"); } } interface CompareC extends CompareB { public static final Thread t = new Thread() { { System.out.println("CompareC的初始化"); } }; public static final int NUM1 = new Random().nextInt(); }
-
被动使用
/** * 关于类的被动使用,即不会进行类的初始化操作,即不会调用<clinit>() * * 1. 当访问一个静态字段时,只有真正声明这个字段的类才会被初始化。 * > 当通过子类引用父类的静态变量,不会导致子类初始化 * 2. 通过数组定义类引用,不会触发此类的初始化 * * 说明:没有初始化的类,不意味着没有加载! */ public class PassiveUse1 { @Test public void test1() { // 1. System.out.println(Child.num); // 不会初始化 Child } @Test public void test2() { // 2. Parent[] parents = new Parent[10]; System.out.println(parents.getClass()); // 不会初始化 Parent System.out.println(parents.getClass().getSuperclass()); parents[0] = new Parent(); parents[1] = new Parent(); } } class Parent { static { System.out.println("Parent的初始化过程"); } public static int num = 1; } class Child extends Parent { static { System.out.println("Child的初始化过程"); } }
/** * * 3. 引用常量不会触发此类或接口的初始化。因为常量在链接阶段就已经被显式赋值了。 * * 4. 调用ClassLoader类的loadClass()方法加载一个类,并不是对类的主动使用,不会导致类的初始化。 */ public class PassiveUse2 { @Test public void test1() { // 3. // System.out.println(Person.NUM); // 不会 初始化 System.out.println(Person.NUM1); // 会 初始化 } @Test public void test2() { // 3. // System.out.println(SerialA.ID); // 不会 初始化 System.out.println(SerialA.ID1); // 会 初始化 } @Test public void test3() { // 4. try { Class clazz = ClassLoader.getSystemClassLoader().loadClass("com.atguigu.java1.Person"); } catch (ClassNotFoundException e) { e.printStackTrace(); } } } class Person { static { System.out.println("Person类的初始化"); } public static final int NUM = 1; // 在链接过程的准备环节就被赋值为1了。 public static final int NUM1 = new Random().nextInt(10); // 此时的赋值操作需要在<clinit>()中执行 } interface SerialA { public static final Thread t = new Thread() { { System.out.println("SerialA的初始化"); } }; int ID = 1; int ID1 = new Random().nextInt(10); // 此时的赋值操作需要在<clinit>()中执行 }
5 过程四:类的Using(使用)
- 任何一个类型在使用之前都必须经历完整的加载、链接和初始化3个类加载步骤。一旦一个类型成功经历过这3个步骤之后,便“万事俱备,只欠东风”,就等着开发者使用了。
- 开发人员可以在程序中访问和调用它的静态类成员信息(比如:静态字段、静态方法),或者使用new关键字为其创建对象实例。
6 过程五:类的Unloading(卸载)
-
类、类的加载器、类的实例之间的引用关系
在类加载器的内部实现中,用一个Java集合来存放所加载类的引用。另一方面,一个Class对象总是会引用它的类加载器,调用Class对象的getClassLoader()方法,就能获得它的类加载器。由此可见,代表某个类的Class实例与其类的加载器之间为双向关联关系。
一个类的实例总是引用代表这个类的Class对象。在Object类中定义了getClass()方法。这个方法返回代表对象所属类的Class对象的引用。此外,所有的Java类都有一个人静态属性class,它代表这个类的Class对象
-
类的生命周期
当Sample类被加载、连接和初始化后,它的生命周期就开始了。当代表Sample类的Class对象不再被引用,即不可触及时,Class对象就会结束生命周期,Sample类在方法区内的数据也会被卸载,从而结束Sample类的生命周期。
一个类何时结束生命周期,取决于代表它的Class对象何时结束生命周期。
-
具体例子
loader1变量和obj变量间接引用代表Sample类的Class对象,而objClass变量则直接引用它。
如果程序运行过程中,将上图左侧三个引用变量都置为null,此时Sample对象结束生命周期,MyClassLoader对象结束生命周期,代表Sample类的Class对象也结束生命周期,Sample类在方法区内的二进制数据被卸载。
当再次有需要时,会检查Sample类的Class对象是否存在,如果存在会直接使用,不会重新加载;如果不存在Sample类会被重新加载,在Java虚拟机的堆空间会生成代表Sample类的Class实例(可以通过哈希码查看是否存在同一个实例)。
-
类的卸载
(1)启动类加载器(引导类加载器)加载的类型在整个运行期间是不可能被卸载的(jvm和jls规范)。
(2)被系统类加载器和扩展类加载器加载的类型在运行期间不太可能被卸载,因为系统类加载器实例或者扩展类加载器的实例基本上在整个运行期间总能直接或者间接访问的到,其达到unreachable的可能性极小。
(3)被开发者自定义的类加载器实例加载的类型只有在很简单的上下文环境中才可能被卸载,畏怯一般还要借助强制调用虚拟机的垃圾收集功能才可以做到。可以预想,稍微复杂点的应用场景(比如:很多时候用户在开发自定义类加载器实例的时候采用缓存以提高系统性能),被加载的类型在运行期间也是几乎不太可能被卸载的(至少卸载的时间是不确定的)。
总和以上三点,一个已经被加载的类型被卸载的几率很小至少被卸载的时间是不确定的。同时我们可以看得出来,开发者在开发代码的时候,不应该对虚拟机的类型卸载做任何价值社的前提,来实现系统特定功能。
-
方法区的垃圾回收
方法区的垃圾回收主要回收两部分内容:常量池中废弃的常量 和 不再使用的类型。
HotSpot虚拟机对常量池的回收策略是很明确的,只要常量池中的常量没有被人任何地方引用,就可以被回收。
判定一个常量是否“废弃”还是相对简单的,而要判定一个类型是否属于“不再被使用的类”的条件就比较苛刻了。需要同时满足下面三个条件:
- 该类所有的实例都已经被回收。也就是说Java堆中不存在该类及其任何子类的实例。
- 加载该类的类加载器已经被回收。这个条件除非是经过精心设计的可替换类加载器的场景,如OSGi、JSP的重记载等,否则通常是很难达成的。
- 该类对应的java.lang.Class对象没有任何地方被引用,无法在任何地方通过反射访问该类的方法。
Java虚拟机被允许对满足上述三个条件的无用类进行回收,这里说的仅仅是“被允许”,而并不是和对象一样,没有引用了就必然回收。