当前位置: 首页 > news >正文

JVM—类的生命周期

目录

类的生命周期

加载阶段

连接阶段

验证阶段

准备阶段

解析阶段

初始化阶段

面试题1

面试题2 


类的生命周期


类的生命周期描述了一个类加载、使用、卸载的整个过程,整体可以分为以下五个阶段。
1. 加载
2. 连接,其中又分为验证、准备、解析三个子阶段
3. 初始化
4. 使用
5. 卸载

加载阶段

一、加载阶段的第一步是类加载器通过不同的渠道,以二进制流的形式获取字节码信息,这些渠道可以通过程序员使用Java代码进行扩展,常见渠道如下。
1. 从本地磁盘上获取文件
2. 运行时通过动态代理生成,比如Spring框架
3. Applet技术通过网络获取字节码文件

二、类加载器加载类后,Java虚拟机会将字节码中的信息存储到方法区,并在方法区中生成一个 InstanceKlass 对象。这个对象保存了类的所有信息,包括实现多态等特定功能的信息。

三、Java虚拟机同时会在堆上生成与方法区中数据相似的 java.lang.Class 对象,其作用是在Java代码中获取类的信息并存储静态字段的数据(适用于JDK8及之后版本)。

堆中的对象仅包含方法区对象的部分信息。对开发者而言,只需访问堆中的 Class 对象,而无需接触方法区中的所有信息。这样,Java虚拟机可以有效控制开发者对数据的访问范围。


连接阶段

验证阶段

验证阶段的主要目的是检测Java字节码文件是否符合《Java虚拟机规范》的约束。该阶段通常无需程序员参与,主要包括以下四个部分,具体细节请参见《Java虚拟机规范》:
1. 文件格式验证:检查文件是否以0xCAFEBABE开头,以及主次版本号是否符合当前Java虚拟机版本的要求;
2. 元信息验证:确保类具有父类(即super不能为null);
3. 指令语义验证:检查程序执行指令的正确性,例如方法内指令是否跳转到合法的位置;
4. 符号引用验证:确认是否尝试访问其他类中的private方法等。

准备阶段

准备阶段负责为静态变量(static)分配内存并设置初始值。在这一阶段,每种基本数据类型和引用数据类型都有其特定的默认值。而在初始化阶段,静态变量的值才会被更新为代码中指定的值。需要注意的是,对于被 final 修饰的基本数据类型静态变量,准备阶段会直接将其赋予代码中指定的值。这一阶段的重要性在于,它确保所有静态变量在类加载时都有一个一致的状态,为后续的初始化提供基础。

解析阶段

解析阶段的主要任务是将常量池中的符号引用替换为直接引用。在字节码文件中,符号引用通过编号访问常量池的内容,而直接引用则使用内存地址进行访问。这一转换提高了访问效率,减少了查找开销,使得Java虚拟机能够更快速地定位和使用数据。


初始化阶段

初始化阶段会执行字节码文件中clinit(class init 类的初始化)方法的字节码指令,包含了静态代码块中的代码,并为静态变量赋值。

public class Demo1 {public static int value = 1;static {value = 2;}public static void main(String[] args) {}
}

以上代码编译成字节码文件之后,会生成以下三个方法:
1、init方法:会在对象初始化时执行
2、main方法:主方法
3、clinit方法:类的初始化阶段执行

接下来分析clinit方法中的字节码指令

1、iconst_1,将常量1放入操作数栈。此时栈中只有1这个数;
2、putstatic指令会将操作数栈上的数弹出来,并放入堆中静态变量的位置,字节码指令中#2指向了常量池中的静态变量value,在解析阶段会被替换成变量的地址;
3、前面两步操作相当于执行value=1;后面两步操作同理,执行value=2,将堆上的value赋值为2。

public class Demo1 {static {value = 2;}public static int value = 1;public static void main(String[] args) {}
}/*  原代码顺序public static int value = 1;static {value = 2;}
*/

如果将代码的位置互换,字节码指令的位置也会发生变化,如下图。 这样初始化结束之后,最终value的值就变成了1而不是2。


引起clinit执行的几种情况
1. 访问类的静态变量或静态方法;
注意:如果变量被 final 修饰且等号右侧的值是常量,则不会触发初始化。
2. 调用 Class.forName(String className) 时;
3. 创建该类的对象(使用 new 关键字);
4. 执行该类的 main 方法时。
Tip:添加-XX:+TraceClassLoading 参数可以打印出加载并初始化的类

clinit不会执行的几种情况
1.无静态代码块且无静态变量赋值语句;
2.有静态变量的声明,但是没有赋值语句;(如:public static int a;)
3.静态变量的定义使用final关键字,这类变量会在准备阶段直接进行初始化;
(如:public final static int a= 10;)
4.数组的创建不会导致数组中元素的类进行初始化。


面试题1

public class Test1 {public static void main(String[] args) {System.out.println("A");new Test1();new Test1();}public Test1(){System.out.println("B");}{System.out.println("C");}static {System.out.println("D");}
}

以上代码的输出结果是什么?
1、执行main方法之前,会先执行该类的clinit方法。clinit方法中执行了静态代码块中的方法,因此输出D;
2、之后走main方法,输出A;
3、随后创建两个对象,原则上会执行两次对象初始化的指令,但该对象在第一步时已经被加载并初始化,所以此处不再加载与初始化,而是走构造方法;
4、构造代码块优先于构造方法执行,因此先输出C,再输出B;创建两个对象,因此输出CBCB;
5、所以代码输出的结果为DACBCB


面试题2

public class Demo01 {public static void main(String[] args) {new B02();System.out.println(B02.a);}
}class A02{static int a = 0;static {a = 1;}
}class B02 extends A02{static {a = 2;}
}

以上代码的输出结果是什么?
1、调用new创建对象,需要初始化B02,有父类的情况优先初始化父类;
2、执行A02的初始化代码,最终将a赋值为1;
3、父类初始完成,进行本类B02初始化,将a赋值为2;
4、最终输出2。

变形
如果将new B02();注释掉会怎么样?
分析步骤:
1、访问父类的静态变量,只初始化父类,不初始本类;
2、执行A02的初始化代码,将a赋值为1;
3、最终输出1。

总结
1、直接访问父类的静态变量,不会触发子类的初始化。
2、子类的初始化clinit调用之前,会先调用父类的clinit初始化方法

http://www.lryc.cn/news/468289.html

相关文章:

  • SELinux中的安全标记与强制访问控制
  • EasyExcel_动态表头的导入导出
  • uni-app简单模拟人脸识别
  • 华为HCIE-OpenEuler认证详解
  • 从零开始的Go语言之旅(2 Go by Example: Values)
  • XShell 中实现免密登录 Linux 服务器的详细流程
  • 跨界创新|使用自定义YOLOv11和Ollama(Llama 3)增强OCR文本识别
  • 一些关于 WinCC Comfort 和 WinCC Advanced 脚本编程语言 VBS 的实用技巧
  • Java|乐观锁和悲观锁在自旋的时候分别有什么表现?
  • Linux定时器定时任务清理log日志文件
  • 美国大学生数学建模竞赛(MCM/ICM)介绍
  • 【独家:AI编程助手Cursor如何revolutionize Java设计模式学习】
  • 数据仓库宽表概述
  • 在数据库中编程 vs 在应用程序中编程
  • 【设计模式系列】装饰器模式
  • 你真的知道TCP协议中的序列号确认、上层协议及记录标识问题吗?
  • 一家生物技术企业终止,科创属性可能不足,报告期内专利数猛增
  • 使用 Python 的 BeautifulSoup(bs4)解析复杂 HTML
  • Spring Cache Caffeine 高性能缓存库
  • Python3入门--数据类型
  • 开发运维警示录-20241024
  • Linux运维_搭建smb服务
  • vue3移动端可同时上传照片和视频的组件
  • PyQt入门指南二十七 QTableView表格视图组件
  • AI学习指南深度学习篇-自注意力机制(Self-Attention Mechanism)
  • 【JAVA毕业设计】基于Vue和SpringBoot的校园管理系统
  • 你对MySQL的having关键字了解多少?
  • 【STM32编码器】【STM32】
  • Python轴承故障诊断 (13)基于故障信号特征提取的超强机器学习识别模型
  • VScode分文件编写C++报错 | 如何进行VScode分文件编写C++ | 不懂也能轻松解决版