JVM之类文件结构

概述

实现语言无关性的基础仍然是虚拟机和字节码存储格式。虚拟机不和包括Java在内的任何语言绑定，它与“Class”文件这种特定的二进制文件格式所关联，Class文件中包含了Java虚拟机指令集和符号表以及若干其它辅助信息。

Java语言中的各种变量、关键字和运算符号的语义最终都是有多条字节码指令组合而成，因此字节码命令所能提供的语义描述能力肯定会比Java语言本身更加强大。

Class类文件结构

任何一个Class文件都对应着唯一一个类或接口的定义信息，但反过来说，类或接口并不一定都得定义在文件里（比如类或接口可以通过类加载器直接生成）Class文件是一组以8位字节为基础单位的二进制流，各个数据项目严格按照顺序紧凑地排列在Class文件之中，中间没有添加任何分隔符，没有空隙存在。
Class文件格式采用一种类似于C语言结构体的伪结构来存储数据，这种伪结构中只有两种数据类型：无符号数和表。
- 无符号数
无符号数属于基本的数据类型，以u1、u2、u4、u8来分别代表1个字节、2个字节、4个字节和8个字节的无符号数，无符号数可以用来描述数字、索引、数量值或者按照UTF-8编码构成字符串值。
- 表
表是由多个无符号数或者其他表作为数据项构成的符合数据类型，所有表都习惯性的以”_info”结尾。表用于描述有层次关系的符合结构的数据，整个Class文件本质上就是一张表

无论是无符号数还是表，当需要描述同一类型但数量不定的多个数据时，经常会使用一个前置的容量计数器加若干个连续的数据项的形式，这时称这一系列连续的某一类型的数据为某一类型的集合。

魔数与Class文件的版本

每个Class文件的头4个字节称为魔数，他的唯一作用是确定这个文件是否为一个能被虚拟机接受Class文件。Class文件的魔数值是：0xCAFEBABE（咖啡宝贝？）。紧接着魔数的4个字节是Class文件的版本号：第五和第六个字节是次版本号，第七和第八识主版本号，Java的版本号是从45开始的。

常量池

紧接着主次版本号之后的是常量池入口，常量池可以理解为Class文件中的资源仓库。他是Class文件结构中与其他项目关联最多的数据类型，也是占用Class文件空间最大的数据项之一，同时它还是在Class文件中第一个出现的表类型数据项目。

由于常量池中常量的数量是不固定的，所以需要在常量池的入口放置一项u2类型的数据，代表常量池容量计数值，与Java中语言习惯不一样的是，这个容量计数是从1开始而不是从0开始。
常量池中主要存放两大类常量：
- 字面量
字面量比较接近于Java语言层面的常量概念，比如文本字符串、声明为final的常量值等
- 符号引用
而符号引用则属于编译原理方面的概念，包括下面三类常量。
- 类和接口的全限定名
- 字段的名称和描述符
- 方法的名称和描述符

Java代码在进行Javac编译的时候，并不像C和C++那样有连接这一步骤，而是在虚拟机加载Class文件的时候进行动态链接，也就是说，在Class文件中不会保存各个方法字段的最终内存布局信息，因此这些字段、方法符号引用不经过运行期转换的话无法得到真正的内存地址，也就无法直接被虚拟机使用，当虚拟机运行时，需要从常量池中获得对应的符号引用，再在类创建时或运行时解析、翻译到具体的内存地址之中。
常量池中每一项常量都是一张表，目前总共有14种常量，这14种常量类型所代表的具体含义如下表所示：

常量池中数据项类型	类型标志	类型描述
CONSTANT_Utf8	1	UTF-8编码的Unicode字符串
CONSTANT_Integer	3	int类型字面值
CONSTANT_Float	4	float类型字面值
CONSTANT_Long	5	long类型字面值
CONSTANT_Double	6	double类型字面值
CONSTANT_Class	7	对一个类或接口的符号引用
CONSTANT_String	8	String类型字面值
CONSTANT_Fieldref	9	对一个字段的符号引用
CONSTANT_Methodref	10	对一个类中声明的方法的符号引用
CONSTANT_InterfaceMethodref	11	对一个接口中声明的方法的符号引用
CONSTANT_NameAndType	12	对一个字段或方法的部分符号引用

访问标志

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

类索引、父类索引与接口所有集合

类索引（this_class）和父类索引(super_class)都是一个u2类型的数据，而接口索引集合是一组u2类型的数据的集合，Class文件中由这三项数据来确定这个类的继承关系。类索引用于确定这个类的全限定名，父类索引用于确定这个类的父类的全限定名，由于Java语言不允许多重继承，所以父类索引只有一个，除了Object之外，所有的类都有父类。

类索引、父类索引、接口集合都按顺序排列在访问标志之后，类索引和父类索引用两个u2类型的索引值表示，他们各自指向一个类型为CONSTANT_CLASS_info的类描述符常量。

字段表集合

字段表（field_info）用于描述接口或者类中声明的变量。字段（field）包括类级别变量以及实例级别变量，但不包括在方法内部声明的局部变量。我盟可以想象一下在Java中描述一个字段可以包含什么信息？可以包含的信息有:字段的作用域、是实例变量还是类变量，可否被序列化，字段数据类型等。

方法表集合

Class文件存储格式中对方法的描述与对字段的描述几乎采用了完全一致的方式，方法表的结构如同字段表一样，包括了访问标志、名称索引、描述符索引、属性表集合几项。

属性表集合

在Class文件、字段表、方法表都可以携带自己的属性表集合，以用来描述某些场景专有的信息

字节码指令操作

字节码指令

Java虚拟机的指令是由一个字节长度、代表着某种特定操作含义的数字（称为操作码，Opcode）以及跟随其后的零至多个代表此操作所需参数而构成，由于Java虚拟机采用面向操作数栈而不是寄存器的架构，所以大多数的指令都不包含操作数，只有一个操作码。

字节码与数据类型

在Java虚拟机的指令集中，大多数的指令都包含了其操作所对应的数据类型信息。例如iload指令用于从局部变量表中加载int类型的数据到操作数栈中，而fload用于加载float类型的数据了。对于大部分与数据类型相关的字节码指令，他们的操作码助记符中都有特殊的字符来表明专门为哪种数据类型服务：ibiaoshiduiint类型的数据操作，l代表long。s代表short，b代表byte，c代表char，f代表float，d代表double，a代表reference。

加载和存储指令

加载和存储指令用于将数据在栈帧中的局部变量表和操作数栈之间来回传输

存储数据的操作数栈和局部变量表主要就是由加载和存储指令进行操作，除此之外还有少量指令，如访问对象的字段或数组元素的指令也会想操作数栈传输数据

运算指令

运算或算数指令用于对两个操作数栈上的值进行某种特定的运算，并把结果重新存入到操作数栈顶。大体运算指令可以分为两种：对整型数据进行运算的指令与对浮点型数据进行运算的指令

无论是哪种算数指令，都使用Java虚拟机的数据类型，由于没有直接支持byte、short、char、boolean类型的算数指令，对于这些类型数据的运算，应使用操作int类型的指令代替。

对象创建与访问指令

虽然类实例和数组都是对象，但Java虚拟机对类实例和数组的创建与操作使用了不同的字节码指令。对象的创建指令如下：
- 创建类实力的指令：new
- 创建数组的指令：newarray、anewarray、multianewarray
- 访问类字段和实例字段：getfield、putfield、getstatic、putstatic。
- 把一个数组元素加载到操作数栈的指令：baload、caload、saload、iaload、laload、faload、daload、aaload
- 将一个操作数栈的值存储到数组中的指令:bastotr、castore、sastore、iastore、fastore、dastore、aastore
- 取数组长度的指令：arraylenght
- 检查类实例的指令：instanceof、checkcast

操作数栈管理指令

如同操作一个普通数据结构中的堆栈那样，Java虚拟机提供了一些用于直接操作操作数栈的指令。

控制转移指令

控制转移之类可以让Java虚拟机有条件或无条件的从指定的位置指令而不是控制转移之类的下一条指令继续执行程序，从概念模型上理解，可以认为控制转移指令就是在有条件或无条件地修改PC寄存器的值：
- 条件分支
- 符合条件分支
- 无条件分支

方法调用和返回指令

方法调用指令与数据类型无关，而方法返回指令是根据返回值的类型区分的，包括ireturtn和arrturn。

除了上述一些指令外，还有异常处理指令、同步指令，这里就不再多说。