Java字节码方法表与属性表深度剖析

方法表：

在上一次咱们已经分析到了字段信息了，如下：

紧接着就是方法相关的信息了：

而它展开之后的结构为：

所以往后数2个字节，看一下方法的总数：

3个方法，可咱们只定义了两个方法呀：

因为编译器会为我们生成一个默认的构造方法，所以就3个了，那每个方法的具体信息是啥呢？它是一个method_info类型的，如下：

也就是方法表，当然也有它自己的一个结构，下面来看一下：

access_flags:占用两个字节，表示访问标记。
name_index:占用两个字节，名字索引，指向的是常量池。
descriptor_index:占用两个字节，描述索引，指赂的是常量池。
attributes_count:占用两个字节，属性个数，如果为0，则下面的属性表就不显示了。
attributes:：属性表。

用结构形式来表示：

那按照上面的表先来看第一个方法的访问标记，往后读两个字节：

查看下访问修饰符表，对应于：

表示是一个public的方法，接下来两个字节则表示方法名字索引，走着：

对应常量池：

再往下二个字节则表示描述符索引：

对应常量池：

说明该方法是一个默认构造方法。从javap -verbose中也能对应上：

属性表：

接下来二个字节为属性个数：

表示有一个属性，所以属性表中的个数也为1，而属性表是attribute_info类型，很显然也有它自己的结构，那长啥样呢？

attribute_name_index：占2个字节，表示属性名字的索引，指向常量池。
attribute_length：占4个字节，表示属性的长度。
info[attribute_length]：占1个字节，表示具体的信息。

依照上面的顺序，先数2个字节：

对应常量池：

其实在javap -verbose中也能看到每个方法都有一个Code字样，如下：

Constant pool:#1 = Methodref          #4.#20         // java/lang/Object."<init>":()V#2 = Fieldref           #3.#21         // com/jvm/bytecode/MyTest1.a:I#3 = Class              #22            // com/jvm/bytecode/MyTest1#4 = Class              #23            // java/lang/Object#5 = Utf8               a#6 = Utf8               I#7 = Utf8               <init>#8 = Utf8               ()V#9 = Utf8               Code#10 = Utf8               LineNumberTable#11 = Utf8               LocalVariableTable#12 = Utf8               this#13 = Utf8               Lcom/jvm/bytecode/MyTest1;#14 = Utf8               getA#15 = Utf8               ()I#16 = Utf8               setA#17 = Utf8               (I)V#18 = Utf8               SourceFile#19 = Utf8               MyTest1.java#20 = NameAndType        #7:#8          // "<init>":()V#21 = NameAndType        #5:#6          // a:I#22 = Utf8               com/jvm/bytecode/MyTest1#23 = Utf8               java/lang/Object
{public com.jvm.bytecode.MyTest1();descriptor: ()Vflags: ACC_PUBLICCode:stack=2, locals=1, args_size=10: aload_01: invokespecial #1                  // Method java/lang/Object."<init>":()V4: aload_05: iconst_16: putfield      #2                  // Field a:I9: returnLineNumberTable:line 3: 0line 4: 4LocalVariableTable:Start  Length  Slot  Name   Signature0      10     0  this   Lcom/jvm/bytecode/MyTest1;public int getA();descriptor: ()Iflags: ACC_PUBLICCode:stack=1, locals=1, args_size=10: aload_01: getfield      #2                  // Field a:I4: ireturnLineNumberTable:line 7: 0LocalVariableTable:Start  Length  Slot  Name   Signature0       5     0  this   Lcom/jvm/bytecode/MyTest1;public void setA(int);descriptor: (I)Vflags: ACC_PUBLICCode:stack=2, locals=2, args_size=20: aload_01: iload_12: putfield      #2                  // Field a:I5: returnLineNumberTable:line 11: 0line 12: 5LocalVariableTable:Start  Length  Slot  Name   Signature0       6     0  this   Lcom/jvm/bytecode/MyTest1;0       6     1     a   I
}
SourceFile: "MyTest1.java"

那它表示啥意思呢？其实是表示方法执行的代码，指的是：

当然啦在字节码文件中不可能是跟源文件中看到的一样，而是通过了一些助记符进行了处理，如下：

这个在未来进行详细学习的，好，继续来分析属性，接下来4个字节表示属性的长度，如下：

说明属性的长度为56，然后最后一个字节表示info信息，也就是code的具体信息，这块是比较复杂的，下面先来了解一些理论：

JVM预定义了部分attribute，但是编译器自己也可以实现自己的attribute写入class文件里，供运行时使用。
不同的attribute通过attribute_name_index来区分。

其中JVM预定义的attribute为如下表：

Code结构：

这部分东东是比较多的，这次只先对其结构有个初步了解既可，它的作用是保存该方法的结构，如所对应的字节码：

attribute_length表示attribute所包含的字节数，不包含attribute_name_index和attribute_length字段。
max_stack表示这个方法运行的任何时刻所能达到的操作数栈的最大深度。
max_locals表示方法执行期间创建的局部变量的数目，包含用来表示传入的参数的局部变量。
code_length表法该方法所包含的字节码的字节数以及具体的指令码。
具体的字节码既是该方法被调用时，虚拟机所执行的字节码。
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时，表示处理所有的异常。

这么多陌生的字段，直接晕掉，木要着急，先有个大概了解，在未来学习中会吃透它的，好，先来回到字节码中继续分析，其中code中属性的长度为56：

接下来2个字节表示max_stack：

再接下来2个字节表示max_locals：

对应javap -verbose:

接下来4个字节表示code的长度：

code_length=10，而此时发现在javap -verbose中貌似木有找到对应的：

那接下来的分析没有了参照就不知道我们自己分析的对不对了，对于学习效果会大打折扣了，此时就得借助于另外一个工具来参照了，该工具为jclasslib，gitbub地址：https://github.com/ingokegel/jclasslib，它显示的信息就会比javap -verbose要详细很多，访问一下官网：