带你逐行阅读经典Class字节码指令

首先阅读字节码指令前必须知道两个重要概念

• 操作数栈：可理解为java虚拟机栈中的一个用于计算的临时数据存储区。
• 局部变量表：（Local Variable Table）是一组变量值存储空间，用于存放方法参数和方法内部定义的局部变量。

在IDEA中，可以查看局部变量表，下图中，main方法有两个变量，args和a。

字节码指令，有一篇很好的博客：
Java字节码指令收集大全

案例

1.定义一个局部变量

bipush 10   // 将10入栈
istore_1 // 将栈顶引用类型值保存到局部变量1中。
return // 结束

2.+= 操作 和 + 操作

bipush 10   // 将10入栈
istore_1 // 将栈顶引用类型值保存到局部变量1中。
iinc 1 by 20 // 将局部变量1自增20
iload_1 // 从局部变量1中装载int类型值入栈。
bipush 20   // 将20入栈
iaa // 局部变量1 + 20
istore_1 // 将栈顶引用类型值保存到局部变量1中。
return // 结束

3.++ 操作

bipush 10   // 将10入栈
istore_1 // 将栈顶引用类型值保存到局部变量1中。
iinc 1 by 1 // 将局部变量1自增1
getstatic // 获取获取静态字段
iload_1 // 从局部变量1中装载int类型值入栈。
invokevirtual // 调用System.out的实例方法
return // 结束

可以看到 ++ 操作是可以在局部变量表中自增的，然后需要时再装载进操作数栈
System.out.println(b++)；

为什么打印的还是10? 因为在调用System.out.println方法时，我们先用iload_1 , 将初始的局部变量装载进了操作数栈，然后在局部变量表中进行自增1，最后打印操作数栈中的初始局部变量，所以还是10。
System.out.println(++b);

可以看到，++b是先在局部变量表中进行自增， 然后 iload_1 将局部变量装载进操作数栈，然后进行打印，也就是11了。

4.new 操作

新建数组：

bipush 10 // 将10入栈
newarray 10 (int)  // 新建一个长度为10的int数组
astore_1  // 将栈顶引用类型值保存到局部变量1中。
return // 结束

新建对象

new #2 <application02/Demo0>  //  创建实例对象
dup // 将栈顶元素复制并重新压入栈顶，因为操作会消耗栈顶元素，在new时需要调用实例化方法再存储，两个步骤，所以需要复制一次栈顶元素
invokespecial #3 <application02/Demo0.<init>> // 调用特殊方法，初始化方法
astore_1 // 将栈顶引用类型值保存到局部变量1中。
return

5.类型转换操作

转换操作有宽转换和窄转换两种，一种是向大范围转换，一种是向小范围转换。
宽转化，核心就是i2l

窄转化，可以看到，int -> byte 有i2b,而long -> byte 需要 l2i,l2b两步，这里有个知识点，我们看到上面的指令中，没有b或c或s打头的，是因为实际上

java字节码中的大部分指令都没有支持整数类型byte、char和short，甚至没有任何指令支持boolean类型，编译器会在编译期或者运行期将byte和short类型的数据带符号扩展为相应的int类型的数据，将boolean和char类型数据零位扩展为相应的int类型数据

6.条件分支和比较

对于条件分支，其核心都是int类型的比较，所以int类型的比较和条件分支包含在了一起，比较后直接跳转，没有返回值。而其他类型如long、float、double类型的比较有各自的字节码指令，比较结果会通过返回值的方式表示。

int类型
例如字节码第六行 if_icmple 13 表示 如果小于等于后则跳转13行，否则继续顺序执行。
注意：这里与源码相反，源码我们用的是>而字节码中用小于等于。源码是==，字节码则是不等。

其他类型
可以看到float类型的比较，先用指令fcmpl进行比较，返回值到操作数栈，然后栈顶元素用ifle指令控制跳转。

想看更多字节码可以评论区留言。