转载自https://github.com/Snailclimb/JavaGuide(添加小部分笔记)感谢作者!
类的声明周期 #
类加载过程 #
- Class文件,需要加载到虚拟机中之后才能运行和使用,那么虚拟机是如何加载这些Class文件呢
- 系统加载Class类文件需要三步:加载->连接->初始化。连接过程又分为三步:验证->准备->解析
加载 #
类加载的第一步,主要完成3件事情
构造与类相关联的方法表
- 通过全类名获取定义此类的二进制字节流
- 将字节流所代表的静态存储结构,转换为方法区的运行时数据结构
- 在内存中生成一个该类的Class对象,作为方法区这些数据的访问入口
虚拟机规范对上面3点不具体,比较灵活
- 对于1 没有具体指明从哪里获取、怎样获取。可以从ZIP包读取 (JAR/EAR/WAR格式的基础)、其他文件生成(JSP)等
- 非数组类的加载阶段(加载阶段获取类的二进制字节流的动作)是可控性最强的阶段,这一步我们可以去完成还可以自定义类加载器去控制字节流的获取方式(重写一个类加载器的**loadClass()**方法
- 数组类型不通过类加载器创建,它由Java虚拟机直接创建
加载阶段和连接阶段的部分内容是交叉执行的,即加载阶段尚未结束,连接阶段就可能已经开始了
验证 #
验证是连接阶段的第一步,这一阶段的目的是确保 Class 文件的字节流中包含的信息符合《Java 虚拟机规范》的全部约束要求,保证这些信息被当作代码运行后不会危害虚拟机自身的安全。
验证阶段主要由四个检验阶段组成:
- 文件格式验证(Class 文件格式检查)
- 元数据验证(字节码语义检查)
- 字节码验证(程序语义检查)
- 符号引用验证(类的正确性检查)
准备 #
准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些内存都将在方法区中分配,注意:
这时候进行内存分配的仅包括类变量(ClassVariables,即静态变量:被
static
关键字修饰的变量,只与类相关,因此被称为类变量),而不包括实例变量。实例变量会在对象实例化时,随着对象一块分配到Java堆中
从概念上讲,类变量所使用的内存都应当在 方法区 中进行分配。不过有一点需要注意的是:JDK 7 之前,HotSpot 使用永久代来实现方法区的时候,实现是完全符合这种逻辑概念的。 而在 JDK 7 及之后,HotSpot 已经把原本放在永久代的字符串常量池、静态变量等移动到堆中,这个时候类变量则会随着 **Class 对象(上面有提到,内存区生成Class对象)**一起存放在 Java 堆中
这里所设置的初始值**“通常情况”下是数据类型默认的零值(如 0、0L、null、false 等**),比如我们定义了**
public static int value=111
** ,那么 value 变量在准备阶段的初始值就是 0 而不是 111(初始化阶段才会赋值)。特殊情况:比如给 value 变量加上了 final 关键字public static final int value=111
,那么准备阶段 value 的值就被赋值为 111
基本数据类型的零值
解析 #
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程
解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用限定符7类符号引用进行
符号引用就是一组符号来描述目标,可以是任何字面量。直接引用就是直接指向目标的指针、相对偏移量或一个间接定位到目标的句柄
- 程序实际运行时,只有符号引用是不够的。
- 在程序执行方法时,系统需要明确知道这个方法所在的位置
Java虚拟机为每个类都准备了一张方法表来存放类中所有的方法。当需要调用一个类的方法的时候,只要知道这个方法在方法表中的偏移量就可以直接调用该方法了(针对其他类X或者当前类的方法)
通过解析操作符号引用就可以直接转变为目标方法在类中方法表的位置,从而使得方法可以被调用。(将当前类中代码转为 上面说的类的偏移量)
对下面的内容简化一下就是,编译后的class文件中,以 [类数组] 的方式,保存了类中的方法表的位置(偏移量)(通过得到每个数组元素可以得到方法的信息)。而这里我们只能知道偏移量,但是当正式加载到方法区之后,我们就能根据偏移量,计算出具体的 [内存地址] 了。具体详情https://blog.csdn.net/luanlouis/article/details/41113695 ,这里涉及到几个概念,一个是方法表。通过
javap -v xxx
查看反编译的信息(class文件的信息)class文件是这样的结构,里面有个方法表的概念
如下,可能会有好几个方法,所以方法表,其实是一个类数组结构,而每个方法信息(method_info)呢,
进一步,对于每个method_info结构体的定义
方法表的结构体由:访问标志(*access_flags*)、名称索引(*name_index*)、描述索引(*descriptor_index*)、属性表(*attribute_info*)集合组成。而对于属性表,(其中:属性表集合–用来记录方法的机器指令和抛出异常等信息)
Java之所以能够运行,就是从Code属性中,取出的机器码
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程,也就是得到类或者字段、方法在内存中的指针或者偏移量。(因为此时那些class文件已经早就加载到方法区之中了,所以可以改成指向方法区的某个内存地址
如下,我的理解是,把下面的 com/test/Student.a ()V 修改成了直接的内存地址 类似的意思
初始化 #
初始化阶段,是执行初始化方法clinit()方法的过程,是类加载的最后一步,这一步JVM才开始真正执行类中定义的Java程序代码(字节码)
clinit()方法是编译之后自动生成的
对于
clinit ()
方法的调用,虚拟机会自己确保其在多线程环境中的安全性。因为clinit ()
方法是带锁线程安全,所以在多线程环境下进行类初始化的话可能会引起多个线程阻塞,并且这种阻塞很难被发现。对于初始化阶段,虚拟机严格规范了有且只有 5 种情况下,必须对类进行初始化(只有主动去使用类才会初始化类):
当遇到
new
、getstatic
、putstatic
或invokestatic
这 4 条直接码指令时,比如new
一个类,读取一个静态字段(未被 final 修饰)、或调用一个类的静态方法时。- 当 jvm 执行
new
指令时会初始化类。即当程序创建一个类的实例对象。 - 当 jvm 执行
getstatic
指令时会初始化类。即程序访问类的静态变量(不是静态常量,常量会被加载到运行时常量池)。 - 当 jvm 执行
putstatic
指令时会初始化类。即程序给类的静态变量赋值。 - 当 jvm 执行
invokestatic
指令时会初始化类。即程序调用类的静态方法。
- 当 jvm 执行
使用
java.lang.reflect
包的方法对类进行反射调用时如Class.forname("...")
,newInstance()
等等。如果类没初始化,需要触发其初始化。初始化一个类,如果其父类还未初始化,则先触发该父类的初始化。
当虚拟机启动时,用户需要定义一个要执行的主类 (包含
main
方法的那个类),虚拟机会先初始化这个类。MethodHandle
和VarHandle
可以看作是轻量级的反射调用机制,而要想使用这 2 个调用, 就必须先使用findStaticVarHandle
来初始化要调用的类。「补充,来自 issue745open in new window」 当一个接口中定义了 JDK8 新加入的默认方法(被 default 关键字修饰的接口方法)时,如果有这个接口的实现类发生了初始化,那该接口要在其之前被初始化。
卸载 #
卸载类即该类的 Class 对象被 GC。
卸载类需要满足 3 个要求:
- 该类的所有的实例对象都已被 GC,也就是说堆不存在该类的实例对象。
- 该类没有在其他任何地方被引用
- 该类的类加载器的实例已被 GC
JVM的生命周期内,由jvm自带的类加载器的类是不会被卸载的,而由我们自定义的类加载器加载的类是可能被卸载的
只要想通一点就好了,jdk 自带的
BootstrapClassLoader
,ExtClassLoader
,AppClassLoader
负责加载 jdk 提供的类,所以它们(类加载器的实例)肯定不会被回收。而我们自定义的类加载器的实例是可以被回收的,所以使用我们自定义加载器加载的类是可以被卸载掉的。