第三章:类的加载过程详解

概述

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

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

image-20221022165441037

从程序类的使用来看:

image-20221022165538889

过程一:加载阶段(Loading)

加载的理解

所谓加载,简而言之就是将Java类的字节码文件加载到机器内存中,并在内存中构建出Java类的原理–类模板对象。所谓类模板对象,其实就是Java类在JVM内存中的一个快照,JVM将从字节码文件中解析出的常量池、类字段、类方法等信息存储到类模板中,这样JVM在运行期便能通过类模板而获取Java类中的任意信息,能够对Java类的成员变量进行遍历,也能进行Java方法的调用。反射的机制即基于这一基础。如果JVM没有将Java类的声明信息存储起来,则JVM在运行期也无法反射。

加载完成的操作

加载阶段,简言之,查找并加载类的二进制数据,生成Class的实例。
在加载类时,Java 虚拟机必须完成以下3件事情:

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

二进制流的获取方式

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

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

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

类模型和 Class实例的位置

类模型的位置
加载的类在JVM中创建相应的类结构,类结构会存储在方法区(JDK1.8之前:永久代; JDK1.8及之后: 元空间)。

Class实例的位置
类将.class文件加载至元空间后,会在堆中创建一个Java.lang. Class对象,用来封装类位于方法区内的数据结构,该Class对象是在加载类的过程中创建的,每个类都对应有一个Class类型的对象。

image-20221022170956511

再说明

Class类的构造方法是私有的,只有JVM能够创建。

java. lang. Class实例是访问类型元数据的接口,也是实现反射的关键数据I入口。通过Class类提供的接口,可以获得目标类所关联的.class文件中具体的数据结构:方法、字段等信息。

数组类的加载

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

  1. 如果数组的元素类型是引用类型,那么就遵循定义的加载过程递归加载和创建数组A的元素类型;
  2. JVM使用指定的元素类型和数组维度来创建新的数组类。如果数组的元素类型是引用类型,数组类的可访问性就由元素类型的可访问性决定。否则数组类的可访问性将被缺省定义为public。

过程二:链接阶段(Linking)

验证阶段(Verification)

当类加载到系统后,就开始链接操作,验证是链接操作的第一步。它的目的是保证加载的字节码是合法、合理并符合规范的
验证的步骤比较复杂,实际要验证的项目也很繁多,大体上Java虚拟机需要做以下检查,如图所示。

image-20221022173332010

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

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

链接阶段的验证虽然拖慢了加载速度,但是它避免了在字节码运行时还需要进行各种检查。(磨刀不误砍柴工)

具体说明:

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

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

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

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

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

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

准备阶段(Preparation)

简言之,为类的静态变量分配内存,并将其初始化为默认值
当一个类验证通过时,虚拟机就会进入准备阶段。在这个阶段,虛拟机就会为这个类分配相应的内存空间,并设置默认初始值。Java虚拟机为各类型变量默认的初始值如表所示。

image-20221022175113575

注意: Java并不 支持boolean类型,对于boolean类型,内部实现是int ,由于int的默认值是0 ,故对应的,boolean的默认 值就是false.

注意:

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

显示初始化赋值 和 初始化默认值 不同。

显示初始化是根据代码指定的值进行赋值

初始化默认值则是赋数据类型的默认值,比如:int 是 0 ,String 是 null ,和代码没关系

代码举例

/**
 * @author YZG
 * @create 2020-09-13 10:50
 *
 * 过程二:链接阶段
 *
 * 基本数据类型:非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");
}

num、constStr 变量在编译时就已经分配默认值了,在准备阶段会显示初始化。

解析阶段(Resolution),

简言之,将类、接口T字段和方法的符号引用转为直接引用。

具体描述

符号引用就是一- 些字面量的引用,和虚拟机的内部数据结构和和内存布局无关。比较容易理解的就是在Class类文件中,通过常量池进行了大量的符号引用。但是在程序实际运行时,只有符号引用是不够的,比如当如下println()方法被调用时,系统需要明确知道该方法的位置。

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

小结

所谓解析就是将符号引用转为直接引用,也就是得到类、字段、方法在内存中的指针或者偏移量。因此,可以说,如果直接引用存在,那么可以肯定系统中存在该类、方法或者字段。但只存在符号引用,不能确定系统中一定存在该结构。不过Java虚拟机规范并没有明确要求解析阶段一定要按照顺序执行。在HotSpot VM中,加载、验证、准备和初始化会按照顺序有条不紊地执行,但链接阶段中的解析操作往往会伴随着JVM在执行完初始化之后再执行

验证阶段会伴随这 加载阶段 完成,解析阶段在 初始化阶段之后才会执行。

过程三:初始化阶段

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

具体描述

类的初始化是类装载的最后一个阶段。如果前面的步骤都没有问题,那么表示类可以顺利装载到系统中。此时,类才会开始执行Java字节码。(即: 到了初始化阶段,才真正开始执行类中定义的Java 程序代码。)

初始化阶段的重要工作是执行类的初始化方法:()方法

  • 该方法仅能由Java编译器生成并由JVM调用,程序开发者无法自定义一个同名的方法,更无法直接在Java程序中调用该方法,虽然该方法也是由字节码指令所组成。
  • 它是由类静态成员的赋值语句以及static语句块合并产生的。

说明

  • 在加载一个类之前,虚拟机总是会试图加载该类的父类,因此父类的 总是在子类之前被调用。也就是说,父类的static块优先级高于子类。口诀:由父及子,静态先行。

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

  • 一个类中并没有声明任何的类变量,也没有静态代码块时

  • 一个类中声明类变量,但是没有明确使用类变量的初始化语句以及静态代码块来执行初始化操作时

  • 一个类中包含static final修饰的基本数据类型的字段,这些类字段初始化语句采用编译时常量表达式

被 final 修饰的变量在 准备阶段就已经完成显示初始化了。

问题1: 什么样的数据会在链接阶段的准备环节显示初始化赋值?

  1. 被 static final 修饰的变量
  2. 在编译阶段就能确定下来值,不需要创建对象或者调用方法来显示赋值

同时满足以上俩种条件就会在 准备环节显示初始化赋值。

代码举例

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>()中赋值
    
}

()方法的线程安全

对于()方法的调用,也就是类的初始化,虚拟机会在内部确保其多线程环境中的安全性。
虚拟机会保证-一个类的()方法在多线程环境中被正确地加锁、同步,如果多个线程同时去初始化一个类,那么只会有一个线程去执行这个类的()方法,其他线程都需要阻塞等待,直到活动线程执行()方法完毕。

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

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

类的初始化情况:主动使用 VS 被动使用

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

主动使用

Class只有在必须要首次使用的时候才会被装载,Java虚拟机不会无条件地装载Class类型。Java虚拟机规定,一个类或接口在初次使用前,必须要进行初始化。这里指的“使用”,是指主动使用,主动使用只有下列几种情况: (即: 如果出现如下的情况,则会对类进行初始化操作。而初始化操作之前的加载、验证、准备已经完成。)

  1. 当创建一个类的实例时,比如使用new关键字,或者通过反射、克隆、反序列化
  2. 当调用类的静态方法时,即当使用了字节码 invokestatic 指令。
  3. 当使用类、接口的静态字段时(final修饰特殊考虑),比如,使用getstatic或者putstatic指令。 (对应访问变量、赋值变量操作)
  4. 当使用java.lang. reflect包中的方法反射类的方法时。比如: Class . forName( “com. atguigu. java.Test” )
  5. 当初始化子类时,如果发现其父类还没有进行过初始化,则需要先触发其父类的初始化。
  6. 如果一个接口定义了default方法, 那么直接实现或者间接实现该接口的类的初始化,该接口要在其之前被初始化。
  7. 当虚拟机启动时,用户需要指定一个要执行的主类(包含main()方法的那个类),虚拟机会先初始化这个主类。
  8. .当初次调用MethodHandle 实例时,初始化该MethodHandle指向的方法所在的类。 (涉及解析REF_ getStatic、REF_ putStatic、 REF invokeStatic方 法句柄对应的类)

针对5,补充说明 :
当Java虚拟机初始化-一个类时,要求它的所有父类都已经被初始化,但是这条规则并不适用于接口。

在初始化-一个类时,并不会先初始化它所实现的接口
在初始化一个接口时,并不会先初始化它的父接口
因此,一个父接口并不会因为它的子接口或者实现类的初始化而初始化。只有当程序首次使用特定接口的静态字段时,才会导致该接口的初始化。

第一种情况演示:

通过 new 关键字创建对象

public class ActiveUse1 {
    public static void main(String[] args) {
        Order order = new Order();
    }
}
// static 代码块执行说明 Order类进行了类初始化
class Order implements Serializable{
    static {
        System.out.println("Order类的初始化过程");
    }
}

使用 new 关键字创建对象会进行类初始化

第二种情况:

调用类中的静态方法

    @Test
    public void test3(){
        // System.out.println(Order.num1);
        Order.method();
    }

}

class Order implements Serializable{
    static {
        System.out.println("Order类的初始化过程");
    }

    public static int num = 1 ;
    // 调用该字段不会引发类的初始化
    public static final int num1 = 1 ;


    public static void method(){
        System.out.println("Order method()....");
    }
}

第三种情况演示:

调用类、接口的静态字段(final特殊考虑)

    @Test
    public void test3(){
        System.out.println(Order.num1);
        // Order.method();
    }

}

class Order implements Serializable{
    static {
        System.out.println("Order类的初始化过程");
    }

    public static int num = 1 ;

    // 调用该字段不会引发类的初始化
    public static final int num1 = 1 ;
}

第三种情况结合 static + final 关键字

只有在初始化阶段完成赋值的静态字段被调用才会进行类的初始化。在准备阶段就完成赋值不会触发类初始化。

第四种情况演示:

使用 Class.forName 时,会导致类进行类初始化

    @Test
    public void test3() throws ClassNotFoundException {

        Class.forName("chapter03.Order"); 
    }

}

class Order implements Serializable{
    static {
        System.out.println("Order类的初始化过程");
    }
}

第五种情况演示:

public class ActiveUser2 {
    public static void main(String[] args) {
        Son son = new Son();
    }

  static  class Father{
        static {
            System.out.println("Father类初始化");
        }
    }
  static  class Son extends Father {
        static {
            System.out.println("Son类初始化");
        }
    }
}

输出结果:

Father类初始化
Son类初始化

针对情况5 的特殊说明:

public class ActiveUser2 {
    public static void main(String[] args) {
        Son son = new Son();
        // son.A();
    }

  static  class Father{
        static {
            System.out.println("Father类初始化");
        }
    }
  static  class Son extends Father implements A{
        static {
            System.out.println("Son类初始化");
        }
    }

    public  interface A extends B{
         Thread t = new Thread(){
             {
                 System.out.println("A接口初始化");
            }
        };
    }

    public  interface B {
        Thread t = new Thread(){
            {
                System.out.println("B接口初始化");
            }
        };
    }
}

实现一个接口,并不会导致该接口进行初始化

第六种情况演示:

public class ActiveUser2 {
    public static void main(String[] args) {
        Son son = new Son();
        son.methodA();
    }

    static  class Father{
        static {
            System.out.println("Father类初始化");
        }
    }
    static  class Son extends Father implements A{
        static {
            System.out.println("Son类初始化");
        }
    }

    public  interface A extends B{
        Thread t = new Thread(){
            {
                System.out.println("A接口初始化");
            }
        };
        public default void methodA(){
            System.out.println("A接口中的defaultf方法");
        }
    }

    public  interface B {
        Thread t = new Thread(){
            {
                System.out.println("B接口初始化");
            }
        };
        public default void methodB(){
            System.out.println("B接口㕜的defaultf方法");
        }
    }
}

当我们 A、B 接口中都定义了 default 方法,无论调用还是没调用都会实现类初始化。前提是直接或者间接实现了该接口。

被动使用

除了以上的情况属于主动使用,其他的情况均属于被动使用。被动使用不会引起类的初始化
也就是说:并不是在代码中出现的类,就一定会被加载或者初始化。如果不符合主动使用的条件,类就不会初始化。

  1. 当访问一个静态字段时,只有真正声明这个字段的类才会被初始化。当通过子类引用父类的静态变量,不会导致子类初始化
  2. 通过数组定义类引用,不会触发此类的初始化
  3. 引用常量不会触发此类或接口的初始化。因为常量在链接阶段就已经被显式赋值了。
  4. 调用ClassLoader类的loadClass()方法加载一个类,并不是对类的主动使用,不会导致类的初始化。

第一种情况演示:

public class PassiveUser {
    public static void main(String[] args) {
        System.out.println(Son.num);
    }
    static  class Father{
        static {
            System.out.println("Father类初始化");
        }
        static int num = 1 ;
    }
    static  class Son extends Father{
        static {
            System.out.println("Son类初始化");
        }
    }
}

输出结果:

Father类初始化
1

通过子类调用父类的静态字段,子类不会进行初始化

第二种情况演示:

public class PassiveUser {
    public static void main(String[] args) {
        // System.out.println(Son.num);
        Father[] fathers = new Father[10];
    }
    static  class Father{
        static {
            System.out.println("Father类初始化");
        }
        static int num = 1 ;
    }
    static  class Son extends Father{
        static {
            System.out.println("Son类初始化");
        }
    }
}

类的使用

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

类的卸载

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

在类加载器的内部实现中,用一个Java集合来存放所加载类的引用。另一方面,一个Class对象总是会引用它的类加载器,调用Class对象的getClassLoader()方法, 就能获得它的类加载器。由此可见,代表某个类的Class实例与其类的加载器之间为双向关联关系

一个类的实例总是引用代表这个类的Class对象。在0bject类中定义了getClass()方法, 这个方法返回代表对象所属类
的Class对象的引用。此外,所有的Java类都有一个静态属性class,它引用代表这个类的Class对象。

类的生命 周期

当Sample类被加载、链接和初始化后,它的生命周期就开始了。当代表Sample类的Class对象不再被引用,即不可触及时,Class对象就会结束生命周期,Sample类在方法区内的数据也会被卸载,从而结束Sample类的生命周期。

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

image-20221024093612405

类的卸载

(1)启动类加载器加载的类型在整个运行期间是不可能被卸载的(jvm和j1s规范)

(2)被系统类加载器和扩展类加载器加载的类型在运行期间不太可能被卸载,因为系统类加载器实例或者扩展类的实例基本上在整个运行期间总能直接或者间接的访问的到,其达到unreachable的可能性极小。

(3) 被开发者自定义的类加载器实例加载的类型只有在很简单的上下文环境中才能被卸载,而且一般还要借助于强制调用虛拟机的垃圾收集功能才可以做到。可以预想,稍微复杂点的应用场景中(比如:很多时候用户在开发自定义类加载器实例的时候采用缓存的策略以提高系统性能),被加载的类型在运行期间也是几乎不太可能被卸载的(至少卸载的时间是不确定的)。

综合以上三点,一个已经加载的类型被卸载的几率很小至少被卸载的时间是不确定的。同时我们可以看的出来,开发者在
Class对象的引用。此外,所有的Java类都有一个静态属性class,它引用代表这个类的Class对象。



各位彭于晏,如有收获点个赞不过分吧…✌✌✌

Alt

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

鲨瓜2号

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值