JVM类文件结构

本文主要是介绍JVM类文件结构，对大家解决编程问题具有一定的参考价值，需要的程序猿们随着小编来一起学习吧！

类文件即.class文件，能够在java虚拟机上运行。Java虚拟机不和包括Java在内的任何语言绑定，只与Class文件这种特定的二进制文件格式关联，Class文件中包含了Java虚拟机指令集和符号表以及若干其他辅助信息。class文件可以由其他语言编译而来，例如：JRuby、Jython、Scala等。

Class类文件的结构

Class文件是一组以8位字节为基础单位的二进制流，各个数据项目严格按照顺序紧凑地排列在Class文件之中，中间没有添加任何分隔符，这使得整个Class文件中存储的内容几乎全部是程序运行的必要数据，没有空隙存在。当遇到需要占用8位字节以上空间的数据项时，则会按照高位在前的方式分割成若干个8位字节进行存储。
Class文件格式采用一种类似于C语言结构体的伪结构来存储数据，这种伪结构只有两种数据类型：无符号和表。无符号属于基本的数据类型，以u1、u2、u4、u8来分别代表1个字节、2个字节、4个字节和8个字节，无符号数可以用来描述数据类型、索引引用、数量值或者按照UTF-8编码构成字符串值。表是由多个无符号数或者其他表作为数据项构成的复合数据类型，所有表都习惯性地以“_info”结尾。
整个Class文件本质上就是一张表，构成这张表的数据项如下：

注意：Class文件没有任何分隔符，所以上表中的数据项，无论是顺序还是数据量，甚至是数据存储的字节序，都是严格限定的，哪个字节代表什么含义，长度是多少，先后顺序如何，都不允许改变。

常量池

常量池的入口在主次版本号之后，可以把常量池理解为Class文件中的资源仓库，是Class文件结构中与其他项目关联最多的数据类型，也是占用Class文件空间最大的数据项目之一，同时还是在Class文件中第一个出现的表类型数据项目。常量池中的常量数量是不固定的，所以在常量池的入口需要放置一项u2类型的数据，代表常量池容量计数值，即：constant_pool_count。该容量计数器是从1而不是0开始的，将第0项常量空出来的目的在于满足后面某些指向常量池的索引值的数据在特定情况下需要表达“不引用任何一个常量池项目”的含义，这种情况下就可以把索引值置为0来表示。
常量池中主要存放两大类常量：字面量和符号引用。字面量，如文本字符串、声明为final的常量值等，符号引用包括三类常量：类和接口的全限定名、字段的名称和描述符、方法的名称和描述符。当虚拟机运行时，需要从常量池中获得对应的符号引用，再在类创建的时候或者运行时解析、翻译到具体的内存地址之中。

常量池中的常量项目结构表如下：

访问标志

紧接着常量池后的两个字节是访问标志，访问标志用于识别一些类或者接口层次的访问信息，包括：这个Class是类还是接口；是否定义位public类型；是否定义位abstract类型；如果是类的话，是否被声明位final等。
具体标志如下：

• ACC_PUBLIC：是否位public类型
• ACC_FINAL：是否被声明为final，只有类可设置
• ACC_SUPER：是否允许使用invokespecial字节码指令的新语意，invokespecial指令的意义在JDK1.0.2发生过改变，为了区别这条指令使用哪种语意，JDK1.0.2之后编译出来的类的这个标志都必须为真
• ACC_INTERFACE：标识这是一个接口
• ACC_ABSTRACT：是否为abstract类型，对于接口或者抽象类来说，此标志值为真，其他类值为假
• ACC_SYNTHETIC：标识这个类并非由用户代码产生的
• ACC_ANNOTATION：标识这是一个注解
• ACC_ENUM：标识这是一个枚举
  访问标志中一共有16个标志位可以使用，当前值定义了其中8个，没有使用到的标志位要求一律为0。

字段表集合

字段表用于描述接口或类中声明的变量。字段包括类级别变量以及实例级别变量，但不包括在方法内部声明的局部变量。字段集合可以包括的信息有：

• 字段的作用域（private、public、protected）
• 字段是实例变量还是类变量（static）
• 可变性（final）
• 并发可见性（volatile）
• 是否可被序列化（transient）
• 字段数据类型
• 字段名称

这些修饰符都是布尔值，要么有某个修饰符，要么没有。字段集合表访问标志如下：

• ACC_PUBLIC：字段是否是public
• ACC_PRIVATE：字段是否是private
• ACC_PROTECTED：字段是否是protected
• ACC_STATIC：字段是否是static
• ACC_FINAL：字段是否是final
• ACC_VOLATILE：字段是否是volatile
• ACC_TRANSIENT：字段是否是transient
• ACC_SYNTHETIC：字段是否由编译器自动产生的
• ACC_ENUM：字段是否是enum

字段表集合中不会列出从超类或者父接口中继承而来的字段，但有可能列出原本Java代码中不存在的字段，譬如在内部类中为了保持对外部类的访问性，会自动添加指向外部类实例的字段。另外，Java语言中字段是无法重载的，两个字段的数据类型、修饰符不管是否相同，都必须使用不一样的名称，但是对于字节码而言，如果两个字段的描述符不一致，那字段重名就是合法的。

方法表集合

方法表的结构和字段表的结构一样，一次包括访问标志、名称索引、描述符索引、属性表集合。访问标志如下：

• ACC_PUBLIC：方法是否是public
• ACC_PRIVATE：方法是否是private
• ACC_PROTECTED：方法是否是protected
• ACC_STATIC：方法是否是static
• ACC_FINAL：方法是否是final
• ACC_SYNCHRONIZED：方法是否为synchronized
• ACC_BRIDGE：方法是否由编译器产生的桥接方法
• ACC_VARARGS：方法是否接受不定参数
• ACC_NATIVE：方法是否为native
• ACC_ABSTRACT：方法是否为abstract
• ACC_STRICTFP：方法是否为strictfp
• ACC_SYNTHETIC：方法是否为编译器自动产生的

属性表集合

属性表集合不在要求各个属性表具有严格顺序，并且只要不与已有属性名重复，任何人实现的编译器都可以从属性表中写入自己定义的属性信息，Java虚拟机运行时会忽略不认识的属性。

一些属性中的关键常用内容：

这篇关于JVM类文件结构的文章就介绍到这儿，希望我们推荐的文章对大家有所帮助，也希望大家多多支持为之网！