JVM（6）

第6章　类文件结构

代码编译的结果：本地机器码 ----> 字节码

1. 无关性的基石

字节码：（1）平台无关性（2）语言无关性
实现语言无关性的基础：（1）虚拟机（2）字节码存储格式

2. Class类文件的结构

Class文件-----唯一的一个类或接口的定义信息；

Class文件是一组以8个字节为基础单位的二进制流；

Class文件格式采用伪结构存储数据，这种伪结构中只有两种数据类型：“无符号数”和“表”

（1）无符号数属于基本的数据类型，以u1、u2、u4、u8分别代表1个字节、2个字节、4个字节和8个字节的无符号数，无符号数用于描述数字、索引引用、数量值或按照UTF-8编码构成字符串值。

（2）表是由多个无符号数或其他表作为数据项构成的复合数据类型，为了便于区分，所有表的命名都以“_info”结尾。表用于描述有层次关系的复合结构的数据，整个Class文件本质上可以视作一张表。

1）魔数与Class文件的版本

每个Class文件的头4个字节被称为魔数，作用是确定这个文件是否能被虚拟机接受；使用魔数而不是扩展名进行识别主要是基于安全考虑。Class文件的魔数值为0xCAFEBABE

紧接着魔数的4个字节存储的是Class文件的版本号：第5和第6个字节是次版本号，第7和第8个字节是主版本号

2）常量池

紧接着是常量池入口，常量池可以比喻为Class文件里的资源仓库；是表类型数据项目；由于常量池中常量的数量不固定，所以在常量池的入口需要放置一项u2类型的数据。

常量池中主要存放两类常量：字面量和符号引用。

字面量比较接近于Java语言层面的常量概念，如文本字符串、被声明为final的常量值等。

符号引用属于编译原理方面的概念，主要包括下面几类常量：
（1）被模块导出或开放的包
（2）类和接口的全限定名
（3）字段的名称和描述符
（4）方法的名称和描述符
（5）方法句柄和方法类型
（6）动态调用点和动态常量

3）访问标志

紧接着的2个字节代表访问标志，用于识别一些类或接口层次的访问信息。
如这个Class是类还是接口，是否定义为public类型或abstract 类型，如果是类，是否被声明为final等等。

4）类索引、父类索引与接口索引集合

类索引（this_class）和父类索引（super_class）都是一个u2类型的数据，而接口索引集合（interfaces）是一组u2类型的数据的集合，Class文件中由这三项数据确定该类型的继承关系。
接口索引集合就用来描述这个类实现了哪些接口，对于接口索引集合，入口的第一项u2类型的数据为接口计数器，表示索引表的容量。

5）字段表集合

字段表用于描述接口或类中声明的变量。
Java语言中的“字段”包括类级变量及实例级变量，但不包括在方法内部声明的局部变量。
字段包括的修饰符有字段的作用域（public、private、protected修饰符）、是实例变量还是类变量（static修饰符）、可变性（final）、并发可见性（volatile修饰符，是否强制从主内存读写）、可否被序列化（transient修饰符）、字段数据类型（基本类型、对象、数组）、字段名称。

6）方法表集合

Class文件存储格式中对方法的描述与对字段的描述几乎全一致，方法表的结构同字段表一样，依次包括访问标志（access_flags）、名称索引（name_index）、描述符索引（descriptor_index）、属性表集合（attributes）

7）属性表集合

Class文件、字段表、方法表都可以携带自己的属性表集合