JVM基础:类的生命周期详解

JDK版本:jdk8
IDEA版本:IntelliJ IDEA 2022.1.3


文章目录

  • 一. 生命周期概述
  • 二. 加载阶段(Loading)
    • 2.1 加载步骤
    • 2.2 查看内存中的对象
  • 三. 连接阶段(Linking)
    • 3.1 连接之验证
    • 3.2 连接之准备
    • 3.3 连接阶段之解析
  • 四. 初始化阶段(Initialization)
    • 4.1 单个类的初始化
    • 4.2 子类继承父类的初始化
  • 参考资料


在这里插入图片描述


一. 生命周期概述

👉概述

类的生命周期描述了一个类加载、使用、卸载的整个过程

在这里插入图片描述


二. 加载阶段(Loading)

2.1 加载步骤

1、类加载器根据类的全限定名通过不同的渠道以二进制流的方式获取字节码信息

👉有如下渠道

  • 本地文件:磁盘上的字节码文件
  • 动态代理生成:程序运行时使用动态代理生成
  • 通过网络传输的类:早期的Applet技术使用

2、类加载器在加载完类之后,Jva虚拟机会将字节码中的信息保存到方法区中

3、类加载器在加载完类之后,Jva虚拟机会将字节码中的信息保存到内存的方法区[虚概念]中生成一个InstanceKlass对象,保存类的所有信息,里边还包含实现特定功能比如多态的信息

在这里插入图片描述

4、同时,Java虚拟机还会在堆中生成一份与方法区中数据类似的java.lang.Class对象,它的作用是在Java代码中去获取类的信息以及存储静态字段的数据(JDK8及之后)

❗️注意:堆区中保存静态字段的数据

在这里插入图片描述

❗️注意

方法区中的InstanceKlass对象与堆中的java.lang.Class对象相互关联,你既可以通过InstanceKlass对象找到对应的java.lang.Class对象,也可以通过java.lang.Class对象找到关联的InstanceKlass对象

在这里插入图片描述

示例代码如下

Class<Person> aClass = Person.class;
//获取定义的方法信息
Method[] methods = aClass.getMethods();
//获取定义的字段信息
Field[] fields = aClass.getFields();

✔️分析如下

上述Java代码通过Person.class【反射】获取了Person类的Class对象【Java.lang.Class】,然后通过该对象分别获取了该类中定义的方法信息和字段信息。

  • aClass.getMethods()返回Person类中所有公共方法(包括继承自父类的方法)的数组,包括公共、保护、默认和私有方法,但不包括构造方法。
  • aClass.getFields()返回Person类中所有公共字段(包括继承自父类的字段)的数组,包括公共、保护、默认和私有字段。

🤔疑问

①为什么JVM需要在方法区和堆区中各创建一个对象?如果不要堆里的对象,而只留方法区中的对象,使用反射时只去获取方法区中的对象,这样不是能节省一定的内存空间吗?

👉原因

  • 方法区中的InstanceKlass对象是使用C++语言编写的对象,而Java语言一般不能操纵使用C++语言编写的对象,所以JVM 会在堆区中创建一个使用Java编写的Java.lang.Object对象,这样可以在Java代码中获取这个对象
  • 堆中的Java.lang.Object对象中的字段信息要少于方法区中的InstanceKlass对象,而InstanceKlass对象中的所有信息对开发者来说并不是所有都需要的,比如InstanceKlass对象中的虚方法表,这个虚方法表是JVM在底层实现多态时而去使用,对开发者而言,完全不需要去使用它,因此基于控制开发者访问部分数据的范围,实现提升数据的安全性

所以,对于开发者来说,只需要访问堆中的Class对象而不需要访问方法区中所有信息。这样Java虚拟机就能很好地控制开发者访问数据的范围

你怎么知道静态字段的数据是保存在堆区?或者说你怎么查看内存中的对象信息?且看如下阐述

2.2 查看内存中的对象

案例

查看测试代码的内村信息(这里以jdk8为例)

import java.io.IOException;public class PersonDemo {public static final int i = 1;public static void main(String[] args) throws IOException {PersonDemo personDemo = new PersonDemo();System.in.read();}
}

推荐使用 JDK自带的hsdb工具查看Java虚拟机内存信息,工具位于JDK安装目录下lib文件夹中的sa-jdi.jar中

👉步骤

①打开jdk8所在的安装目录下lib文件夹下,输入cmd回车打开命令窗口

在这里插入图片描述

②输入命令:java -cp sa-jdi.jar sun.jvm.hotspot.HSDB

在这里插入图片描述

③再打开一个cmd命令窗口,运行命令:jps,以获取当前要查看的Java程序的进程ID

在这里插入图片描述

④ File -> Attach to HotSpot process -> 输入你要查看的Java程序的进程ID -> OK

在这里插入图片描述
在这里插入图片描述

⑤输入要查看的Java进程ID,点击OK,我们就可以看到相应的进程信息

在这里插入图片描述

⑥ Tools -> Object Histogram ,然后输入类的全类名找到指定的对象信息

在这里插入图片描述
在这里插入图片描述

⑦按如下步骤查看对象的内存信息

在这里插入图片描述

在这里插入图片描述

👉总结

类在加载阶段中分别在方法区和堆区各创建了一个对象,且静态变量存放在堆区中


三. 连接阶段(Linking)

3.1 连接之验证

它是连接(Linking)阶段的第一个环节,主要目的是检测Java字节码文件是否遵守了《Java虚拟机规范》中的约束。这个阶段一般不需要程序员参与。

👉主要包含如下四部分,具体详见《Java虚拟机规范》:

1.文件格式验证,比如文件是否以0xCAFEBABE开头,主次版本号是否满足当前Java虚拟机版本要求

在这里插入图片描述

案例

修改文件头的CA改为AA,重新编译Java代码运行测试

在这里插入图片描述

运行如下

在这里插入图片描述

2.元信息验证,例如类必须有父类(superz不能为空)

在这里插入图片描述

3.验证程序执行指令的语义,比如方法内的指令执行中跳转到不正确的位置

在这里插入图片描述

4.符号引用验证,例如是否访问了其他类中privatel的方法等

3.2 连接之准备

👉目的

为静态变量(static)分配内存并设置初始值(jdk8 及之后的版本)

在这里插入图片描述

👉注意

  • 准备阶段只会给静态变量赋初始值,而每一种基本数据类型和引用数据类型都有其初始值。

在这里插入图片描述

  • final修饰的基本数据类型的静态变量,准备阶段直接会将代码中的值进行赋值

3.3 连接阶段之解析

👉目的

主要是将常量池中的符号引用替换为直接引用

在这里插入图片描述

而直接引用不再使用编号,而是使用内存中地址进行访问具体的数据,使用效率会更高

在这里插入图片描述


四. 初始化阶段(Initialization)

👉目的

初始化阶段会执行静态代码块中的代码,并为静态变量赋值。执行流程与代码流程一致

✔️Trips

初始化阶段会执行字节码文件中clinit部分[类的初始化]的字节码指令

4.1 单个类的初始化

案例

分析下面的代码中静态变量赋值过程

示例代码①

public class PersonDemo {public static  int i = 1;static {i = 2;}public static void main(String[] args) throws IOException {}
}

字节码指令如下

在这里插入图片描述

解读如下

0: iconst_1        // 将整数值1压入操作数栈顶
1: putstatic #7    // 将操作数栈顶的值(1)存入常量池索引为7的静态字段4: iconst_2        // 将整数值2压入操作数栈顶
5: putstatic #7    // 将操作数栈顶的值(2)存入常量池索引为7的静态字段8: return          // 结束当前方法(此处为静态初始化块)

👉结合常量池信息(由#7 <com/fc/pojo/PersonDemo.i : I>给出),可以得知:

  • 常量池索引为7的项指向com.fc.pojo.PersonDemo类中的静态字段i,类型为int(I表示整型)

代码示例②


public class PersonDemo {static {i = 2;}public static  int i = 1;public static void main(String[] args) throws IOException {}
}

字节码指令如下

在这里插入图片描述


解读如下

0: iconst_2        // 将整数值2压入操作数栈顶
1: putstatic #7    // 将操作数栈顶的值(2)存入常量池索引为7的静态字段4: iconst_1        // 将整数值2压入操作数栈顶
5: putstatic #7    // 将操作数栈顶的值(1)存入常量池索引为7的静态字段8: return          // 结束当前方法(此处为静态初始化块)

clinit方法中的执行顺序与]ava中编写的顺序是一致的

👉⭐️以下几种方式会导致类的初始化

1.访问一个类的静态变量或者静态方法,注意变量是finl修饰的并且等号右边是常量不会触发初始化。

2.调用Class.forName(String className)

3.new一个该类的对象时

4.执行Main方法的当前类。

✔️Trips

添加-XX:+TraceClassLoading 参数可以打印出加载并初始化的类

👉使用步骤

①按照如下步骤添加参数

在这里插入图片描述

在这里插入图片描述

② 再次运行程序,就会打印类的加载信息

在这里插入图片描述


⚠️ 笔试例题

下例代码的输出结果是什么?

代码示例如下:

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

在这里插入图片描述



在这里插入图片描述


👉clinit指令在特定情况下不会出现,比如:如下几种情况是不会进行初始化指令执行的

  • 无静态代码块且无静态变量赋值语句

  • 有静态变量的声明,但是没有赋值语句

    • public static  int i;
      
    • 在这里插入图片描述
  • 静态变量的定义使用final关键字,这类变量会在准备阶段直接进行初始化

    • public static final int i = 1;
      
    • 在这里插入图片描述

4.2 子类继承父类的初始化

👉

  • 直接访问父类的静态变量,不会触发子类的初始化
  • 子类的初始化cliniti调用之前,会先调用父类的clinit初始化方法

⚠️ 笔试例题

下面代码的输出结果是什么?

public class test03 {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;}
}

在这里插入图片描述


🤔思考

①以下代码的运行结果是什么?

public class test3 {public static void main(String[] args){test03_A[] a = new test03_A[5];}
}class test03_A {static {System.out.println("test03_A的静态代码块执行");}
}

运行如下

在这里插入图片描述

✔️分析如下

数组的创建本身确实不会导致数组中元素的类进行初始化。这里的“类初始化”指的是Java类加载机制中的类初始化阶段(Class Initialization),在这个阶段会执行类的静态初始化块(static initialization blocks)以及初始化所有的静态字段。数组的创建过程与类初始化是两个不同的概念,其区别在于:

  • 数组创建: 创建数组时,JVM会为数组分配一块连续的内存空间来存放数组元素。对于基本类型数组(如int[]、double[]等),数组元素会被自动赋予该类型的默认值(如int数组元素默认为0)。对于引用类型数组(如String[]、MyClass[]等),数组元素则被初始化为null。这个过程仅仅是为数组分配内存和设置初始值,并不涉及数组元素所指向的具体类的初始化

  • 类初始化: 类初始化发生在类的首次主动使用时,包括:

    • 调用类的静态方法
    • 访问类的静态字段(除final常量外,因为final常量在编译期间就已经确定,无需运行时初始化)
    • 实例化类的实例
    • 使用反射调用类的方法或访问字段
    • 初始化子类时,如果父类还未初始化,则先初始化父类
    • 当满足上述条件之一时,JVM会确保类的初始化阶段被执行,包括执行静态初始化块和初始化静态字段。

回到数组创建的话题,数组只是存储元素的容器,创建数组时并未触发对数组元素的任何方法调用或字段访问,更没有实例化数组元素对应的类。因此,数组创建并不会直接导致数组元素所代表的类进行初始化。只有当后续代码中显式地访问或实例化这些数组元素时,才会触发相应的类初始化。

🌰举个例子:

MyClass[] myArray = new MyClass[10];

在这段代码中,创建了一个长度为10的MyClass对象数组。数组创建完毕后,数组中的所有元素都被初始化为null。此时,MyClass类并没有被初始化,因为没有发生上述类初始化的触发条件。只有当后续代码试图实例化其中一个数组元素,如:

myArray[0] = new MyClass();

这时才真正触发了MyClass的实例化(即类初始化),因为创建MyClass实例属于类的主动使用。

总结来说,数组的创建仅涉及内存分配和元素的默认初始化(基本类型为默认值,引用类型为null),并不引发数组元素所代表的类的初始化。类初始化是在后续代码中,当首次主动使用该类时由JVM自动触发的。

👉结论

数组的创建不会导致数组中元素的类进行初始化

②类的初始化和对象的实例化是同一个概念吗?

类的初始化和对象的实例化是Java编程中两个相关但不同的概念。它们分别对应着Java类生命周期的不同阶段。简单来说:

  • 类的初始化:
    • 发生时间:类的初始化发生在类第一次被加载到JVM(Java虚拟机)并且准备使用时。具体来说,当某个类首次被主动使用(如创建该类的实例、访问该类的静态成员、调用该类的静态方法等)或者其子类被加载时,JVM会确保该类已经被加载并完成初始化。
    • 目的:为类的静态成员设置初始状态,执行必要的静态资源准备工作
    • 主要内容:
      • 静态成员变量的初始化:按照声明顺序,为类的静态成员变量赋初值。
      • 静态初始化块(Static Initialization Block)的执行:如果类中定义了静态初始化块,这些代码将在类加载期间按其出现顺序依次执行。
      • 父类的初始化:若当前类有父类且尚未被初始化,会先递归初始化其直接父类及其祖先类。
  • 对象的实例化:
    • 发生时间:对象的实例化发生在运行时,当使用 new 关键字、反射API或者其他能够创建新对象的方式显式地创建类的一个实例时。
    • 目的:创建出一个具体的类实例,为实例变量设定初始状态,执行与对象创建相关的定制化操作
    • 主要内容:
      • 内存分配:为新对象在堆上分配足够的内存空间。
      • 实例成员变量的默认初始化:所有实例变量会被自动赋予其数据类型的默认值(如整型为0、浮点型为0.0、引用类型为 null 等)。
      • 实例初始化块(Instance Initialization Block)的执行:如果有实例初始化块,它们会在构造器调用之前按声明顺序执行。
      • 构造器调用:调用与创建对象所对应的构造器,执行构造器内的初始化代码,为实例变量赋予特定的初始值,可能还会执行其他逻辑。

综上所述,类的初始化不是对象的实例化。它们是Java类生命周期中不同阶段的两种独立行为。类初始化关注于类的静态成员及资源的初始化,是针对类本身的;而对象实例化则是针对类的具体实例,包括为其分配内存、初始化实例变量以及可能的构造器调用。类初始化通常在程序启动初期或首次使用类时一次性完成,而对象实例化则可以在程序运行过程中随时发生,每次创建新对象时都会进行实例化过程。

③以下代码的运行结果是什么?

final int a =final int a =a = Integer.valueOf(1);public class test4 {public static void main(String[] args){System.out.println(test4_A.a);}
}class test4_A {public static final int a = Integer.valueOf(1);static {System.out.println("test4_A的静态代码块执行");}
}

运行如下

在这里插入图片描述

✔️分析如下

我们知道,final修饰的基本数据类型的静态变量,在准备阶段时会直接将代码中的值进行赋值,而 int a = Integer.valueOf(1)是将Integer 对象转换为其对应的原始类型 int,赋值1给变量a,尽管变量a是通过final修饰,但在准备阶段时JVM并没有识别出变量a最终的值是基本数据类int的1,它是需要执行指令才能得出结果,也就是说你只有明白的告诉JVM,a的值就是1(final int a =1),程序才不会执行test4_A的初始化

在这里插入图片描述

结论

final修饰的变量如果赋值的内容需要执行指令才能得出结果,会执行clinit方法进行初始化


参考资料

https://www.bilibili.com/video/BV1r94y1b7eS?p=11&spm_id_from=pageDriver&vd_source=5a34715e416a427a73a3ca52397848b5

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/298875.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

ChatGPT(3.5版本)开放无需注册:算力背后的数据之战悄然打响

✨✨ 欢迎大家来访Srlua的博文&#xff08;づ&#xffe3;3&#xffe3;&#xff09;づ╭❤&#xff5e;✨✨ &#x1f31f;&#x1f31f; 欢迎各位亲爱的读者&#xff0c;感谢你们抽出宝贵的时间来阅读我的文章。 我是Srlua小谢&#xff0c;在这里我会分享我的知识和经验。&am…

Logback日志框架(超详细)

logback-classic-1.2.3.jarhttp://链接: https://pan.baidu.com/s/1cA3gVB_6DEA-cSFJN6MDGw 提取码: sn8i 复制这段内容后打开百度网盘手机App&#xff0c;操作更方便哦 logback-core-1.2.3.jarhttp://链接: https://pan.baidu.com/s/19eCsvsO72a9PTqpXvXxrgg 提取码: 5yp…

元宇宙虚拟空间的场景构造(二)

前言 该文章主要讲元宇宙虚拟空间的场景构造&#xff0c;基本核心技术点&#xff0c;不多说&#xff0c;直接引入正题。 场景的构造 使用引入的天空模块 this.sky new Sky(this); 在Sky模块里&#xff0c;有设置对其中的阳光进行不同时间段的光线处理。而天空又是怎么样的…

微软云学习环境

微软公有云 - Microsoft Azure 本文介绍通过微软学习中心Microsoft Learn来免费试用Azure上的服务&#xff0c;也不需要绑定信用卡。不过每天只有几个小时的时间。 官网 https://docs.microsoft.com/zh-cn/learn/ 实践 比如创建虚拟机&#xff0c;看到自己的账号下多了Learn的…

非关系型数据库-----------探索 Redis高可用 、持久化、性能管理

目录 一、Redis 高可用 1.1什么是高可用 1.2Redis的高可用技术 二、 Redis 持久化 2.1持久化的功能 2.2Redis 提供两种方式进行持久化 三、Redis 持久化之----------RDB 3.1触发条件 3.1.1手动触发 3.1.2自动触发 3.1.3其他自动触发机制 3.2执行流程 3.3启动时加载…

机器学习KNN最邻近分类算法

文章目录 1、KNN算法简介2、KNN算法实现2.1、调用scikit-learn库中KNN算法 3、使用scikit-learn库生成数据集3.1、自定义函数划分数据集3.2、使用scikit-learn库划分数据集 4、使用scikit-learn库对鸢尾花数据集进行分类5、什么是超参数5.1、实现寻找超参数5.2、使用scikit-lea…

下载页面上的视频

引言&#xff1a;有些页面上的视频可以直接右键另存为或者F12检索元素找到视频地址打开后保存&#xff0c;但有些视频页面是转码后的视频&#xff0c;不能直接另存为视频格式&#xff0c;可以参考下本方法 以该页面视频为例&#xff1a;加载中...点击查看详情https://wx.vzan.c…

【Node.js从基础到高级运用】二十一、使用child_process模块创建子进程

引言 在Node.js中&#xff0c;child_process模块是一个提供了创建和管理子进程的能力的核心模块。通过使用child_process模块&#xff0c;Node.js可以执行系统命令、运行其他脚本或应用程序&#xff0c;实现与Node.js进程的并行处理。 child_process模块提供了几种创建子进程的…

【C++】vector模拟实现

目录 简介&#xff1a;私有成员&#xff1a;迭代器&#xff1a; 无参构造函数&#xff1a;push_back&#xff1a;reserve&#xff1a;resize:push_back: operator[]重载&#xff1a;begin && end:size && capacity:insert&#xff1a;erase&#xff1a;带参构造…

matlab使用教程(35)—求解时滞微分方程(3)

1中立型 DDE 以下示例说明如何使用 ddensd 求解中立型 DDE&#xff08;时滞微分方程&#xff09;&#xff0c;其中时滞出现在导数项中。此问题最初由 Paul [1] 提出。方程是&#xff1a; 由于该方程在 y ′ 项中存在时滞&#xff0c;因此该方程称为中立型 DDE。如果时滞仅出现…

Python 与机器学习,在服务器使用过程中,常用的 Linux 命令包括哪些?

&#x1f349; CSDN 叶庭云&#xff1a;https://yetingyun.blog.csdn.net/ 本博客旨在分享在实际开发过程中&#xff0c;开发者需要了解并熟练运用的 Linux 操作系统常用命令。Linux 作为一种操作系统&#xff0c;与 Windows 或 MacOS 并驾齐驱&#xff0c;尤其在服务器和开发环…

使用 RisingWave、NATS JetStream 和 Superset 进行实时物联网监控

在物联网&#xff08;IoT&#xff09;背景下&#xff0c;处理实时数据会遇到一些特定的障碍&#xff0c;如边缘计算资源不足、网络条件限制、扩展性存在问题、设备间有多样性差异。要克服这些挑战&#xff0c;需要高效的边缘计算技术、强大的安全措施、标准化协议、可扩展的管理…

spring中各种bean加载顺序

具体加载顺序按照罗列的顺序 XXXAware ApplicationContextAware、EnvironmentAware、BeanFactoryAware、BeanClassLoaderAware 顾名思义&#xff0c;用于获取对应的对象&#xff0c;需要在实体类中声明对应的对象且当前类为普通类能被注入。 InitializingBean void afterProp…

【软件工程】测试规格

1. 引言 1.1简介 本次的测试用例是基于核心代码基本开发完毕&#xff0c;在第一代系统基本正常运行后编写的&#xff0c;主要目的是为了后续开发与维护的便利性。 该文档主要受众为该系统后续开发人员&#xff0c;并且在阅读此文档前最后先阅读本系统的需求文档、概要设计文…

日志、logback、logback.xml --java学习笔记

什么是日志&#xff1f; 好比生活中的日记&#xff0c;可以记录你生活中的点点滴滴程序中的日志&#xff0c;通常就是一个文件&#xff0c;里面记录的是程序运行过程中的各种信息 之前记录日志的方法都是使用输出语句&#xff1a; 这种方法其实并不适合用来记录日志&#xff…

【c++】初阶模版与STL简单介绍

&#x1f525;个人主页&#xff1a;Quitecoder &#x1f525;专栏&#xff1a;c笔记仓 朋友们大家好&#xff0c;本篇文章介绍一下模版和对STL进行简单的介绍&#xff0c;后续我们进入对STL的学习&#xff01; 目录 模版1.泛型编程2.函数模板2.1函数模板的原理2.2模版的实例化…

实验:基于Red Hat Enterprise Linux系统的创建磁盘和磁盘分区(二、三)

目录 一. 实验目的 二. 实验内容 三. 实验设计描述及实验结果 实验二&#xff1a; 1. 为nvme0n2p1设备建立配额属性和文件(EXT) 2. 要求自己名字的用户只能存储不超过200M的文件&#xff0c;总数量不能大于10个 quotacheck [选项] 文件系统 edquota quotaon [选项] 文件系…

某盾滑块拼图验证码增强版

介绍 提示&#xff1a;文章仅供交流学习&#xff0c;严禁用于非法用途&#xff0c;如有不当可联系本人删除 最近某盾新推出了&#xff0c;滑块拼图验证码&#xff0c;如下图所示&#xff0c;这篇文章介绍怎么识别滑块距离相关。 参数attrs 通过GET请求获取的参数attrs, 决…

背包问题---

一、背包模型 有一个体积为V的背包,商店有n个物品,每个物品有一个价值v和体积w,每个物品只能被拿一次,问能够装下物品的最大价值。 这里每一种物品只有两种状态即"拿"或"不拿". 设状态dp[i][j]表示到第i个物品为止,拿的物品总体积为j的情况下的最大价…

Docker:探索容器化技术,重塑云计算时代应用交付与管理

一&#xff0c;引言 在云计算时代&#xff0c;随着开发者逐步将应用迁移至云端以减轻硬件管理负担&#xff0c;软件配置与环境一致性问题日益凸显。Docker的横空出世&#xff0c;恰好为软件开发者带来了全新的解决方案&#xff0c;它革新了软件的打包、分发和管理方式&#xff…