首页 > 其他 > 详细

18. 类加载过程详解

时间:2020-12-21 23:31:59      阅读:61      评论:0      收藏:0      [点我收藏+]

1. 概述

在 Java 中数据类型分为基本数据类型和引用数据类型。基本数据类型由虚 拟机预先定义,引用数据类型则需要进行类的加载

按照 Java 虚拟机规范,从 Class 文件到加载到内存中的类,到类卸载出内 存位置,它的整个生命周期包括如下七个阶段:

技术分享图片

其中,验证、准备、解析 3 个部分统称为链接(Linking)

从程序中类的使用过程看,又可以以如下示意图表示:

技术分享图片

2. 过程一: 加载阶段(Loading)

加载的理解 :

所谓加载,简而言之就是将 Java 类的字节码文件加载到机器内存中,并在内存中构建出 Java 类的原型——类模板对象。

所谓类模板对象,其实就是 Java 类在 JVM 内存中的一个快照,JVM 将从字节码文件中解析出的常量池、 类字段、类方法等信息存储到模板中,这样 JVM 在运行期便能通过类模板而获 取 Java 类中的任意信息,能够对 Java 类的成员变量进行遍历,也能进行 Java 方法的调用 反射的机制即基于这一基础。

如果 JVM 没有将 Java 类的声明信息存储起 来,则 JVM 在运行期也无法反射

加载阶段,简单说,就是查找并加载类的二进制数据,生成 Class 的实例

在加载类时,Java 虚拟机必须完成以下 3 件事情:

  • 通过类的全名,获取类的二进制数据流
  • 解析类的二进制数据流为方法区内的数据结构(Java 类模型)
  • 创建 java.lang.Class 类的实例,表示该类型。作为方法区这个类的各种数据 的访问入口

  1. 二进制流的获取方式

对于类的二进制数据流,虚拟机可以通过多种途径产生或获得。(只要所读取的字节码符合 JVM 规范即可)

  1. 虚拟机可能通过文件系统读入一个 Class 后缀的文件(最常见)
  2. 读入 jar、zip 等归档数据包,提取类文件
  3. 事先存放在数据库中的类的二进制数据
  4. 使用类似于 HTTP 之类的协议通过网络进行加载 (序列化-反序列化)
  5. 在运行时生成一段 Class 的二进制信息等

在获取到类的二进制信息后,Java 虚拟机就会处理这些数据,并最终转为一 个 java.lang.Class 的实例 如果输入数据不是 ClassFile 的结构,则会抛出 ClassFormatError


  1. 类模型与 Class 实例的位置

类模型的位置:

加载的类在 JVM 中创建相应的类结构,类结构会存储在方法区(JDK 1.8 之 前:永久代;JDK 1.8 之后:元空间)

Class对象:

类将 .class 文件加载至元空间后,会在堆中创建一个 java.lang.Class 对象, 用来封装类位于方法区内的数据结构,该 Class 对象是在加载类的过程中创建 的,每个类都对应有一个 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();
        }

    }
}

打印结果:

public boolean equals(Object)
public String toString()
public int hashCode()
public int compareTo(String)
public volatile int compareTo(Object)
public int indexOf(String,int)
public int indexOf(String)
public int indexOf(int,int)
public int indexOf(int)
static int indexOf(char[],int,int,char[],int,int,int)
static int indexOf(char[],int,int,String,int)
// ....
public String substring(int)
public String substring(int,int)
public char[] toCharArray()
public String toLowerCase(Locale)
public String toLowerCase()
public String toUpperCase()
public String toUpperCase(Locale)
public String trim()

3. 数组类的加载

创建数组类的情况稍微有些特殊,因为数组类本身并不是由类加载器负责创 建,而是由 JVM 在运行时根据需要而直接创建的,但数组的元素类型仍然需要依靠类加载器去创建。创建数组类(下述简称 A)的过程:

  • 如果数组的元素类型是引用类型,那么就遵循定义的加载过程递归加载和创 建数组 A 的元素类型
  • JVM 使用指定的元素类型和数组维度来创建新的数组类

如果数组的元素类型是引用类型,数组类的可访问性就由元素类型的可访问 性决定。否则数组类的可访问性将被缺省定义为 public

3. 过程二: 链接阶段(Linking)

3.1 链接阶段环节一: 验证 (Verification )

当类加载到系统后,就开始链接操作,

验证是链接操作的第一步 它的目的是保证加载的字节码是合法、合理并符合规范的 ,

验证的步骤比较复杂,实际要验证的项目也很繁多,大体上 Java 虚拟机需 要做以下检查,如图所示

技术分享图片

整体说明:

验证的内容则涵盖了类数据信息的格式验证、语义检查、字节码验证,以及符号引用验证等

  • 其中格式验证会和加载阶段一起执行。验证通过之后,类加载器才会成功将类的二进制数据信息加载到方法区中
  • 格式验证之外的验证操作将会在方法区中进行 ,将类加载成功后

链接阶段的验证虽然拖慢了加载速度,但是它避免了在字节码运行时还需要 进行各种检查

具体说明:

  1. 格式验证:是否以魔数 0xCAFEBABE 开头,主版本和副版本号是否在当前 Java 虚拟机的支持范围内,数据中每一个项是否都拥有正确的长度等

  2. : 语义检查: Java 虚拟机会进行字节码的语义检查,但凡在语义上不符合规范的,虚拟机也不会给予验证通过。比如:

    • 是否所有的类都有父类的存在(在 Java 里,除了 Object 外,其他类都应该 有父类)
    • 是否一些被定义为 final 的方法或者类被重写或继承了
    • 非抽象类是否实现了所有抽象方法或者接口方法
    • 是否存在不兼容的方法(比如方法的签名除了返回值不同,其他都一样,这种 方法会让虚拟机无从下手调度;absract 情况下的方法,就不能是 final 的了)
  3. 字节码验证: Java 虚拟机还会进行字节码验证,字节码验证也是验证过程中最为复杂的一 个过程。它试图通过对字节码流的分析,判断字节码是否可以被正确地执行。 比如:

    • 在字节码的执行过程中,是否会跳转到一条不存在的指令
    • 函数的调用是否传递了正确类型的参数
    • 变量的赋值是不是给了正确的数据类型等

    栈映射帧(StackMapTable)就是在这个阶段,用于检测在特定的字节码处,其 局部变量表和操作数栈是否有着正确的数据类型。但遗憾的是,100%准确地判 断一段字节码是否可以被安全执行是无法实现的,因此,该过程只是尽可能地检 查出可以预知的明显的问题。如果在这个阶段无法通过检查,虚拟机也不会正确 装载这个类。但是,如果通过了这个阶段的检查,也不能说明这个类是完全没有 问题的

在前面 3 次检查中,已经排除了文件格式错误、语义错误以及字节码的不正 确性。但是依然不能确保类是没有问题的

  1. 符号引用的验证: 校验器还将进行符号引用的验证。Class 文件在其常量池会通过字符串记录 自己将要使用的其他类或者方法。因此,在验证阶段,虚拟机就会检查这些 类或者方法确实是存在的,并且当前类有权限访问这些数据,如果一个需要 使用类无法在系统中找到,则会抛出 NoClassDefFoundError,如果一个方法 无法被找到,则会抛出 NoSuchMethdError 此阶段在解析环节才会执行

3.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 类型,对于 boolean 类型,内部实现是 int, 由于 int 的默认值是 0,故对应的,boolean 的默认值就是 false

注意事项:

  1. 这里不包含基本数据类型的字段用 static final 修饰的情况,因为 final 在编译的时候就会分配了,准备阶段直接进行显式赋值,(最终值)
  2. 注意这里不会为实例变量分配初始化,类变量会分配在方法区中,而实例变量是会随着对象一起分配到 Java 堆中
  3. 在这个阶段不会像初始化阶段中那样会有初始化或者代码被执行

代码演示:

/**
*
* 基本数据类型:非 final 修饰的变量,在准备环节进行默认初始化赋值
* final 修饰以后,在准备环节直接进行显式赋值
*
* 拓展:如果使用字面量的方式定义一个字符串的常量的话,也是在准备环节
直接进行显式赋值
但是使用new的不是,会在初始化阶段中 clinit方法中进行
*/
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.3 链接阶段环节三: 解析 (Resolution)

在准备阶段(Resolution),简言之,将类、接口、字段和方法的符号引用转为 直接引用

具体描述:

符号引用就是一些字面量的引用,和虚拟机的内部数据结构和内存分布无关。 比较容理解的就是在 Class 类文件中,通过常量池进行了大量的符号引用。但是在程序实际运行时,只有符号引用是不够的,

比如当如下 println() 方法被调用时,系统需要明确知道该方法的位置

举例:输出操作 System.out.println() 对应的字节码:

invokevirtual #24 <java/io/PrintStream.println>

技术分享图片

以方法为例,Java 虚拟机为每个类都准备了一张方法表,将其所有的方法都列在表中,当需要调用一个类的方法的时候,只要知道这个方法在方法表中的偏移量就可以直接调用该方法。通过解析操作,符号引用就可以转变为目标方法在类中方法表中的位置,从而使得方法被成功调用

小结:

所谓解析就是将符号引用转为直接引用,也就是得到类、字段、方法在内存中的指针或者偏移量。因此,可以说,如果直接引用存在,那么可以定位到系统中实际存在该类、方法或者字段的位置。但只存在符号引用,不能确定系统中一定存在该结构

不过 Java 虚拟机规范并没有明确要求解析阶段一定要按照顺序执行。在 HotSpot VM 中,加载、验证、准备和初始化会按照顺序有条不紊地执行,但链 接阶段中的解析操作往往会伴随着 JVM 在执行完初始化之后再执行

字符串的复习:

最后,再来看一下 CONSTANT_String 的解析。由于字符串在程序开发中有 着重要的作用,因此,读者有必要了解一下 String 在 Java 虚拟机中的处理。 当在 Java 代码中直接使用字符串常量时,

就会在类中出现 CONSTANT_String, 它表示字符串常量,并且会引用一个 CONSTANT_UTF8 的常量项。

在 Java 虚 拟机内部运行中的常量池,会维护一张字符串表(intern),它会保存所有出现 过的字符串常量,并且没有重复项。只要以 CONSTANT_String 形式出现的字 符串也都会在这张表中。使用 String.intern() 方法可以得到一个字符串在表 中的引用,因为该表中没有重复项,所以任何字面相同的字符串的 String.intern() 方法返回总是相等的 ,也就是说在将符号引用转为实际引用时,相同的字符串转为的实际引用地址都是同一个

4. 过程三: 初始化阶段 (Initialization)

初始化阶段,简言之,为类的静态变量赋予正确的初始值

具体描述

类的初始化是类装载的最后一个阶段。如果前面的步骤都没有问题,那么表 示类可以顺利装载到系统中。此时,类才会开始执行 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> //先赋值 1给静态字段
 4 iconst_2
 5 putstatic #3 <com/atguigu/java/InitializationTest.number> //再赋值2
 8 getstatic #4 <java/lang/System.out>
11 ldc #5 <father static{}>
13 invokevirtual #6 <java/io/PrintStream.println> //打印方法
16 return

细节说明 :

  1. 在加载一个类之前,虚拟机总是会试图加载该类的父类,因此父类的 总是 在子类 之前被调用,也就是说,父类的 static 块优先级高于子类

  2. Java 编译器并不会为所有的类都产生 <clinit>() 初始化方法。哪些类在编译为字节码后,字节码文件中将不会包含 () 方法?

    • 一个类中并没有声明任何的类变量,也没有静态代码块时
    • 一个类中声明类变量,但是没有明确使用类变量的初始化语句以及静态代码 块来执行初始化操作时
    • 一个类中包含 static final 修饰的基本数据类型的字段,这些类字段初始化语 句采用编译时常量表达式

如果类中没有一个静态变量在初始化阶段进行赋值.

那么就不会生成<clinit>()方法.

那么对于静态变量的赋值问题, 共可分成如下几个部分

public class InitializationTest1 {
    //如果全是非静态的字段,不管是否进行了显式赋值,都不会生成<clinit>()方法
    public int num = 1;
    
    //虽然是静态的字段,没有显式的赋值,不会生成<clinit>()方法
    public static int num1;
    
    //显示赋值基本类型变量或者字符串字面量,将会在初始化阶段赋值,会生成clinit()方法
    public static int a = 1;
    public static String s2 = "helloworld2";
    
    //但是如果使用final修饰,将会在链接阶段的准备环节进行赋值,所以就不会生成clinit方法
    public static final int num2 = 1;
    public static final String s0 = "helloworld0";
    
    //但是如果用final修饰的变量不是直接赋值,而是调用方法,比如包装类型, new String的方式等
    //将仍然在初始化阶段赋值
     public static final Integer INTEGER_CONSTANT1 = Integer.valueOf(100);
     public static final String s1 = new String("helloworld1");
     public static final int NUM1 = new Random().nextInt(10);
}

将分成以下几种情况:

  • 全是非静态的字段,不管是否进行了显式赋值,都不会生成<clinit>()方法
  • 有静态的字段,但是都没有显式的赋值,不会生成<clinit>()方法
  • 有 显示赋值基本类型或者字符串字面量类型的静态变量(静态代码块也算),将会在初始化阶段赋值,会生成clinit()方法
  • 如果静态变量全是使用final修饰,将会在链接阶段的准备环节进行赋值,所以就不会生成<clinit>()方法(有例外)
  • 但是如果用final修饰的变量不是直接赋值,而是调用方法,比如包装类型, new String的方式等,将仍然在初始化阶段赋值,会生成clinit()方法

clinit()方法 的线程安全性

对于 <clinit>() 方法的调用,也就是类的初始化,虚拟机会在内部确保其多线程环境中的安全性

虚拟机会保证一个类的 <clinit>() 方法在多线程环境中被正确地加锁、同步,如果多个线程同时去初始化一个类,那么只会有一个线程去执行这类的 <clinit>() 方法, 其他线程都需要阻塞等待,直到活动线程执行 <clinit>()方法完毕 (隐式锁,没有synchronized修饰)

正是因为函数 <clinit>()带锁线程安全的,因此,如果一个在类的 <clinit>()方法中有耗时 很长的操作,就可能造成多个线程阻塞,引发死锁。并且这种死锁是很难发现的, 因为看起来它们并没有可用的锁信息

如果之前的线程成功加载了类,则等在队列中的线程就没有机会再执行 <clinit>()方法了。那么,当需要使用这个类时,虚拟机会直接返回给它已经准备好的信息

死锁代码举例:A类 和B类 相互等待

class StaticA {
    static {
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
        }
        try {
            //在这里取加载类时,因为其clinit方法已经被执行,所以会等待
            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 {
             //在这里取加载类时,因为其clinit方法已经被执行,所以会等待
            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 {
        //A 类 和B类 相互等待
        StaticDeadLockMain loadA = new StaticDeadLockMain(‘A‘);
        loadA.start();
        StaticDeadLockMain loadB = new StaticDeadLockMain(‘B‘);
        loadB.start();
    }
}

5. 类的初始化情况, 主动使用 和 被动使用

Java 程序对类的使用分为两种:主动使用 和 被动使用

主动使用 :

Class 只有在必须要首次使用的时候才会被装载,Java 虚拟机不会无条件地装载 Class 类型。Java 虚拟机规定,一个类或接口在初次使用前,必须要进行初始化。即一个类只有在主动使用时,才会进行初始化阶段

这里指的"使用",是指主动使用,主动使用只有下列几种情况:(即: 如果出现如下的情况,则会对类进行初始化操作。而初始化操作之前的加载、验证、准备已经完成)

  • 当创建一个类的实例时,比如使用 new 关键字,或者通过反射、克隆、反序列化 ,将会进行初始化

  • 当调用类的静态方法时,即当使用了字节码 invokestatic 指令

    举例:

    
    /**
     * 测试类的主动使用:意味着会调用类的<clinit>(),即执行了类的初始化阶段
     *
     * 1. 当创建一个类的实例时,比如使用new关键字,或者通过反射、克隆、反序列化。
     * 2. 当调用类的静态方法时,即当使用了字节码invokestatic指令。
     */
    public class ActiveUse1 {
        public static void main(String[] args) {
            // new对象
            Order order = new Order();
        }
    
        //序列化
        @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();
                }
            }
    
        }
    
        //反序列化的过程
        @Test
        public void test2() {
            ObjectInputStream ois = null;
            try {
                ois = new ObjectInputStream(new FileInputStream("order.dat"));
    
                Order order = (Order) ois.readObject();
            } catch (IOException e) {
                e.printStackTrace();
            } catch (ClassNotFoundException 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()....");
        }
    }
    
    
  • 当使用类、接口的静态字段时(final 修饰特殊考虑),比如,使用 getstatic 或 者 putsttic 指令。(对应访问变量、赋值变量操作,访问赋值时会执行clinit方法的静态字段,可以参照上一小结)

    举例:

    /**
     *
     * 3. 当使用类、接口的静态字段时(final修饰特殊考虑),比如,使用getstatic或者putstatic指令。(对应访问变量、赋值变量操作)
     *
     */
    public class ActiveUse2 {
        @Test
        public void test1(){
    //        System.out.println(User.num);
    //        System.out.println(User.num1);
            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类的初始化过程");
        }
    
        // 访问静态字段会调用clinit方法,是主动使用
        public static int num = 1;
        //final修饰,所以不会调用
        public static final int num1 = 1;
        //final修饰但是 需要调用方法,是主动使用,会调用clinit方法
        public static final int num2 = new Random().nextInt(10);
    
    }
    
    //接口测试,测试结果和普通类一样
    interface CompareA{
        //如果执行clinit方法,将会打印,用于测试
        public static final Thread t = new Thread(){
            {
                System.out.println("CompareA的初始化");
            }
        };
    
        //final修饰,不会执行
        public static final int NUM1 = 1;
        //需要调用方法,会执行clinit 方法
        public static final int NUM2 = new Random().nextInt(10);
    
    }
    
  • 当 使 用 java.lang.reflect 包 中 的 方 法 反 射 类 的 方 法 时 。 比 如 : Class.forname("com.atguigu.java.Test")

    
    /**
     *  当使用java.lang.reflect包中的方法反射类的方法时。比如:
     */
    public class ActiveUse3 {
        static{
            System.out.println("ActiveUse3的初始化过程");
        }
        @Test
        public void test1() {
            try {
                Class clazz = Class.forName("com.atguigu.java1.Order");
            } catch (ClassNotFoundException e) {
                e.printStackTrace();
            }
    
        }
    }
    
    
  • 当初始化子类时,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化 (但是却不会初始化接口其接口)

    public class ActiveUse3 {
        
        @Test
        public void test4() {
            System.out.println(Son.num);
        }
    }
    
    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 {
        //如果初始化则会打印,当实现类 Son 初始化时不会进行初始化
        public static final Thread t = new Thread() {
            {
                System.out.println("CompareB的初始化");
            }
        };
    
    }
    
  • 如果一个接口定义了default方法,那么直接实现或者间接实现该接口的类的初始化,该接口要在其之前被初始化。

    public class ActiveUse3 {
        
        @Test
        public void test4() {
            System.out.println(Son.num);
        }
    }
    
    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("你好!");
        }
    
    }
    
  • 当虚拟机启动时,用户需要指定一个要执行的主类(包含 main() 方法的那个 类),虚拟机会先初始化这个主类

  • 当初次使用 MethodHandle 实例时(反射),初始化该 MethodHandle 指向的方法所在的类。(涉及解析 REF_getStatic、REF_putStatic、REF_invokeStatic 方法句柄对应的类)

被动初始化:

除了以上的情况属于主动使用,其他的情况均属于被动使用。被动使用不会 引起类的初始化

也就是说:并不是在代码中出现的类,就一定会被加载或者初始化。如果不 符合主动使用的条件,类就不会初始化

说明:没有初始化不代表没有加载此类,只是没有执行初始化过程

  • 当访问一个静态字段时,只有真正声明这个字段的类才会被初始化

    例如: 当通过子类引用父类的静态变量,不会导致子类初始化

    public class PassiveUse1 {
        @Test
        public void test1(){
            //通过子类访问父类静态变量,不会进行初始化
            System.out.println(Child.num);
        }
    }
    
    class Parent{
        static{
            System.out.println("Parent的初始化过程");
        }
    
        public static int num = 1;
    }
    
    class Child extends Parent{
        static{
            System.out.println("Child的初始化过程");
        }
    }
    
    
  • 通过数组定义类引用,不会触发此类的初始化

    public class PassiveUse1 {
    
        @Test
        public void test2(){
            //只是声明该类型的组数,不会初始化该类型
            Parent[] parents = new Parent[10];
        }
    }
    
    
    
  • 引用静态常量不会触发此类或接口的初始化。因为常量在链接阶段就已经被显式赋值了

    public class PassiveUse2 {
        @Test
        public void test1(){
    //        System.out.println(Person.NUM);//不会初始化
            System.out.println(Person.NUM1); //会初始化
        }
    }
    
    class Person{
        static{
            System.out.println("Person类的初始化");
        }
        public static final int NUM = 1;//在链接过程的准备环节就被赋值为1了。
        public static final int NUM1 = new Random().nextInt(10);//此时的赋值操作需要在<clinit>()中执行
    }
    
    
  • 调用 ClassLoader 类的 loadClass() 方法加载一个类,并不是对类的主动使 用,不会导致类的初始化

    public class PassiveUse2 {
    
        @Test
        public void test3(){
            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>()中执行
    }
    

6. 过程四: 使用环节(Using)

身为java程序员,最平时做的最多的事就是类的使用了,不做过多讲解:

任何一个类型在使用之前都必须经历过完整的加载、链接和初始化 3 个类加载步骤。

一旦一个类型成功经历过这 3 个步骤之后,便“万事俱备,只欠东风”, 就等着开发者使用了 开发人员可以在程序中访问和调用它的静态类成员信息(比如:静态字段、静 态方法),或者使用 new 关键字为其创建对象实例

7. 过程五: 类的卸载(Unloading)

类、类的加载器、类的实例之间的引用关系

  1. 在类加载器的内部实现中,用一个 Java 集合来存放所加载类的引用。另一 方面,一个 Class 对象总是会引用它的类加载器,调用 Class 对象的 getClassLoader() 方法,就能获得它的类加载器。由此可见,代表某个类的 Class 实例与其类的加载器之间为双向关联关系
  2. 一个类的实例总是引用代表这个类的 Class 对象。在 Object 类中定义了 getClass() 方法,这个方法返回代表对象所属类的 Class 对象的引用。此外,所 有的 Java 类都有一个静态属性 Class,它引用代表这个类的 Class 对象

图示:

技术分享图片

如上图:

  1. 当 Sample 类被加载、链接和初始化后,它的生命周期就开始了。当代表 Sample 类的 Class 对象不再被引用,即不可触及时,Class 对象就会结束生命 周期,Sample 类在方法区内的数据也会被卸载,从而结束 Sample 类的生命周 期
  2. Loader1 变量和 obj 变量间接应用代表 Sample 类的 Class 对象,而 objClass 变量则直接引用它
  3. 如果程序运行过程中,将上图左侧三个引用变量都置为 null,此时 Sample 对象结束生命周期,MyClassLoader 对象结束生命周期,代表 Sample 类的 Class 对象也结束生命周期,Sample 类在方法区内的二进制数据被卸载
  4. 当再次有需要时,会检查 Sample 类的 Class 对象是否存在,如果存在会直 接使用,不再重新加载;如果不存在 Sample 类会被重新加载,在 Java 虚拟机 的堆区会生成一个新的代表 Sample 类的 Class 实例(可以通过哈希码查看是否 是同一个实例)

一个类何时结束生命周期,取决于代表它的 Class 对象何时结束生命周期

垃圾回收回顾

方法区的垃圾收集主要回收两部分内容:常量池中废弃的常量和不再使用的 类型

HotSpot 虚拟机对常量池的回收策略是很明确的,只要常量池中的常量没有 被任何地方引用,就可以被回收

判定一个常量是否"废弃"还是相对简单,而要判定一个类型是否属于"不再被 使用的类"的条件就比较苛刻了。需要同时满足下面三个条件:

  • 该类所有的实例都已经被回收。也就是 Java 堆中不存在该类及其任何派生 子类的实例
  • 加载该类的类加载器已经被回收。这个条件除非是经过精心设计的可替换类 加载器的场景,如 OSGI、JSP 的重加载等,否则通常是很难达成的
  • 该类对应的 java.lang.Class 对象没有在任何地方被引用,无法在任何地方通 过反射访问该类的方法

Java 虚拟机被允许对满足上述三个条件的无用类进行回收,这里说的仅仅是 "被允许",而并不是和对象一样,没有引用了就必然会回收

各个类加载器被卸载的说明

  1. 启动类加载器加载的类型在整个运行期间是不可能被卸载的(JVM 和 JSL 规范)
  2. 系统类加载器扩展类加载器加载的类型在运行期间不太可能被卸载,因 为系统类加载器实例或者扩展类的实例基本上在整个运行期间总能直接或者间接的访问的到,其达到 unreachable 的可能性极小
  3. 被开发者自定义的类加载器实例加载的类型只有在很简单的上下文环境中 才能被卸载,而且一般还要借助于强制调用虚拟机的垃圾收集功能才可以做 到。可以预想,稍微复杂点的应用场景(比如:很多时候用户在开发自定义类 的加载器实例的时候采用缓存的策略以提高系统性能),被加载的类型在运行 期间也是几乎不太可能被卸载的(至少卸载的时间是不确定的)

综上所有所述,一个已经加载的类型被卸载的几率很小,至少被卸载的时间是不确定的。同时我们可以看的出来,开发者在开发代码时候,不应该对虚拟机的 类型卸载做任何假设的前提下,来实现系统中的特定功能

18. 类加载过程详解

原文:https://www.cnblogs.com/xjwhaha/p/14141704.html

(0)
(0)
   
举报
评论 一句话评论(0
关于我们 - 联系我们 - 留言反馈 - 联系我们:wmxa8@hotmail.com
© 2014 bubuko.com 版权所有
打开技术之扣,分享程序人生!