类加载的过程与触发时机

类加载过程

在这里插入图片描述

加载阶段

所谓加载,简而言之就是将 Java 类的字节码文件加载到机器内存中,一个Java文件从编码完成到最终执行,一般主要包括两个过程,编译和运行

编译

其中编译就是把我们写好的java文件,通过javac命令编译成字节码,也就是我们常说的.class文件,编译过程中会对java代码做语法层面校验,主要步骤有

  • 词法分析:编译器将源代码分解成标记(tokens),识别出关键字、标识符、运算符和其他语法元素。
  • 语法分析:编译器根据 Java 的语法规则分析标记序列,构建出抽象语法树(Abstract Syntax Tree,AST),为后续的语义分析提供结构。
  • 语义分析:在这个阶段,编译器会检查代码的语义正确性,包括类型检查、变量作用域检查、方法调用的有效性等。此时,类似 final 关键字的解析会进行,以确保如:final 变量只能被赋值一次;final 方法不能被重写;final 类不能被继承。
  • 类型检查 :编译器会检查所有的类型,确保没有类型错误,并且符合Java的类型规则。涉及泛型的地方,会进行泛型擦除,即将泛型类型替换为它的原始类型(raw type)以符合Java的类型系统。
  • 优化:在某些情况下,编译器可能会对字节码进行优化,以提高程序的执行效率。
  • 处理注解和特殊库(如Lombok):当使用像lombok这样的库时,如果在代码中使用了Lombok特定的注解(如@Getter、@Setter等),编译器会在编译时通过处理器来生成额外的代码。这些处理通常是在编译时通过工具或插件实现的,Lombok会在注解处理阶段生成相应的方法或构造函数。
  • 生成字节码:编译器将经过分析和检查后的代码转换成字节码,字节码是 Java 虚拟机可以执行的中间代码格式。这个过程还包括为每个类生成 .class 文件。

类加载

类加载过程即是指JVM虚拟机把.class文件中类信息加载进内存,加载并非是一次性加载,而是按需加载,即主动触发类加载后才会被加载,并进行解析生成对应的class对象的过程。并在内存中构建出 Java 类的原型——类模板对象。所谓类模板对象,即class对象,class对象的实例数据是存储在堆(Heap)中的,就像其他对象一样,然而,类的元数据比如则是存储在方法区(Method Area)中的。类的元数据主要有类名称、父类、接口、访问修饰符、字段、方法、构造函数、注解、常量池、静态变量

实际上java的每个类被编译成.class文件的时候,java虚拟机(jvm)会自动为这个类生成一个类对象,这个对象保存了这个类的所有信息(成员变量,方法,构造器等),以后这个类要想实例化(也就是创建类的实例或创建类的对象)那么都要以这个class对象为蓝图(或模版)来创建这个类的实例。例如

class<?> c = Class.forName(com.pojo.User); 

c就是User的类对象,而 User u=new User();这个u就是以c为模版创建的,其实就相当于u=c.newInstance();反射的机制即基于这一基础。如果 JVM 没有将 Java 类的声明信息存储起来,则 JVM 在运行期也无法反射

简单来说:加载指的是把class字节码文件从各个来源通过类加载器装载入内存中的过程,在堆中生成class实例对象和方法区元空间生成类的元数据,

链接

验证

文件格式验证
四个验证过程中,只有格式验证是建立在二进制字节流的基础上的。格式验证就是对文件是否是0xCAFEBABE开头、class文件版本等信息进行验证,确保其符合JVM虚拟机规范。

这一阶段具体可能包括下面这些验证点:

  • 是否以魔数0xCAFEBABE开头。
  • 主、次版本号是否在当前虚拟机处理范围之内。
  • 常量池的常量中是否有不被支持的常量类型(检查常量tag标志)。
  • 指向常量的各种索引值是否有指向不存在的常量或不符合类型的常量。
  • CONSTANT_Utf8_info型的常量中是否有不符合UTF8编码的数据。
  • Class文件中各个部分及文件本身是否有被删除的或附加的其他信息

元数据验证
编译器的检查主要是基于源代码层面的静态分析。在类加载过程的验证阶段,Java虚拟机(JVM)将进行进一步的验证,确保编译后的字节码在加载到JVM时不会对运行时环境造成危害。这个过程包括了对字节码的结构性检查、控制流和数据流分析,以及确保符号引用的正确性等。

这意味着,即使代码在编译时没有错误,它也可能在类加载时的验证阶段失败。例如,如果类文件被篡改或损坏,或者与当前运行环境不兼容(如使用了不支持的版本号),则类验证会失败,虽然这些问题在编译时可能不会被检测到。

编译器和JVM的验证步骤是两个独立但互补的过程

准备

为 static 静态变量分配空间,设置默认值,需要注意

  • static 变量分配空间和赋值是两个步骤,分配空间在准备阶段完成,赋值在初始化阶段完成
  • 如果 static 变量是 final 的基本类型和字符串常量,那么编译阶段值就确定了,赋值在准备阶段完成,果 static 变量是 final 的引用类型,那么赋值阶段依然是在初始化阶段

解析

解析阶段是Java虚拟机将常量池内的符号引用替换为直接引用的过程

1、符号引用(Symbolic References):符号引用以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可

2、直接引用(Direct References):直接引用是可以直接指向目标的指针、相对偏移量或者是一个能间接定位到目标的句柄

符号引用与虚拟机实现的内存布局无关,直接引用是和虚拟机实现的内存布局直接相关的,同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同。

如果有了直接引用,那引用的目标必定已经在虚拟机的内存中存在。

解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符这7类符号引用进行

类初始化阶段

初始化阶段会执行<clinit>,这个方法是由编译器按代码书写顺序收集并合并类中所有的静态变量,静态代码块生成的,构造器的执行顺序也是严格按照类中静态方法与静态代码的编写顺序,主要是完成静态属性的赋值与静态方法的执行,在子类初始化前要保证该子类的父类已经被初始化

触发类加载的时机

类的主动使用与类的被动使用都会出发类加载,但只有类的主动使用才会触发类的初始化,类的被动使用不会触发类的初始化

类的主动使用

  • 创建类的实例,包括通过new创建、反射创建(Class.newInstance/Constructor.newInstance)、clone、反序列化
  • 反射调用,使用Java反射API加载类,例如(如Class.forName)来反射类的方法或字段时
  • 被指定在Java虚拟机启动过程中加载,例如带main方法的类
  • 调用类的静态变量或者调用类的静态方法,需要注意,如果调用的是类的静态常量(如static final String xxx),则是属于被动使用
  • 继承:当初始化一个类的时候,如果它有父类还未被加载和初始化,那么父类也会被加载并被初始化

类的被动使用

  • 调用类的静态常量:如static final String xxx
  • 定义类的引用数组
  • 使用子类引用父类的静态字段: 父类会被初始化,子类会被加载但不会被初始化。
  • 通过类字面常量获取Class对象引用:例如MyClass.class这样的引用不会触发类的初始化
  • 通过类加载器加载类:调用ClassLoader的loadClass方法, 类会被加载但不会被初始化

练习题

在ExtendList类加载的过程中,Student类会被加载吗

public class ExtendList {
    private static Student student;
    private Long id;
    private String extendListKey;
    private String extendListValue;
    private Long creatorUcId;

    public static void main(String[] args) {
        System.out.println("ExtendList loaded");
    }
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值