类文件结构

最新推荐文章于 2021-08-13 14:39:07 发布

殷素素

最新推荐文章于 2021-08-13 14:39:07 发布

阅读量188

点赞数

分类专栏： JVM JVM

本文链接：https://blog.csdn.net/Y18630246793194530/article/details/97618524

版权

JVM 同时被 2 个专栏收录

10 篇文章 0 订阅

订阅专栏

JVM

10 篇文章 0 订阅

订阅专栏

字节码是构成平台无关性的基石。Class文件格式所具备的平台中立（不依赖于特定硬件及操作系统）、紧凑、稳定和可扩展的特点，是Java技术体系实现平台无关，语言无关两项特性的重要支柱。

实现语言无关性的基础：虚拟机和字节码存储格式。

Java虚拟机不和包括Java在内的任何语言绑定，它只和“Class文件“这种特定的二进制文件格式锁关联，Class文件中包含了Java虚拟机指令集和符号表达以及若干其他辅助信息。

Class类文件结构

注意：任何一个Class文件都对应着唯一一个类或接口的定义信息，但反过来说，类或接口并不一定都得定义在文件里（譬如类或接口可以通过类加载器直接生成）。实际上一个有效类或接口并不一定以磁盘文件的形式存在。

根据虚拟机规范，class文件格式采用一种类似于C语言结构体的伪结构来存储数据，这种伪结构中只有两种数据类型：无符号数和表。

无符号数：属于基本的数据类型，以u1、u2、u4、u8来分别代表一个字节、2两个字节、4个字节和8个字节的无符号数，无符号数可以用来秒速数字、索引引用、数量值或者按照UTF-8编码构成的字符串值。

表：由多个字符串或者其他表作为数据项构成的复合数据类型，所有表都习惯性地以“info”结尾。表用于描述有层次关系的复合结构的数据，整个Class文件本质上就是一张表，由如下所示的数据项构成

类型	名称	数量	解释
u4	magic	1	Class 文件的标志
u2	minor_version	1	Class 的次版本号
u2	major_version	1	Class 的主版本号
u2	constant_pool_count	1	常量池的数量
cp_info	constant_pool	constant_pool_count-1	常量池
u2	access_flags	1	Class访问标记
u2	this_class	1	当前类
u2	super_class	1	父类
u2	interfaces_count	1	接口
u2	interfaces	interfaces_count	一个类可以实现多个接口
u2	fields_count	1	文件的字段属性
field_info	fileds	fileds_count	一个类可以有多个字段
u2	methords_count	1	Class 文件的方法数量
method_info	methods	methods_count	一个类可以有一个或多个方法
u2	attributes_count	1	此类的属性表中的属性数
attribute_info	attributes	attributes_count	属性表集合

无论是无符号数还是表，当需要描述同一类型但数量不定的多个数据时，经常会使用一个前置的容量计数器加若干个连续的数据项的形式，这时称这一系列连续的某一类型的谁为某一类型的集合。
上速表中的数据项，无论是顺序还是数量，甚至于数据存储的字节序（Byte Ordering）这样的细节，都是被严格限定的。
Class文件字节码结构组织示意图
[外链图片转存失败(img-znuMvP6H-1564314775904)(evernotecid://13B8E963-5FFE-422F-A96B-4DB064D2BF72/appyinxiangcom/12649676/ENResource/p1254)]

魔数与Class文件的版本

魔数：每个Class文件的头四个字节是魔数（Magic Number），它的唯一作用是确定这个文件是否为一个能被虚拟机接受的Class文件。使用魔数而不是扩展名来进行识别主要是基于安全方面的考虑，因为文件扩展名可以随意改动。
版本号：紧接着魔数的4个字节存储的是Class文件版本号：第五个和第六个字节是次版本号（Minor Version），第七、八个字节是主版本号（Major Version）。Java的版本号是从45开始的，JDK 1.1之后的每个JDK能向下兼容以前版本的Class文件，但是不能运行以后版本的Class文件。例如JDK 1.1能支持的版本号为45.0～45.65535的Class文件，无法执行版本号为46.0以上的Class文件。JDK 1.7能支持的最大版本号值为51.0
常量池：常量池可以理解为Class文件之中的资源仓库，它是Class文件结构中与其他项目关联最多的数据类型，也是占用Class文件空间最大的数据项目之一，同时也是Class文件中第一个出现的表类型数据项目。

u2       constant_pool_count;//常量池的数量
cp_info  constant_pool[constant_pool_count-1];//常量池

常量池中常量的数量不是固定的，所以在常量池的入口需要放置一项u2类型的数据，代表常量池计数值。常量池计数器是从1开始计数的，设计者将第0项常量空出来是又特殊考虑的，索引值为0代表“不引用任何一个常量池项”。
常量池主要存放两大类的常量：字面量和符号引用。字面量比较接近于Java语言层面的常量概念，如文本字符串、声明为final的常量值等。而符号引用则属于编译原理方面的概念。包括下面三类常量：

类和接口的全限定名
字段的名称和描述符
方法的名称和描述符

Java代码在进行Javac编译的时候，并不会有“连接”这一步骤，而是在虚拟机加载Class文件的时候进行动态连接。也就是说，在Class文件中不会保存各个方法、字段的最终内存布局信息，因此这些字段、方法的符号引用不经过运行期转换的话无法得到真正的内存入口地址，也就无法被虚拟机使用。当虚拟机运行时，需要从常量池获得对应的内存符号引用，再在类创建或运行时解析、翻译到具体的内存地址之中。

常量池中每一项常量都是一个表，这14种表有一个共同的特点：开始的第一位是一个u1类型的标识位-tag来标识常量类型，代表当前这个常量属哪种常量类型。

类型	标志（tag）	描述
CONSTANT_utf8_info	1	UTF-8编码的字符串
CONSTANT_Integer_info	3	整形字面量
CONSTANT_Flaot_info	4	浮点型字面量
CONSTATNT_Long_info	5	长整型字面量
CONSTANT_Double_info	6	双精度浮点型字面量
CONSTANT_Class_info	7	类或接口的符号引用
CONSTANT_String_info	8	字符串类型字面量
CONSTANT_Fieldref_info	9	字段的符号引用
CONSTANT_Methodref_info	10	类中方法的符号引用
CONSTANT_InterfaceMethodref_info	11	接口中方法的符号引用
CONSTANT_NameAndType	12	字段或方法的符号引用
CONSTANT_MethodHandle_info	15	表示方法句柄
CONSTANT_MethodType_info	16	标志方法类型
CONSTANT_InvokeDynamic_info	18	表示一个动态方法调用点

.class 文件可以通过 javap -v class类名指令来看一下其常量池中的信息（javap -v class类名 -> temp.txt：将结果输出到temp.txt文件）
由于Class文件中方法、字段等都需要引用CONSTANT_Utf8_info型常量来描述名称，所以CONSTANT_Utf8_info型常量的最大长度也就是Java中方法、字段名的最大长度。而这里的最大长度就是length的最大值，即u2类型能表达的最大值65535.所以Java程序中如果定义了超过64KB英文字符的变量或方法名，将会无法编译。

访问标志

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

类访问标志

标志名称	标志值	含义
ACC_PUBLIC	0x0001	是否为public类型
ACC_FINAL	0x0010	是否被声明为final，只有类可设置
ACC_SUPER	0x0020	是否允许使用invokespecial字节码指令的新语意，invokespecial指令的语意在JDK1.0.2之后编译出来的类的这个标志搜必须为真
ACC_INTERFACE	0x0200	标识这是一个接口
ACC_ABSTRACT	0x0400	是否为abstract类型，对于接口或抽象类，此标志都必须为真
ACC_SYNTHETIC	0x1000	标识这个类并非由用户代码产生的
ACC_ANNOTATION	0x2000	标识这是一个注解
ACC_ENUM	0x4000	标识这是一个枚举

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

类索引（this_class）和父类索引(super_class)都是一个u2类型的数据，而接口索引集合（interfaces）是一组u2类型的数据集合，Class文件中由这三项数据来确定这个类的继承关系。类索引用于确定这个类的全限定名，父类索引用于确定这个类的父类全限定名。由于Java语言不允许多重继承，所以父类索引只有一个，除了java.lang.Object之外，所有的Java类都有父类，因此除了java.lang.Object之外，所有Java类的父类索引都不为0。
接口索引集合就用来描述这个类实现了哪些接口，这些被实现的接口将按照implements语句后的接口顺序从左到右排列在接口索引集合中。

    u2             this_class;//当前类
    u2             super_class;//父类
    u2             interfaces_count;//接口
    u2             interfaces[interfaces_count];//一个雷可以实现多个接口

字段表集合

    u2             fields_count;//Class 文件的字段的个数
    field_info     fields[fields_count];//一个类会可以有个字段

字段表（field info）用于描述接口或类中声明的变量。字段包括类级变量以及实例变量，但不包括在方法内部声明的局部变量。

Java中描述一个字段可以包含的信息：字段的作用域（public、private、protected修饰符）、是实例变量还是类变量（static修饰符）、可变性（final）、并发可见性（volatile修饰符，是否强制从主内存读写）、可否被序列化（transient修饰符）、字段数据类型（基本类型、对象、数组）、字段名称。

类型	名称	数量
u2	access_flags	1
u2	name_index	1
u2	descriptor	1
u2	attributes_count	1
attribute_info	attributes	attributes_count

access_flags: 字段的作用域（public ,private,protected修饰符），是实例变量还是类变量（static修饰符）,可否被序列化（transient 修饰符）,可变性（final）,可见性（volatile 修饰符，是否强制从主内存读写）。
name_index: 对常量池的引用，表示的字段的名称；
descriptor_index: 对常量池的引用，表示字段和方法的描述符；
attributes_count: 一个字段还会拥有一些额外的属性，attributes_count 存放属性的个数；
attributes[attributes_count]: 存放具体属性具体内容。
上述这些信息中，各个修饰符都是布尔值，要么有某个修饰符，要么没有，很适合使用标志位来表示。而字段叫什么名字、字段被定义为什么数据类型这些都是无法固定的，只能引用常量池中常量来描述。

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

标志名称	标志值	含义
ACC_PUBILIC	0x0001	字段是否为public
ACC_PRIVATE	0x0002	字段是否为private
ACC_PROTECTED	0x0004	字段是否为protected
ACC_STATIC	0x0008	字段是否为static
ACC_FINAL	0x0010	字段是否为final
ACC_VOLATILE	0x0040	字段是否为volatile
ACC_TRANSIENT	0x0080	字段是否为transient
ACC_SYNTHETIC	0x1000	字段是否由编译器自动产生
ACC_ENUM	0x4000	字段是否为enum

描述符标识字符含义

标识符	含义
B	基本类型byte
C	基本类型char
D	基本类型double
F	基本类型float
I	基本类型int
J	基本类型long
S	基本类型short
Z	基本类型boolean
V	特殊类型void
L	对象类型，如Ljava/lang/Object

对于数组类型，每一位度将使用一个前置的“[”字符来描述，如一个定义为“java.lang.String[][]” 类型的二位数组被记录为：“[[LJava/lang/String;”，一个整形数组“int[]”将被记录为“[I”

描述方法时，按照先参数列表，后返回值的顺序描述，参数列表按照参数的严格顺序放在一组小括号“()”内。如 void inc() -> ()V ；int indexof(char[]source,int sourceOffset,int sourceCount,char[]target,int targetOffset,int targetCount,int fromIndex) ->([CII[III)I
注意：重载需要特征签名不一致（特征签名是各个参数在常量池中的字段符号引用的集合，返回值不会包含在特征签名里。可以通过方法描述来比较。）

方法表集合

方法表的结构如同字段表一样，依次包括来访问标志（access_flags）、名称索引（name_index）、描述符索引（descriptor_index）\属性表集合（attributes）几项。

类型	名称	数量
u2	access_flags	1
u2	name_index	1
u2	descriptor_index	1
u2	attributes_count	1
attribute_info	attributes	attributes_count

方法访问标志

标志名称	标志值	含义
ACC_PUBILIC	0x0001	方法是否为public
ACC_PRIVATE	0x0002	方法是否为private
ACC_PROTECTED	0x0004	方法是否为protected
ACC_STATIC	0x0008	方法是否为static
ACC_FINAL	0x0010	方法是否为final
ACC_SYNCHRONIZED	0x0020	方法是否为synchronized
ACC_BRIDGE	0x0040	方法是否是由编译器产生的桥接方法
ACC_VARARGS	0x0080	方法是否接受不定参数
ACC_NATIVE	0x0100	方法是否为native
ACC_ABSTRACT	0x0400	方法是否为abstract
ACC_STRICTFP	0x0800	方法是否为strictfp
ACC_SYNTHETIC	0x1000	方法是否是由编译器自动产生的

与字段表集合相对应，如果父类方法在子类没有被重写，方法表集合里是没有来自父类的方法信息的。但是可能会出现由编译器自动添加的方法，最典型的便是类的构造器“”方法和实例构造器“”方法

属性表集合

属性表（attribute_info），在class文件、字段表、方法表都可以携带自己的属性表集合，以用于描述某些场景专有信息。
与Class文件中其他的数据项目要求的顺序、长度和内容不同，属性表集合的限制稍微宽松一些，不在要求各个属性表具有严格的顺序，并且只要不与已有的属性名重复，任何人实现的编译器都可以向属性表中写入自己定义的属性信息，java虚拟机运行时会忽略掉它不认识的属性。

殷素素

关注

0
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
类文件结构

字节码是构成平台无关性的基石。Class文件格式所具备的平台中立（不依赖于特定硬件及操作系统）、紧凑、稳定和可扩展的特点，是Java技术体系实现平台无关，语言无关两项特性的重要支柱。实现语言无关性的基础：虚拟机和字节码存储格式。Java虚拟机不和包括Java在内的任何语言绑定，它只和“Class文件“这种特定的二进制文件格式锁关联，Class文件中包含了Java虚拟机指令集和符号表达以及若干...
复制链接

扫一扫