Java内存分析（一）字节码的运行过程

1.示例源码

public class Test{
	public static void main(String[] args){
		Integer a = 1;
		Integer b = 2;
		Integer c = a + b;
	}
}

2.字节码展示

运行如下指令，生成字节码文件

Compiled from "Test.java"
public class Test {
  public Test();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: iconst_1
       1: invokestatic  #2                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
       4: astore_1
       5: iconst_2
       6: invokestatic  #2                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
       9: astore_2
      10: aload_1
      11: invokevirtual #3                  // Method java/lang/Integer.intValue:()I
      14: aload_2
      15: invokevirtual #3                  // Method java/lang/Integer.intValue:()I
      18: iadd
      19: invokestatic  #2                  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;
      22: astore_3
      23: return
}

3.字节码指令运行过程

接下来分析Code中字节码运行的过程。这里说一下，每个指令前的数字为指令在寄存器中的偏移量。

第 1 行表示当前的字节码文件编译自 Test.java
第 3 行表示调用 Test 的无参构造函数来实例化当前对象。
第 4 行到第 7 行表示无参构造函数的执行流程。
第 5 行表示把 this 压入操作数栈中。第 6 行表示调用 Test父类 Object 的无参构造，我们知道每个对象在实例化的时候都会默认先实例化其父类对象，并且默认调用父类的无参构造。
第 7 行 return 表示构造方法执行完毕。
第 10 行到第 23 行表示 main 方法的执行流程。
第 11 行表示将int常量 1 压入操作数栈。
第 12 行1: invokestatic #2 调用序号为#2的对象的静态方法，这里调用的是 Integer.valueOf()方法，表示将该int类型进行装箱操作，变为Integer类型
第 13 行 astore_1 在索引为1的位置将第一个操作数出栈（一个Integer值）并且将其存进本地变量，相当于变量a
第 14 行iconst_2 将int常量2进行放入操作数栈
第 15 行 6: invokestatic #2 调用序号为#2的对象的静态方法，这里调用的是 Integer.valueOf()方法，表示将该int类型进行装箱操作，变为Integer类型
第 16行 9: astore_2 在索引为2的位置将第一个操作数出栈（一个Integer值）并且将其存进本地变量，相当于变量b。
第 17行 10: aload_1 从索引1的本地变量中加载一个int值，放入操作数栈
第 18行 11: invokevirtual #3 调用常量池中序号为#3的实例方法，这里调用的是 Integer.intValue()方法
第 19行 14: aload_2 从索引1的本地变量中加载一个int值，放入操作数栈
第 20行 15: invokevirtual #3 调用常量池中序号为#3的实例方法，这里调用的是 Integer.intValue()方法
第 21行: iadd 把操作数栈中的前两个int值出栈并相加，将相加的结果放入操作数栈。
第 22行 19: invokestatic #2调用常量池中序号为#2的静态方法，这里调用的是 Integer.valueOf()方法
第 23行 22: astore_3 在索引为3的位置将第一个操作数出栈（一个Integer值）并且将其存进本地变量，相当于变量c。
第 24行 23: return 方法结束