第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文件、字段表、方法表都可以携带自己的属性表集合