类文件结构2(基础)

源码字节码参考上文，各字段表、方法表、属性结构表、jvm指令表请参考网络

访问标志：

00 21  对应”!”，这两个字节为访问标志access_flags，用于识别一些类或者接口层次的访问信息，此Class中包含acc_public标志和acc_super标志,两个标志分别为0x0001,0x0020,与操作后为0x0021

 

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

00 03 00 04 00 00  从偏移地址0x000000af开始的3位分别为0x0003、0x0004、0x0000，分别是类索引为3、父类索引为4、接口索引为0，分别为com/jxj/wordPic/TestClass、java/lang/Object和没有。

 

字段表结构：

00 01 00 02 00 05 00 06第一个u2类型的数据为容量计数器fields_count,其值为1说明只有一个字段表数据，第二个u2类型的数据为access_flags,其值为2说明修饰符的标志值为2，那么对应的标志名称为ACC_PRIVATE, 第三个u2类型的数据为5说明字段名称为常量池中下标为5的字符串”m”,然后是描述符的descriptor_index在第四个u2类型中的值为6，说明描述符为常量池中下标为6的字符串”I”,根据描述符标识字符含义可知，I对应含义是基本类型int，那么源代码定义的字段为:”private int m;”在descriptor_index之后，跟随的是属性表集合用于存储一些额外的信息，属性表计数器为0，说明没有额外信息。注：字段表集合不会列出从超类或者父接口中继承而来的字段，但有可能列出原本java代码之中不存在的字段，比如在内部类中为了保持对外部类的访问性，会自动添加指向外部类实例的字段，另外java字段是无法重载的，两个字段的数据类型、修饰符不管是否相同，都必须使用不一样的名称，但是对于字节码来讲，如果两个字段描述符不一致，那么字段重名就是合法的。

 

方法表集合：

00 02 00 01 00 07 00 08 00 01 00 09与字段表结构类似，第一个u2类型数据说明容量计数器为0x0002，代表集合中有两个方法（这两个方法未实例构造器<init>和源码中的方法inc）。第一个方法：

访问标志为0x0001，代表访问标志为acc_public，名称索引为0x0007,代表名称为“<init>”,描述符索引值为0x0008对应的字符串”()V”,属性计数器attributes_count的值为0x0001，说明此方法的属性表集合有一项属性，属性名索引为0x0009,对应常量为“Code”,说明此属性是方法的字节码描述。注：与字段表集合相对应，如果父类方法在子类中没有被重写，方法表集合中就不会出现来自父类的方法信息。但同样的，有可能会出现由编译器自动添加的方法，最典型的便是类构造器<clinit>和实例构造器<init>方法。在java语言中，无法仅仅靠返回值的不同对一个已有方法进行重载，但是在class文件格式中，如果有两个方法拥有相同的名称和特征签名，但返回值不同，那么也可以合法共存于同一个Class文件中。

 

Code属性

Attribute_name_index: 00 09

Attribute_length: 00 00 00 1D

Max_stack: 00 01

Max_locals:00 01

Code_length: 00 00 00 05

5字节分别是：2A B7 00 01 B1

       2A对应字节码指令aload_0,这个指令的含义是将第0个Slot中为reference类型的本地变量推送到操作数栈顶。

       B7 对应字节码指令invokespecial，以栈顶的reference类型的数据所指向的对象为方法的接受者，调用此对象的实例构造器方法、private方法或者其他父类的方法。

       00 01，invokespecial的参数，查得常量池对应的常量为实例构造器”<init>”方法的符号引用。

       B1 对应字节码指令return，含义是返回此方法，并且返回值为void。

 

在字节码指令之后的是这个方法的显示异常处理表集合，异常表对于Code属性来说并不是必须存在的。00 00根据code属性表的结构，说明异常表0个

 

00 01根据code属性表的结构，说明code的属性表有一个，根据下标可以得知该属性为常量池下标为10的LineNumberTable属性：

   LineNumberTable属性用于描述java源码行号与字节码行号（字节码的偏移量）之间的对应关系。如果选择不生成，当抛出异常时，堆栈中将不会显示出错的行号，并且在调试的时候也无法按照源码行来设置断点。

00 0A   =LineNumberTable

00 00 00 06=属性长度6个字节码

00 01=line_number_table数量为1

00 00 =而line_number_table数据类型为line_number_info类型，line_number_info类型包含start_pc和 line_number两个u2类型的数据项，前者字节码行号，后者java源码行号，所以start_pc为0

00 03=line_number为3

 

 

方法2：

00 01 00 0B 00 0C 00 01 00 09  

访问标志为0x0001，代表访问标志为acc_public，名称索引为0x000B,代表名称为“inc”,描述符索引值为0x000C对应的字符串”()I”,属性计数器attributes_count的值为0x0001，说明此方法的属性表集合有一项属性，属性名索引为0x0009,对应常量为“Code”,说明此属性是方法的字节码描述

Code属性

Attribute_name_index: 00 09

Attribute_length: 00 00 00 1F

Max_stack: 00 02

Max_locals:00 01

Code_length: 00 00 00 07

7字节分别是：2A B4 00 02 04 60 AC

2A对应字节码指令aload_0,这个指令的含义是将第0个Slot中为reference类型的本地变量推送到操作数栈顶。

B4 getfield获取指定类的实例域，并将其值压入栈顶

00 02 对应常量池中下标为2，为Field m：I

04 iconst_1将int型1推送到栈顶

60 iadd将栈顶两int型数值相加并将结果压入栈顶

AC ireturn 从当前方法返回int

 

00 0A 00 00 00 06 00 01 00 00 00 06根据前两个字节可知为LineNumberTable属性，同上。

 

属性表集合：

00 01根据Class文件格式可以知道属性表数量为1

然后根据属性表结构可以知道属性名对应常量的0x000D下标，为sourceFile属性，属性长度为2，源码文件名为0x000E，对应常量池的值为TestClass.java

 

当然还有其他的属性，例如：

Exceptions属性：

    与code属性在方法表中属于平级，与code属性中的异常表不同，是方法在throws关键字后面列举的异常。

LocalVariableTable属性：

    用于描述栈帧中局部变量表中的变量与java源码中定义的变量之间的关系，如果没有这项属性，最大的影响就是当其他人引用这个方法时，所有的参数名称将会丢失，IDE将会用arg0，arg1之类的占位符代替原有的参数名，会对代码编写带来较大的不便，而且在调试期间无法根据参数名称从上下文中获得参数值。

.................