JAVA字节码文件之第四篇(方法分析)

一、Methods 方法字节码结构

Methods 字节码结构：

Methods num：占两byte，Methods 的具体内存占n个byte

方法中每个属性都是Attribute_info,Attribute_info的结构：

1、attribute_name_index：属性名的索引
2、attribute_length:表示attribute所包含的字节数，不包含attribute_name_index和attribute_length字段
3、max_stack:表示这个方法运行的任何时刻所能到达的操作数栈的最大深度。
4、max_locals:表示方法执行期间创建的局部变量的数目，包含用来表示传入的参数的局部变量。
5、code_length:表示该方法所包含的字节码的字节数以及具体的指令码，具体字节码即是该方法被调用时，虚拟机执行的字节码
6、code[code_length]:虚拟机运行时具体的字节
7、exception_table_length:异常表的长度
8、exception_table:

• 这里存放的是处理异常的信息每个exception_table表项由start_pc, end_pc, handler_pc, catch_type组成；
• start_pc 和end_pc表示在code数组中的从start_pc到end_pc处（包含start_pc,不包含end_pc）的指令抛出的异常会由这个表项来处理。
• handler_pc表示处理异常的代码的开始处;
• catch_type表示会被处理的异常类型，它指向常量池里的一个异常类。当catch_type为0时，表示处理所有的异常

9、Attribute_count:
10、Attribute_info Attributes[Attribute_count]

二、Methods 字节码分析

上一节 JAVA字节码文件之第三篇(访问标识) 我们分析到了 Fields(属性)字节码 就是图中红色箭头的位置。

1、Methods num(3) ： 占两个byte 00 03，即该类有三个方法。

第一个方法：

Access_Flags(1)：占2个byte 00 01；根据 上一节JAVA字节码文件之第三篇(访问标识)  可知

name_index(7)：占 2个字节 00 07；索引为7，对应常量池中的#7, 由<init>可知他是一个构造方法

descriptor_index(8)：占两个byte，00 08，对应常量池的#8，由()V可知这是一个无参数的(构造)方法

attribute_info结构

attributes_count(1)：占两个byte 00  01，表示该方法第一个属性（这里的属性并不是我们常说的类的属性，方法的参数，而是编译器生成的属性）

1、Attribute_name_index(9)：方法的第一个属性名字，占两个byte，对应常量池中的#9，code就是该方法的第一个属性

2、Attribute_length(0x38=56)：占4个byte 00 00 00 38,表明该属性code的长度是56个字节。所以整个Attribute_info 对应字节如下图

3、max_stack(2)：占2个byte 00 02  操作数栈的最大深度是2

4、max_locals(1)：占两个byte 00 01

5、code_length(10) ：占四个字节 00 00 00 0A  ，

6、code[code_length]：占 code_length 个byte 即 10个byte ，2A B7 00 01 2A 04 B5 00 02 B1 ；表明该方法在执行时的具体指令；

这些十六进制指令怎么与 图片中的助记符关联的，参考该 网站 https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.html#jvms-6.5.aload_n

例如：aload_0=2A

invokespecial=B7 ,   之后的 00  01是他的参数，指向常量池中的#1

父类的构造方法

iconst_1=4

putfield=B5  ，后两个byte 是 参数  00 02，对应常量池的#2

就是给属性赋值 即 int num=1

return = B1 ，构造方法返回void

7、exception_table_length(0): 占两个byte 00  00   ，所以默认的构造器不抛出异常

8、exception_table_info：由于exception_table_length =0 ，所以该部分内容为空

9、Attribute_count (2): 占两个byte 00 02 ，即构造器的Code属性有两个扩展属性

10、Attribute_info[Attribute_count] : 00 0A ,0A=10 ，第一个扩展属性的索引=10，即常量池的#10

11、LineNumberTable 分析

Attribute_length : 占4个byte，00 00 00 0A；0X0A=10，所以00 02 00 00 00 08 00 04 00 09 是LineNumberTable 的具体指令；

前两个字节 00 02 表示 有两对映射关系，00 00 对应 00 08  ，08对应常量池的#8 ；00 04 对应 00 09 ，对应常量池的#9

12、第二个扩展属性 00 0B，0x0B=11 ，对应常量池的#11

Attribute_length ：占四个字节 00 00 00 0C，对应的 LocalVariableTable 的内容是 12 个字节 ，即 00 01 00 00 00 0A 00 0C 00 0D 00 00 。

局部变量的格式：00 01

开始位置 00 00

结束位置 00 0A(0A=10)

索引是  00

局部变量对应常量池的位置0C(C=12)

当前局部变量的描述00 0D ，对应常量池的#13

最后的00 00 是一个校验符，没有具体的逻辑含义。

至从第一个方法分析完毕。

三、LineNumberTable

LineNumberTable 属性表存放方法的行号信息 ；属于调试信息，不是运行时必需的。在使用javac编译器编译Java程序时，默认会在class文件中生成这些信息。可以使用javac提供的-g:none选项来关闭该信息的生成

四、LocalVariableTable：列出了所有栈帧中的局部变量

LineNumberTable