JVM字节码（三）

接下来，就是分析MyTest1第二个方法，肯定不是int getA()就是void setA(int a)。在构造方法之后，我们读到了0x0001，这是一个访问标志为ACC_PUBLIC的方法，方法名的索引值为0x000e，类型描述符为0x000f，在常量池中分别对应getA和()I，所以我们能判定这是我们之前所定义的int getA()方法。

往后读取的是getA()的属性数量，这里是0x0001，有一个属性。于是我们往后读取两个字节，0x0009，在常量池中第九个元素是Code，于是根据Code_attribute的结构，我们还要往后读取4个字节0x0000002f，对应的十进制为47，代表这个attribute除了attribute_name_index和attribute_length之外，还占据47个字节。

这个属性中，max_stack是0x0001，代表操作数栈的最大深度为1。max_locals是0x0001，代表方法内创建的局部变量也为1。code_length为0x00000005，代表getA()方法编译后可供JVM执行的字节码占据5个字节，于是我们往后读取五个字节：2a b4 00 02 ac。这里我们看下getA()反编译后对应的字节码助记符：

  public int getA();
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: getfield      #2                  // Field a:I
         4: ireturn
      LineNumberTable:
        line 7: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0       5     0  this   Lcom/leolin/jvm/bytecode/MyTest1;  

　　

Code下共有3条字节码指令，这里我们依旧需要根据Oracle的JVM官方文档来分析：

• aload_0这条指令已经分析过了，对应指令0x2a，与上面5个字节码指令第一个字节码指令对应。
• getfield代表从对象中获取字段的值，对应指令0xb4。这里需要传入一个参数0x0002，在常量池中代表int类型的字段a。所以整体指令为：b4 00 02，对应上面5个字节第二个到第四个字节码指令。
• ireturn代表从方法中返回一个int类型的结果，对应指令0xac。对应上面第五个字节码指令。

往后的两个字节是异常表长度，int getA()我们没抛出任何异常，所以这里是0x0000，没有异常表。之后就是属性长度和属性表，属性长度是0x0002，有两个属性。我们先来读取第一个属性对应常量池的索引：0x000a，这里是LineNumberTable。往后读取4个字节0x00000006是attribute_length，代表距离这个属性读取完毕还有6个字节。line_number_table_length为0x0001，代表有一个映射关系，start_pc是0x0000，line_number是0x0007，至此第一个属性我们分析完毕。

接下来是第二个属性，先看常量池索引0x000b，在常量池中对应的是LocalVariableTable，根据LocalVariableTable_attribute的结构，我们往后读取四个字节0x0000000c，代表在attribute_length字段之后，还要读取12个字节这个属性才结束。我们先来读取变量表的长度local_variable_table_length，这里是0x0001，只有一个局部变量。之后start_pc为0x0000、length为0x0005、name_index为0x000c，对应常量池this、descriptor_index为0x000d，对应常量池Lcom/leolin/jvm/bytecode/MyTest1;、index为0x0000。

剩下就是第三个方法了，也就是我们之前定义的void setA(int a)。这里的访问标志依旧是0x0001，即ACC_PUBLIC。这个方法的方法名索引和描述符索引分别是0x0010和0x0011，转换成十进制为16和17，对应常量池setA和(I)V。之后是属性数量0x0001，这个方法只有一个属性，根据Code_attribute的定义，往后读取两个字节0x0009为Code，再往后读取四个字节为0x0000003e，代表还要往后读取62个字节，这个属性才结束。max_stack是0x0002，操作数栈的最大长度为2。max_locals是0x0002，方法执行期间最大局部变量数为2。code_length为0x00000006，方法经过编译后对应的字节码指令占据6个字节的长度。我们读取后面6个字节：2a 1b b5 00 02 b1，然后看下void setA(int a)对应的字节码指令：

  public void setA(int);
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
         0: aload_0
         1: iload_1
         2: putfield      #2                  // Field a:I
         5: return
      LineNumberTable:
        line 11: 0
        line 12: 5
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
               0       6     0  this   Lcom/leolin/jvm/bytecode/MyTest1;
               0       6     1     a   I  

　　

这里我们依旧尝试将指令助记符翻译成上面对应的6个字节：

• 第一个aload_0对应的字节码指令0x2a，对应第一个字节码指令。
• 第二个iload_1对应字节码指令0x1b，表示从局部变量表加载索引为1的变量到栈顶，对应第二个字节码指令。
• 第三个putfield对应的字节码指令0xb5，这里接收一个参数为0x0002，为MyTest1对象的字段a，表示将栈顶的值赋予到MyTest1对象的字段a中。整体指令为0xb5 00 02。对应上面第三到第五个字节码指令。
• 第四个return对应的字节码指令是0xb1。

至此，上面方法的字节码指令对应完毕。这个方法也没有抛出异常，所以异常表数量为0x0000。接着是属性长度0x0002，这个方法有两个属性。第一个属性是0x000a，在常量池中对应LineNumberTable，往后读取四个字节0x0000000a，代表还要读取10个字节才结束这个属性，往后读取十个字节：00 02 00 00 00 0b 00 05 00 0c。

line_number_table_length为0x0002，有两个映射关系。第一对映射start_pc为0x0000，line_number为0x000b；第二对映射start_pc为0x0005，line_number为0x000c。至此，第一个属性分析完毕。

第二个属性是0x000b，对应常量池LocalVariableTable，根据LocalVariableTable_attribute的定义，我们往后读取四个字节0x00000016，这个属性还需要读取22个字节才结束。往后读取两个字节0x0002是局部变量表长度，这里有两个局部变量。第一个变量的start_pc是0x0000；length是0x0006；name_index是0x000c，对应常量池this；descriptor_index是0x000d，对应常量池Lcom/leolin/jvm/bytecode/MyTest1;；index是0x0000。第二个变量的start_pc是0x0000；length是0x0006；name_index是0x0005，对应常量池a；descriptor_index是0x0006，对应常量池I；index是0x0001。

至此，我们三个方法都分析完毕了。

class文件的方法之后，就是属性了，这里我们读取两个字节0x0001，MyTest1有一个属性。接着我们根据attribute_info往后读取两个字节0x0012，这里只想常量值第18个元素SourceFile，我们来看下SourceFile_attribute：

SourceFile_attribute {  
	u2 attribute_name_index;  
	u4 attribute_length;  
	u2 sourcefile_index;  
} 

　　

我们先往后读取四个字节0x00000002，代表这个属性之后的长度，还有两个字节。sourcefile_index代表常量池索引，这里是0x0013，十进制为19，对应常量池元素MyTest1.java。

至此，整个MyTest1.class文件我们都分析完毕了。