JVM之【类的生命周期】

首先，请区分Bean的声明周期和类的声明周期。此处讲的是类的声明周期
可以同步观看另一篇文章JVM之【类加载机制】

概述

在Java中数据类型分为基本数据类型和引用数据类型
基本数据类型由虚拟机预先定义，引用数据类型则需要进行类的加载
按照]ava虚拟机规范，从class文件到加载到内存中的类，到类卸载出内存为止，它的整个生命周期包括如下7个阶段：其中，验证、准备、解析 3个部分统称为链接（Linking）。

在这里插入图片描述

从程序中类的使用过程看:

在这里插入图片描述

1、加载（Loading）

需要注意的是：类型元数据、类模板对象、Java类模型，指的是同一个概念

（1）加载的理解

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

(2）二进制流的获取方式

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

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

在获取到类的二进制信息后，Java虚拟机就会处理这些数据，并最终转为一个Java.Lang.Class的实例。

如果输入数据不是ClassFile的结构，则会抛出ClassFormatError。

（3）加载完成的操作

加载阶段，简言之，查找并加载类的二进制数据，生成Class的实例。在加载类时，Java虚拟机必须完成以下3件事情：
- 通过类的全名，获取类的二进制数据流。
- 解析类的二进制数据流为方法区内的数据结构(类模板对象)
- 在堆中创建Java.Lang.Class类的实例，表示该类型。作为方法区这个类的各种数据的访问入口

（4）类模型和Class类的位置

这里其实就是：类模型/类模板/类元数据，和Class类的区别

类模型的位置

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

Class实例的位置

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

外部可以通过访问代表Order类的Class对象来获取Prder的类数据结构

在这里插入图片描述

（5）再说明

Class类的构造方法是私有的，只有JVM能够创建，
Java.Lang.Class实例是访问类型元数据的接口，也是实现反射的关键数据、入口。通过class类提供的接口，可以获得目标类所关联的.class文件中具体的数据结构:方法、字段等信息。

2、链接（Linking）

验证、准备、解析 3个部分统称为链接（Linking）。

（1）验证（Verification）

当类加载到系统后，就开始链接操作，验证是链接操作的第一步。
它的目的是保证加载的字节码是合法、合理并符合规范的。

验证的步骤比较复杂，实际要验证的项目也很繁多，大体上Java虚拟机需要做以下检查，如图所示。
在这里插入图片描述

整体说明:

验证的内容则涵盖了类数据信息的格式验证、语义检査、字节码验证，以及符号引用验证等。
其中格式验证会和加载阶段一起执行。验证通过之后，类加载器才会成功将类的二进制数据信息加载到方法区中。
格式验证之外的验证操作将会在方法区中进行。
链接阶段的验证虽然拖慢了加载速度，但是它避免了在字节码运行时还需要进行各种检査。(磨刀不误砍柴工)

具体说明:

1、格式验证：
- 是否以魔数 OxCAFEBABE开头，主版本和副版本号是否在当前Java虚拟机的支持范围内，数据中每一个项是否都拥有正确的长度等。
2、Java虚拟机会进行字节码的语义检查，但凡在语义上不符合规范的，虚拟机也不会给予验证通过：
- 是否所有的类都有父类的存在(在]ava里，除了object外，其他类都应该有父类)
- 是否一些被定义为final的方法或者类被重写或继承了
- 非抽象类是否实现了所有抽象方法或者接口方法
- 是否存在不兼容的方法(比如方法的签名除了返回值不同，其他都一样，这种方法会让虚拟机无从下手调度;abstract情况下的方法，就不能是final的了)
3、Java虚拟机还会进行字节码验证，字节码验证也是验证过程中最为复杂的一个过程。它试图通过对字节码流的分析，判断字节码是否可以被正确地执行：
- 在字节码的执行过程中，是否会跳转到一条不存在的指令
- 函数的调用是否传递了正确类型的
- 参数变量的赋值是不是给了正确的数据类型等

栈映射帧(StackMapTable)就是在这个阶段，用于检测在特定的字节码处，其局部变量表和操作数栈是否有着正确的数据类型。

但遗憾的是，100%准确地判断一段字节码是否可以被安全执行是无法实现的，因此，该过程只是尽可能地检査出可以预知的明显的问题。

如果在这个阶段无法通过检查，虚拟机也不会正确装载这个类。

但是，如果通过了这个阶段的检查，也不能说明这个类是完全没有问题的。

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

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

（2）准备（Preparation）

简言之，为类的静态变量分配内存，并将其初始化为默认值。

是静态变量！！！！

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

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

注意:

这里不包含基本数据类型的字段用static final修饰的情况，因为final在编译的时候就会分配了，准备阶段会显式赋值。（这里详情可见Class字节码章节，其中常量池中讲到，常量池中主要有两类，一类是字面量，一类是符号引用。而字面量有两类：一类是字符串，另一类就是被final所修饰的常量。）
注意这里不会为实例变量分配初始化，类变量（static）会分配在方法区中，而实例变量是会随着对象一起分配到Java堆中（new的事后）。
在这个阶段并不会像初始化阶段中那样会有初始化或者代码被执行。

对上面中的第1点分析：
注意:以下前3点的前提都是字段已经完成显示赋值(定义的后面已经赋了值，就是static int a= 1;有=号进行赋值)的前提下进行的

非final修饰的静态变量会在准备阶段赋初始值，然后在初始化中的方法中显示赋值

静态常量(基本数据类型、String类型字面量(String str = “XXXX”; 这种情况))，在编译阶段会初始化赋值，然后在准备阶段就会显示赋值

引用数据类型的静态常量，尤其是String str = new String(“XX”)这种形式，都是在初始化中的中进行显示赋值的。注意和2中的String字面量区分，这里是通过new得到的，而不是直接字面量赋值。

如果在static静态代码块中具有显示赋值操作，那肯定就是在初始化中的方法中显示赋值。

（3）解析（Resolution）

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

如何理解符号引用和直接引用（个人经验，不保真）：
符号引用：就好比是一个菜谱中写着的食材名称如大米（字段），或者烹饪机器如电饭锅（方法）。在食谱中，不需要知道任何额外信息，只需要知道，这里会用到一个叫大米/电饭锅的东西。无所谓在哪能拿到它，也无所谓电饭锅有什么用。

直接引用：就好比是烹饪的过程，要把食谱中的大米二字，这一个指代性名词变成实实在在的物品。这里可以理解为一个指针，即，告诉你大米在哪，你可以去那里直接获取。同时，还需要把电饭锅这一指代性名词变成实实在在的物品，也是一个指针，你去那里，那里有电饭锅，直接用就行。

1）具体描述:

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

举例：

// 输出操作
System.out.println();
// 对应的字节码:
invokevirtual #24 <java/io/PrintStream.println>

在这里插入图片描述

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

3、初始化

简言之，为类的静态变量赋予正确的初始值。

（1）具体描述

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

初始化阶段的重要工作是执行类的初始化方法：<clinit>()方法

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

（2）说明

在加载一个类之前，虚拟机总是会试图加载该类的父类，因此父类的<clinit>()总是在子类<clinit>()之前被调用也就是说，父类的static块优先级高于子类。
Java编译器并不会为所有的类都产生<clinit>()初始化方法。哪些类在编译为字节码后，字节码文件中将不会包含<clinit>()方法?
- （1）一个类中并没有声明任何的类变量，也没有静态代码块时
- （2）一个类中声明类变量，但是没有明确使用类变量的初始化语句以及静态代码块来执行初始化操作时
- （3）一个类中包含static final修饰的基本数据类型的字段，这些类字段初始化语句采用编译时常量表达式

// 不会包含<clinit>()方法的三种情况
// 1、
public int a = 1;
// 2、
public static int a;
//3、
public static final int a = 1;

（3）多线程环境的初始化方法

对于<clinit>()方法的调用，也就是类的初始化，虚拟机会在内部确保其多线程环境中的安全性。
虚拟机会保证一个类的<clinit>()方法在多线程环境中被正确地加锁、同步，如果多个线程同时去初始化一个类，那么只会有一个线程去执行这个类的<clinit>()方法，其他线程都需要阻塞等待，直到活动线程执行<clinit>()方法完毕。
正是因为函数<c1init>()带锁线程安全的，因此，如果在一个类的<clinit>()方法中有耗时很长的操作，就可能造成多个线程阻塞，引发死锁。并且这种死锁是很难发现的，因为看起来它们并没有可用的锁信息。
如果之前的线程成功加载了类，则等在队列中的线程就没有机会再执行<clinit>()方法了。那么，当需要使用这个类时虚拟机会直接返回给它已经准备好的信息。

（4）类初始化的主动使用与被动使用

1）主动使用

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

当创建一个类的实例时，比如使用new关键字，或者通过反射、克隆、反序列化。
当调用类的静态方法时，即当使用了字节码invokestatic指令。
当使用类、接口的静态字段时(fina1修饰特殊考虑)，比如，使用getstatic或者putstatic指令。(对应访问变量赋值变量操作)
当使用java.lang.reflect包中的方法反射类的方法时。比如:class.forName(“com.csdn.java.Test”)
当初始化子类时，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。
如果一个接口定义了default方法，那么直接实现或者间接实现该接口的类的初始化，该接口要在其之前被初始化。
当虚拟机启动时，用户需要指定一个要执行的主类(包含main()方法的那个类)，虚拟机会先初始化这个主类

针对5，补充说明：
- 当Java虚拟机初始化一个类时，要求它的所有父类都已经被初始化，但是这条规则并不适用于接口。
- 在初始化一个类时，并不会先初始化它所实现的接口
- 在初始化一个接口时，并不会先初始化它的父接口。因此，一个父接口并不会因为它的子接口或者实现类的初始化而初始化。只有当程序首次使用特定接口的静态字段时，才会导致该接口的初始化。
针对7，补充说明：
JVM启动的时候通过引导类加载器加载一个初始类。这个类在调用public static void main(string[])方法之前被链接和初始化。这个方法的执行将依次导致所需的类的加载，链接和初始化。

2）被动使用

除了以上的情况属于主动使用，其他的情况均属于被动使用。被动使用不会引起类的初始化。

并不是在代码中出现的类，就一定会被加载或者初始化。如果不符合主动使用的条件，类就不会初始化。

当访问一个静态字段时，只有真正声明这个字段的类才会被初始化。当通过子类引用父类的静态变量，不会导致子类初始化
通过数组定义类引用，不会触发此类的初始化
引用常量不会触发此类或接口的初始化。因为常量在链接阶段就已经被显式赋值了

4、类的使用

怎么使用？Java开发中使用。

5、类的卸载

一个已经加载的类型被卸载的几率很小，至少被卸载的时间是不确定的。因此卸载这块看两眼就行了吧？

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

在类加载器的内部实现中，用一个Java集合来存放所加载类的引用。另一方面，一个Class对象总是会引用它的类加载器，调用Class对象的getClassLoader()方法，就能获得它的类加载器。由此可见，代表某个类的Class实例与其类的加载器之间为双向关联关系。
一个类的实例总是引用代表这个类的Class对象。在Object类中定义了getClass()方法，这个方法返回代表对象所属类的Class对象的引用。此外，所有的Java类都有一个静态属性Class，它引用代表这个类的Class对象。

（2）类的生命周期

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

在这里插入图片描述