JVM类的生命周期

类的生命周期概述

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

类的生命周期

• 运行时常量池
• 类加载器的作用
• 多态的原理
• 类的加密和解密

主要分成五个阶段：加载(Loading)>连接(Linking)>初始化(Initialization)>使用(Using)>卸载(Unloading)        注：有时把连接细分为：验证>准备>解析 三个阶段。

加载阶段

1、加载阶段第一步是类加载器根据类的全限定名(包名+类名)通过不同的渠道以二进制流的方式获取字节码信息。

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

3、生成一个InstanceKlass对象，保存类的所有信息，里边还包含实现特定功能如多态的信息。

4、Java虚拟机还会在堆中生成一份与方法区中数据类似的java.lang.Class对象。

作用是在Java代码中去获取类的信息以及存储静态字段的数据（JDK8及之后）。

通过反射拿到类的信息。在类的加载阶段被创建出来。包含字段、方法等信息。

堆和方法区中的对象通过引用彼此关联(可以通过InstanceKlass对象找到堆的对象反之亦可)。

JDK8之后静态字段的数据存放在堆区class中。

为什么要在方法区和堆区都创建对象？

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

1、InstanceKlass是由C++编写的对象，Java一般不能直接操作C++语言编写的对象，所以Java虚拟机就在堆上创建一个java.lang.Class这种用Java语言包装之后的对象，可以在代码中获取到。

2、java.lang.Class中的字段要少于InstanceKlass中的字段，InstanceKlass中的数据不都需要使用，如虚方法表

查看内存中的对象

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

启动命令：java -cp sa-jdi.jar sun.jvm.hotspot.HSDB

启动后的界面。                                        file下第一个选项去连接指定进程，输入进程号。

命令行中输入jps命令查看全部进程

对象查看器

查找对象，双击进入内部

连接阶段

• 验证：验证内容是否满足Java虚拟机规范。
• 准备：给静态变量赋初值。
• 解析：将常量池中的符号引用替换成指向内存的直接引用。

验证

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

主要有四部分

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

2、元信息验证，例如类必须有父类(super不能为空)。

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

4、符号引用验证，如是否访问了其他类中的private的方法等。

验证案例-版本号检测

主版本号不能高于运行环境主版本号，如果主版本号相等，副版本号也不能超过。

准备

准备阶段为静态变量(static)分配内存并设置初始值。

在加载这个类过程中，在堆上创建一个Student对象，为变量分配一个内存区域，并赋初始值为0。

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

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

解析

• 解析阶段主要是将常量池中的符号引用替换为直接引用。
• 符号引用就是在字节码文件中使用编号来访问常量池中的内容。

初始化阶段

• 初始化阶段会执行静态代码块中的代码，并为静态变量赋值。
• 初始化阶段会执行字节码文件中clinit部分的字节码指令。

如果将顺序颠倒，会发生什么？

在连接阶段先给value赋初值为0，然后先执行value=2，在执行value=1，最终值为1。

clinit方法中的执行顺序与Java中编写的顺序是一致的。

导致类的初始化方式

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

2、调用Class.forName(String className)。

3、new一个该类的对象时。

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

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

clinit指令在特定情况下不会出现。

• 无静态代码块且无静态变量赋值语句。
• 有静态变量的声明，但是没有赋值语句。
• 静态变量的定义使用final关键字，这类变量会在准备阶段直接进行初始化。

1、直接访问父类的静态变量，不会触发子类的初始化。

2、子类的初始化clinit调用之前，会先调用父类的clinit初始化方法。

如果把new B02去掉，访问父类的静态变量，只初始化父类。

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

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