JVM初探(一)——类的加载、连接和初始化

一、加载

类的加载就是查找并加载类的二进制数据。最常见的情况就是将一个已经存在在磁盘的 .class 文件加载到内存中。

类的加载指的是将类的 .class 文件中的二进制数据读入到内存中,将其放在运行时数据区的方法区内,然后在内存中创建一个java.lang.Class对象(JVM规范并未说明Class对象位于哪里,HotSpot虚拟机将其放在了方法区中),用来封装类在方法区内的数据结构。

类的加载的最终产品是位于堆区(HotSpot虚拟机)中的Class对象。Class对象封装了类在方法区内的数据结构,并且向Java程序员提供了访问方法区内的数据结构的接口。同时,Class对象也是Java反射机制的入口。

加载.class文件的方式
– 从本地系统中直接加载
– 通过网络下载.class文件
– 从zipjar等归档文件中加载.class文件
– 从专有数据库中提取.class文件
– 将Java源文件动态编译为.class文件 (例如动态代理;web开发中的jsp转换为servlet类,然后编译为.class文件)

类加载器并不需要等到某个类被首次主动使用”时再加载它 。

JVM规范允许类加载器在预料某个类将要被使用时就预先加载它,如果在预先加载的过程中遇到了 .class 文件缺失或存在错误,类加载器必须在程序首次主动使用该类时才报告错误(LinkageError错误)。如果这个类一直没有被程序主动使用,那么类加载器就不会报告错误 。

二、连接

类被加载后,就进入连接阶段。连接就是将已经读入到内存的类的二进制数据合并到虚拟机的运行时环境中去。连接又分为以下三个阶段

验证

确保被加载的类的正确性。类的验证主要包括以下内容:

·类文件的结构检查:确保类文件遵从Java类文件的固定格式

·语义检查:确保类本身符合Java语言的语法规定,比如验证final类型的类没有子类,以及final类型的方法没有被覆盖。

·字节码验证:确保字节码流可以被Java虚拟机安全地执行。字节码流代表Java方法(包括静态方法和实例方法),它是由被称作操作码的单字节指令组成的序列,每一个操作码后都跟着一个或多个操作数。字节码验证步骤会检查每个操作码是否合法,即是否有着合法的操作数。

·二进制兼容的验证:确保相互引用的类之间协调一致。例如在Test1类的test()方法中会调用Test2类的run()方法。Java虚拟机在验证Test1类时,会检查在方法区内是否存在Test2类的run()方法,假如不存在(当Test1类和Test2类的版本不兼容时,就会出现这种问题),就会抛出NoSuchMethodError错误。

准备

在准备阶段,Java虚拟机为类的静态变量分配内存,并设置默认的初始值。例如对于下面的Test类,在准备阶段,将为int类型的静态变量a分配4个字节的内存空间,并且赋予默认值0,为long类型的静态变量b分配8个字节的内存空间,并且赋予默认值0

public class Test {

    private static int a = 1;

    private static long b;

    static {

        b = 2;

    }

    ......
  
}

解析

在解析阶段,Java虚拟机会把类二进制数据中的符号引用转换为直接引用。例如在Test1类的test()方法中会引用Test2类的run()方法

public void test() {

    test2.tun();  //这句代码在Test1类的二进制数据中表示为符号引用

}

Test1类的二进制数据中,包含了一个对Test2类的run()方法的符号引用,它由run()方法的全名和相关描述符组成。在解析阶段,Java虚拟机会把这个符号引用替换为一个指针。该指针指向Test2类的run()方法在方法区内的内存位置,这个指针就是直接引用。

三、初始化

为类的静态变量赋予正确的初始值。

在初始化阶段,Java虚拟机执行类的初始化语句,为类的静态变量赋予初始值。在程序中,静态变量的初始化有两种途径:

(1)在静态变量的声明处进行初始化;

(2)在静态代码块中进行初始化

例如在以下代码中,静态变量ab都被显式初始化,而静态变量c没有显式初始化,它将保持默认值0

public class Sample {

    private static int a = 1;  //在静态变量的声明处进行初始化

    private static long b;

    private static long c;

    static {

        b = 2;  //在静态代码块中进行初始化

    }

    ......

} 

静态变量的声明语句,以及静态代码块都被看作类的初始化语句,Java虚拟机会按照初始化语句在类文件中的先后顺序来依次执行它们。例如当以下Sample类被初始化后,它的静态变量a的取值为4

public class Sample {

    static int a = 1;

    static { a = 2;}

    static { a = 4;}

    public static void main(String args[]) {

        System.out.println(“a=” + a);  //打印a=4

    }

} 

类的初始化步骤:

(1)假如这个类还没有被加载和连接,那就先进行加载和连接。

(2)假如类存在直接的父类,并且这个父类还没有被初始化,那就先初始化直接的父类。

(3)假如类中存在初始化语句,那就依次执行这些初始化语句。

Java虚拟机初始化一个类时,要求它的所有父类都已经被初始化,但是这条规则并不适用于接口:

·在初始化一个类时,并不会先初始化它所实现的接口。

·在初始化一个接口时,并不是先初始化它的父接口。

因此,一个父接口并不会因为它的子接口或者实现类的初始化而初始化。只有当程序首次使用特定接口的静态变量时,才会导致该接口的初始化。

·只有当程序访问的静态变量或静态方法确实在当前类或当前接口中定义时,才可以认为是对类或接口的主动使用。

·调用ClassLoader类的loadClass方法加载一个类,并不是对类的主动使用,不会导致类的初始化。

Java程序对类的使用方式可分为两种

– 主动使用

– 被动使用

所有的Java虚拟机实现必须在每个类或接口被Java程序“首次主动使用”时才初始化他们。

主动使用(七种)

i. 创建类的实例,例如执行new object()

ii. 访问某个类或接口的静态变量(取值)-getstatic助记符;或者对该静态变量赋值-putstatic助记符

iii. 调用类的静态方法-invokestatic助记符

iv. 反射,如Class.forName(com.test.Test)

v. 初始化一个类的子类;如Child类继续Parent类,当初始化一个Child类的时候,Parent类也会被初始化

vi. Java虚拟机启动时被标明为启动类的类;换句话说,包含了main方法的类

vii. JDK1.7开始提供的动态语言支持:java.lang.invoke.MethodHandle实例的解析结果REF_getStaticREF_putStaticREF_invokeStatic句柄对应的类没有初始化则初始化

被动使用:除了以上七种情况,其他使用Java类的方式都被看作是对类的被动使用,都不会导致类的初始化。


阅读更多
版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/u012185242/article/details/79964247
个人分类: jvm
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭
关闭