Java字节码整体分析与总结

上一次【https://www.cnblogs.com/webor2006/p/9508341.html】已经将编译器生成的默认构造方法的字节相关的分析完了，接下来则分析咱们自定义的方法啦，按照顺序来讲的话应该是再分析getA()了：

还是按照方法的结构来分析，先来回忆一下方法的结构：

前两个字节表示访问修饰符，所以跟着上次分析的位置数两个字节：

然后再去修饰符表中去查看一下是哪个修饰符，如下：

接着四个字节分别表示方法名称的索引以及方法描述符的索引，如下：

所以数四个字节：

对应常量池14、15，如下：

确实如咱们的猜想，第二个方法就是getA()，好继续往下分析：

表示方法的属性个数，所以往下数两个字节：

所以说明只有一个属性，接着再数2个字节则表示属性的名称索引，如下：

对应常量池：

如之前所述：每个方法都有一个对应的Code属性， 所以接下来就得来看一下Code属性结构体了，如下：

接着则是attribute_length了，往下数四个字节：

说明整个Code的长度为47个字节，对比一下jclasslib所示：

继续往下：往下两个字节为：

所以往后数四个字节：

max_stack表示这个方法运行的任何时刻所能达到的操作数栈的最大深度为1；max_locals表示方法执行期间创建的局部变量的数目为1，而咱们getA()压根就木有定义局部变量，根据之前分析的默认构造方法可以得知此局部变量为编译器生成的this变量。

继续往下：

表示该方法所包含的字节码的字节数以及具体的指令码，所以往后数4个字节：

长度为5，所以往后再数5个字节则为对应在jclasslib中的代码助记符的信息，也就是方法的执行体，如下：

第一个字节为：

刚好对应aload_0，如下：

接着第二个字节：

对应助记符为：

看一下官网对它的解释：

而且它是有参数的，所以往后数两个字节：

对应常量池为：

所以如jclasslib所看到：

接下来最后一个Code的字节，如下：

对应助记符为：

查看官网说明：

好，接下来则是异常表的信息，如下：

往后数2个字节：

因为该方法木有异常，所以为0，那异常信息就可以忽略了，如下：

接下来则到属性相关的东东了，如下：

往后数两个字节：

说明有两个属性，往下数两个字节则是第一个属性的名字索引，如下：

查看常量池：

表示的是行号表，所以此时就要看一下行号表的结构体了：

接下来数4个字节则是属性的长度attribute_length，如下：

所以接下来的6个字节则为该行号表的信息，如下：

看一下jclasslib：

下面具体来分析一下这10个字节，根据结构体来看：

先2个字节表示属性表有几对映射，如下：

说明有1对映射，然后再回到结构体中，每对映射的内容为：

每对占4个字节，所以：

也就是start_pc=0;line_number=7，对应于jclasslib：

对应的源代码为：

好，方法的第一个属性已经完了，接下来以同样的顺序来查看方法的第二个属性信息了，走2个字节来看属性名称索引，如下：

对应常量表：

它的结构跟LineNumberTable差不多的，往后数四个字节则是局部变量表所占的长度：

长度为12，如jclasslib所示：

然后往后数12个字节则是局部变量的具体信息，如下：

首先两个字节则为局部变量的个数，如下：

说明有一个局部变量，再往后四个字节表示start_pc和length，如下：

如jclasslib所示：

接下来则为局部变量的索引为0，也就是第一个局部变量，如下：

再往后两个个字节则是局部变量对应常量池的索引，如下：

再接下来两个字节则是对该局部变量的一个描述常量索引，如下：

所以对应jclasslib中可以看到：

从这个分析又能证明，对于实例方法，都会有一个this局部变量存在的。

还剩最后两个字节则为stackmaptable信息，JDK1.6加入的，主要做校验检查的，因为0嘛所以后面肯定木有相关的信息了，这里就直接忽略，如下：

至此getA()方法就已经完全分析完了，接着就是第二个方法setA()了：

所以还得来依据方法表来进行分析：

前两个字节表示访问修饰符：

然后再去修饰符表中去查看一下是哪个修饰符，如下：

接着四个字节分别表示方法名称的索引以及方法描述符的索引，如下：

对应常量池16、17，如下：

正如我们所看到的，继续往下分析：

表示方法的属性个数，所以往下数两个字节：

所以说明只有一个属性，接着再数2个字节则表示属性的名称索引，如下：

对应常量池：

是不是对它异常的亲切了，每个方法必然会有这个属性，所以接下来就得来看一下Code属性结构体了，如下：

接着则是attribute_length了，往下数四个字节：

说明整个Code的长度为62个字节，对比一下jclasslib所示：

继续往下：往下两个字节为：

所以往后数四个字节：

max_stack表示这个方法运行的任何时刻所能达到的操作数栈的最大深度为2；max_locals表示方法执行期间创建的局部变量的数目为2，为啥这次变为2个局部变量了呢？因为第一个是隐式的this，第二个则为方法的int参数。

继续往下：

表示该方法所包含的字节码的字节数以及具体的指令码，所以往后数4个字节：

长度为6，所以往后再数6个字节则为对应在jclasslib中的代码助记符的信息，也就是方法的执行体，如下：

第一个字节为：

刚好对应aload_0，如下：

接着第二个字节：

对应助记符为：

看一下官网对它的解释：

第三个字节：

对应助记符为：

看一下官网对它的解释：

而且它是有参数的，所以往后数两个字节：

对应常量池为：

所以如jclasslib所看到：

接下来最后一个Code的字节，如下：

对应助记符为：

至此setA()方法的执行体就已经分析完了。

好，接下来则是异常表的信息，如下：

往后数2个字节：

因为该方法木有异常，所以为0，那异常信息就可以忽略了，如下：

接下来则到属性相关的东东了，如下：

往后数两个字节：

说明该方法有两个属性，往下数两个字节则是第一个属性的名字索引，如下：

也就是对应第10的常量池，为：

该属性用来表示code数组中的字节码和Java代码行数之间的关系。这个属性可以用来在调试的时候定位代码执行的行数。而该属性的结构为：

其中attribute_name_index就是常量索引10，接下来数4个字节则是属性的长度attribute_length，如下：

也就是属性的长度为10，也就是接下来10个字节则为LineNumberTable的属性信息，如下：

看一下jclasslib：

下面具体来分析一下这10个字节，根据结构体来看：

先2个字节表示属性表有几对映射，如下：

说明有两对映射，然后再回到结构体中，每对映射的内容为：

每对占4个字节，先看第一对映射：

也就是start_pc=0;line_number=11，对应于jclasslib：

对应源代码：

接下来看第二对映射：

也就是start_pc=5;line_number=12，对应于jclasslib：

对应源代码：

好，方法的第一个属性已经完了，接下来以同样的顺序来查看方法的第二个属性信息了，走2个字节来看属性名称索引，如下：

对应第11个常量池索引，如下：

它的结构跟LineNumberTable差不多的，往后数四个字节则是局部变量表所占的长度：

长度为22，如jclasslib所示：

然后往后数12个字节则是局部变量的具体信息，首先两个字节则为局部变量的个数，如下：

先分析第一个局部变量，往后四个字节表示start_pc和length，如下：

如jclasslib所示：

接下则为局部变量的索引为0，也就是第一个局部变量，如下

再往后两个字节则是局部变量对应常量池的索引，如下：

再接下来两个字节则是对该局部变量的一个描述常量索引，如下：

所以对应jclasslib中可以看到：

还剩最后两个字节则为stackmaptable信息，JDK1.6加入的，主要做校验检查的，因为0嘛所以后面肯定木有相关的信息了，这里就直接忽略，如下：

再来分析第二个局部变量，往后四个字节表示start_pc和length，如下：

如jclasslib所示：

接下来则为局部变量的索引为1，也就是第二个局部变量：

再往后两个字节则是局部变量对应常量池的索引，如下：

再接下来两个字节则是对该局部变量的一个描述常量索引，如下：

如jclasslib：

还剩最后两个字节则为stackmaptable信息，JDK1.6加入的，主要做校验检查的，这里就直接忽略，如下：

至此！！所有类中的方法相关的字节码就全部分析完了，确实够麻烦，最后则是类的属性信息了如下：

往后两个字节则表明字节码属性的长度：

有一个文件属性，往后两个字节则为属性名称的常量池索引，如下：

对应常量池：

再往后四个字节则为属性所占字节的长度：

说明attribute_length占2个字节，也就是最后剩的两个字节，如下：

对应常量：

如jclasslib所示：

哎呀！！！终于完完整整一字不落的将字节码的每个字节对应的意义给分析完了，超级繁锁，不过，也对Java字节码文件顺间觉得亲切多啦~~