Class类文件结构的理解

目录

一、magic

二、minor_version、major_version

三、constant_pool_count、constant_pool

四、access_flags

五、this_class、super_class

六、interfaces_count、interfaces

七、fileds_count、fields

八、methods_count、methods

九、attributes_count、attributes


本文大部分都是参考《深入理解Java虚拟机 JVM高级特性与最佳实践》一书,写下这篇博客的主要目的主要是加深自己的理解。

 

首先是类的整体结构

Class类文件结构的理解_第1张图片

其中,u1、u2、u4、u8表示1个字节、2个字节、4个字节和8个字节的无符号数。

文章的作者举了一个例子来进行讲解,我也直接引用他的例子。

package com.zhuyun.Maven;

public class TestClass {

	private int m;
	
	public int inc(){
		return m + 1;
	}
}

其编译后生成的Class内容如下:

Class类文件结构的理解_第2张图片

下面按照Class结构的顺序进行分析。

一、magic

最开始的4个字节是魔数0xCAFEBABE

Class类文件结构的理解_第3张图片

二、minor_version、major_version

接下的4个字节是次版本号和主版本号,分别是0x0000、0x0034,其对应的十进制版本号是52,对应关系如下图。

Class类文件结构的理解_第4张图片

对应的JDK版本号是1.8。

三、constant_pool_count、constant_pool

接下的2个字节和不定长字节,表示常量池。

Class类文件结构的理解_第5张图片

前两个字节表示常量池中常量的个数,从1开始计数,所以一共有21项常量。

这些常量的第一字节是标识位,代表当前常量是属于哪种常量类型,其对应关系如下:

Class类文件结构的理解_第6张图片

第一个常量:0x07

从表中可以看出,它的常量类型是CONSTANT_Class_info,其结构如下:

tag表示常量类型,就是前面的0x07。

name_index表示索引值,0x0002表示常量池的第二个常量,所以继续往后找。

 

第二个常量:0x01

 从表中可以看出,0x01的常量类型是CONSTANT_Utf8_info,其结构如下:

Class类文件结构的理解_第7张图片

第一个字节是tag(0x01),后两个字节表示UTF-8的字符串长度,0x001a,十进制是26。

接下来的26个字节,就是 字符串的内容com/zhuyun/Maven/TestClass。

第三个常量:0x07

常量类型是CONSTANT_Class_info,索引值是4,也就是接下来的一个变量。

第四个常量:0x01

常量类型是CONSTANT_Utf8_info,字符串长度是0x10,十进制是16,字符串内容是java/lang/Object 。

Class类文件结构的理解_第8张图片

第五个常量:0x01

常量类型是CONSTANT_Utf8_info,字符串长度是0x01,十进制是1,字符串内容是m。

第六个常量:0x01 

常量类型是CONSTANT_Utf8_info,字符串长度是0x01,十进制是1,字符串内容是I。

第七个常量:0x01 

常量类型是CONSTANT_Utf8_info,字符串长度是0x0006,十进制是6,字符串内容是

 第八个常量:0x01 

常量类型是CONSTANT_Utf8_info,字符串长度是0x0003,十进制是3,字符串内容是()V。

第九个常量:0x01 

常量类型是CONSTANT_Utf8_info,字符串长度是0x0004,十进制是4,字符串内容是Code。

第十个常量:0x0a

常量类型是CONSTANT_Methodret_info,其结构如下:

Class类文件结构的理解_第9张图片

第一个字节是0x0a,表示常量类型是CONSTANT_Methodret_info。

接下来2个字节表示索引值0x0003,也就是指向了第三个变量,即前面的 java/lang/Object,表示方法所属的类。

接下来2个字节表示索引值0x000b,也就是指向了第11个变量,即下一个变量。

第十一个常量:0x0c

常量类型是CONSTANT_NameAndType_info,其结构如下:

 第一个字节是0x0c,表示常量类型是CONSTANT_NameAndType_info。

接下来2个字节表示索引值0x0007,也就是指向了第7个变量,即前面的,表示方法的名称。

接下来2个字节表示索引值0x0008,也就是指向了第8个变量,即前面的()V,表示刚方法的返回类型是void。

第十二个常量:0x01

常量类型是CONSTANT_Utf8_info,字符串长度是0x000f,十进制是15,字符串内容是LineNumberTable。

第十三个常量:0x01

常量类型是CONSTANT_Utf8_info,字符串长度是0x0012,十进制是18,字符串内容是LocalVariableTable。

 第十四个常量:0x01 

常量类型是CONSTANT_Utf8_info,字符串长度是0x0004,十进制是4,字符串内容是this。

第十五个常量:0x01 

常量类型是CONSTANT_Utf8_info,字符串长度是0x001c,十进制是28,字符串内容是Lcom/zhuyun/Maven/TestClass;。

第十六个常量:0x01  

常量类型是CONSTANT_Utf8_info,字符串长度是0x0003,十进制是3,字符串内容是inc。

 第十七个常量:0x01  

常量类型是CONSTANT_Utf8_info,字符串长度是0x0003,十进制是3,字符串内容是()I。

 第十八个常量:0x09 

常量类型是CONSTANT_Filedref_info,表示字段的符号引用,其结构如下。

 第一个字节是0x09,表示常量类型是CONSTANT_Filedref_info。

接下来2个字节表示索引值0x0001,也就是指向了第1个变量,即前面的 com/zhuyun/Maven/TestClass,表示字段所属的类。

接下来2个字节表示索引值0x0013,也就是指向了第19个变量,即下一个变量,表示了该字段的描述符。

 第十九个常量:0x0c

 常量类型是CONSTANT_NameAndType_info,其结构如下:

 第一个字节是0x0c,表示常量类型是CONSTANT_NameAndType_info。

接下来2个字节表示索引值0x0005,也就是指向了第5个变量,即前面的m,表示该字段的名称。

 

接下来2个字节表示索引值0x0006,也就是指向了第6个变量,即前面的I,表示该变量的数据类型是int。

 

 第二十个常量:0x01

常量类型是CONSTANT_Utf8_info,字符串长度是0x000a,十进制是10,字符串内容是SourceFile。

 第二十一个常量:0x01

常量类型是CONSTANT_Utf8_info,字符串长度是0x000e,十进制是14,字符串内容是TestClass.java。

 四、access_flags

下面2个字节是访问标志,用于识别一些类或者接口层次的访问信息,包括:这个class是类还是接口;是否定义为public类型;是否定义为abstract类型;是否被声明为final等。

Class类文件结构的理解_第10张图片

首先,将0x0021转成二进制

0000 0000 0010 0001

 从高到低,标志位依次的含义:

1  
2 ACC_ENUM
3 ACC_ANNOTATION
4 ACC_SYNTHETIC
5  
6 ACC_ABSTRACT
7 ACC_INTERFACE
8  
9  
10  
11 ACC_SUPER
12 ACC_FINAL
13  
14  
15  
16 ACC_PUBLIC

所以只有第11位和13位是1,也就是ACC_SUPER和ACC_PUBLIC为真。

 

五、this_class、super_class

接下来4个字节表示类引用以及父类引用。除了java.lang.Object外,所有Java类都有父类,因此除了java.lang.Object外,所有Java类的父类引用都不为0。

从前面的常量池中可以找到,类引用是com/zhuyun/Maven/TestClass,而父类引用是java/lang/Object。

 

六、interfaces_count、interfaces

接下来是接口索引集合,用来描述这个类实现了哪些接口。在该例子中,未实现任何接口所以前2个字节是0,后面的interface也就不占用任何字节。

 

七、fileds_count、fields

前2个字节表示字段的个数,该例子中只有一个m字段,所以是1。

后面表示字段表集合,用来描述接口或者类中声明的变量。其结构如下:

Class类文件结构的理解_第11张图片

前2个字节表示访问标志,0x0002表示字段是private,其他访问标志都是false,其含义如下:

Class类文件结构的理解_第12张图片

接下来的name_index和descriptor_index表示字段的名称以及字段的描述符的索引。

从前面的常量表中可以知道,该字段的名称是第五个常量m,字段的类型是第六个常量I,其对应的基本类型是int。

Class类文件结构的理解_第13张图片

接下来的2个字节表示属性表集合,用于存储一些额外的信息。在本例中属性表计数器为0,没有额外描述信息。

 

八、methods_count、methods

前2个字节表示方法的个数,该字段是0x0002,所以有两个方法,一个是本身的方法inc(),另一个自动添加的构造方法

 

后面表示方法表集合,与上面的字段表类似,其结构如下:

Class类文件结构的理解_第14张图片

第一个方法:

前2个字节表示访问标志,0x0001表示方法是public的,其他访问标志都是false,其含义如下:

 

Class类文件结构的理解_第15张图片

接下来的name_index和descriptor_index表示方法的名称以及方法的描述符的索引。

从前面的常量表中可以知道,该方法的名称是第7个常量,方法的描述是第8个常量()V,表示参数为空,返回值为void。

 

九、attributes_count、attributes

属性表集合,其结构如下:

Class类文件结构的理解_第16张图片

接下来的2个字节表示属性表集合,用于存储一些额外的信息。0x0001表示只有一个属性表。

接下来2个字节表示属性名称索引,0x0009,对应的常量是Code,说明此属性是方法的字节码描述。

其结构如下:

Class类文件结构的理解_第17张图片

attribute_name_index:前2个字节,也就是0x0009,表示Code

attribute_length:接下来4个字节,0x0000002f,表示属性值长度。

max_stack:操作数栈深度的最大值,该例子中为1。

max_locals:局部变量所需的存储空间,单位是slot,该例子中为1。

code_length: 字节码长度,该例子中为5,表示有5条字节码指令。

code:字节码指令,根据前面的code_length,获取接下来的code_length个字节作为字节码指令。

      查表可知:

      

        

        

         

exception_table_length:异常处理表长度,该例子中不存在异常处理,长度为0。

 

接下来解析类似。

 

接下来的2个字节表示属性表集合,用于存储一些额外的信息。0x0002表示有2个属性表。

接下来2个字节表示属性名称索引,0x000c,对应的常量是LineNumberTable,此属性是用于描述Java源码行号与字节码行号之间的对应关系。

其结构如下:

Class类文件结构的理解_第18张图片

attribute_name_index:前2个字节,也就是0x000c,表示LineNumberTable

attribute_length:接下来4个字节,0x00000006,表示属性值长度,目前是6个字节。

line_number_table_length:接下来的2个字节,0x0001,表示line_number_info的个数。

line_number_info:包括了start_pc和line_number两个u2类型的数据项,前者是字节码行数,后者是Java源码行号。该例子中                                       其值是0x0000 0003。

 

继续往后解析,接下来2个字节表示属性名称索引,0x000d,对应的常量是LocalVariableTable,此属性是用于描述栈帧中局部变量表中的变量Java源码中定义的变量之间的关系。

其结构如下:

Class类文件结构的理解_第19张图片

attribute_name_index:前2个字节,也就是0x000d,表示LocalVariableTable

attribute_length:接下来4个字节,0x0000000c,表示属性值长度,目前是12个字节。

local_variable_table_length:接下来的2个字节,0x0001,表示local_variable_table的个数。

local_variable_table:代表了一个栈帧与源码中的局部变量的关联,结构如下:

Class类文件结构的理解_第20张图片

start_pc:这个局部变量的生命周期开始的字节码偏移量。该例子中为0x0001。

length:这个局部变量的生命周期开始的字节码的作用范围覆盖的长度。该例子中为0x0000。

name_index:局部变量名称的索引,该例子中为0x0005,具体的值为m。

descriptor_index:局部变量的描述符的索引,该例子中为0x000e,具体的值为this。

index:局部变量在栈帧局部变量表中Slot的位置,该例子中为0x000f。

 

你可能感兴趣的:(Java)