从栈帧看字节码是如何在JVM中进行流转的

客官°小女子只卖身不卖艺 2023-02-27 12:22 7阅读 0赞

# 从栈帧看字节码是如何在JVM中进行流转的 #

我们都知道java文件需要编译成class文件，然后jvm负责加载并运行class文件，那么字节码文件长什么样子？字节码又是怎么执行的？

## 工具介绍 ##

### javap ###

javap是JDK自带的查看字节码的工具。

javap的使用方法如下：

$ javac Demo.java
    $ javap -p -v Demo

javap命令打印的文件内容有时候过多，可以使用`javap -p -v Demo >> Demo.javap`将内容追加至文本文件中，再用文本工具打开分析。

有时候class文件中没有生成LineNumberTable或LocalVariableTable，可以在编译时使用下面的参数强制生成：

*  javac -g:lines 强制生成LineNumberTable。
 *  javac -g:vars 强制生成LocalVariableTable。
 *  javac -g 生成所有的debug信息。

LocalVariableTable就是栈帧中的局部变量表。

LineNumberTable描述源码行号与字节码行号（字节码偏移量）之间的对应关系，有了这些信息，在debug时，就能够获取到发生异常的源代码行号。

### jclasslib ###

如果你不太习惯使用命令行的操作，还可以使用jclasslib，jclasslib是一个图形化的工具，能够更加直观的查看字节码中的内容。它还分门别类的对类中的各个部分进行了整理，非常的人性化。同时，它还提供了Idea的插件，你可以从plugins中搜索到它。

如果你在其中看不到一些诸如LocalVariableTable的信息，记得在编译代码的时候加上我们上面提到的这些参数。

jclasslib的下载地址：https://github.com/ingokegel/jclasslib

### Demo.java ###

下面的java代码就是后面要分析的字节码对应的源文件：

public class Demo { 
    
        private int a = 1111;
        static long C = 2222;
    
        public long test(long num) { 
            long ret = this.a + num + C;
            return ret;
        }
    
        public static void main(String[] args) { 
            new Demo().test(3333);
        }
    
    }

## test方法的执行过程 ##

### Code区域介绍 ###

test方法同时使用了成员变量a、静态变量C，以及输入参数num。我们此时说的方法执行，内存其实就是在虚拟机栈上分配的。下面这些内容，就是test方法的字节码。

public long test(long);
        descriptor: (J)J
        flags: ACC_PUBLIC
        Code:
          stack=4, locals=5, args_size=2
             0: aload_0
             1: getfield      #2                  // Field a:I
             4: i2l
             5: lload_1
             6: ladd
             7: getstatic     #3                  // Field C:J
            10: ladd
            11: lstore_3
            12: lload_3
            13: lreturn
          LineNumberTable:
            line 7: 0
            line 8: 12

说明：

*  stack=4：表明了test方法的最大操作数栈深度为4。JVM运行时，会根据这个数值，来分配栈帧中操作栈的深度。
 *  locals=5：局部变量的存储空间大小，它的单位是Slot（槽），可以被重用。其中存放的内容包括：this、方法参数、异常处理器的参数、方法体中定义的局部变量。
 *  args\_size=2：方法的参数个数，因为每个实例方法都有一个隐藏参数this（静态方法没有this），所以这里的数字是2。

### 字节码执行过程 ###

#### 0: aload\_0 ####

把第1个引用型局部变量推到操作数栈，这里的意思是把this装载到了操作数栈中。

对于static方法，aload\_0表示对方法的第一个参数的操作。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70]

#### 1: getfield \#2 ####

将指定对象的第2个实例域（Field）的值，压入栈顶。\#2就是指的我们的成员变量a。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 1]

#### 4: i2l ####

将栈顶int类型的数据转化为long类型，这里就涉及我们的隐式类型转换了。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 2]

#### 5: lload\_1 ####

将第一个局部变量入栈,也就是我们的参数num，这里的l表示long。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 3]

#### 6: ladd ####

把栈顶两个long型数值出栈后相加，并将结果入栈。  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 4]

#### 7: getstatic \#3 ####

根据偏移获取静态属性的值，并把这个值push到操作数栈上，也就是静态变量C。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 5]

#### 10: ladd ####

再次执行ladd。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 6]

#### 11: lstore\_3 ####

把栈顶long型数值存入第4个局部变量，一个long和double类型会占用2个slot。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 7]

这里为什么要把栈顶的变量存入局部变量表中，又取出来入栈呢，为什么会有这种多此一举的操作？原因就在于我们定义了ret变量。JVM不知道后面还会不会用到这个变量，所以只好傻瓜式的顺序执行。

为了看到差异，我们可以把代码稍微改动一下，直接返回：

public long test(long num) { 
            return this.a + num + C;
        }

对应的字节码如下：

public long test(long);
        descriptor: (J)J
        flags: ACC_PUBLIC
        Code:
          stack=4, locals=3, args_size=2
             0: aload_0
             1: getfield      #2                  // Field a:I
             4: i2l
             5: lload_1
             6: ladd
             7: getstatic     #3                  // Field C:J
            10: ladd
            11: lreturn
          LineNumberTable:
            line 7: 0

#### 12: lload\_3 ####

将第3个局部变量入栈,也就是我们的参数num，这里的l表示long。

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 8]

#### 13: lreturn ####

从当前方法返回long。

更多精彩内容关注本人公众号：架构师升级之路  
![在这里插入图片描述][20200627175030665.jpg]

[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70]: /images/20230209/19c01966755b4d5882db334b665cb723.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 1]: https://img-blog.csdnimg.cn/20200717163035672.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 2]: https://img-blog.csdnimg.cn/20200717163044322.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 3]: https://img-blog.csdnimg.cn/20200717163054253.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 4]: https://img-blog.csdnimg.cn/20200717163155652.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 5]: https://img-blog.csdnimg.cn/20200717163210803.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 6]: https://img-blog.csdnimg.cn/2020071716322216.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 7]: https://img-blog.csdnimg.cn/20200717164246798.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk_size_16_color_FFFFFF_t_70 8]: https://img-blog.csdnimg.cn/2020071716430560.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3UwMjI4MTI4NDk=,size_16,color_FFFFFF,t_70
[20200627175030665.jpg]: https://img-blog.csdnimg.cn/20200627175030665.jpg