当前位置：首页 > news >正文

【15】Java字节码

news 2025/11/26 23:00:46

Java方法栈帧的组成：操作数栈+局部变量表

操作数栈

Java字节码是Java虚拟机所使用的的指令集。它与JVM基于栈的计算模型是分不开的。
在解释执行过程中，每当为 Java 方法分配栈桢时，Java 虚拟机往往需要开辟一块额外的空间作为操作数栈，来存放计算的操作数以及返回结果。
- 执行每条执行之前，JVM要求该指令的操作数已被压入操作数栈中
- 在执行指令时，JVM会将该指令所需要的操作数弹出，并将该指令的结果重新压入栈中

以iadd为例说明该执行过程
在这里插入图片描述

正常情况下，操作数栈的压入弹出都是一条条指令完成的
在抛出异常时，JVM会清空操作数栈上到所有内容，而后将异常实例的引用压入操作数栈

直接作用在操作数栈上的Java字节码指令

dup 复制栈顶元素

dup指令常用于复制new指令生成的未经初始化的引用

执行new指令时，JVM将指向一块已分配的但未初始化的内存引用压入操作数栈
invokespecial指令将要以这个引用为调用者，调用其构造器
该指令将消耗操作数栈上的元素，作为它的调用者和参数
这之前利用dup指令复制一份new指令的结果，并用来调用构造器

public void dup() {Object o = new Object();
}// 对应的字节码
public void dup();descriptor: ()Vflags: ACC_PUBLICCode:stack=2, locals=2, args_size=10: new               // class java/lang/Object3: dup4: invokespecial     // Method java/lang/Object."<init>":()V7: astore_18: return

pop 舍弃栈顶元素

pop指令常用于舍弃调用指令的返回结果

  public static boolean bar() {return false;}public void foo() {bar();}// foo 方法对应的字节码如下：public void foo();0  invokestatic FooTest.bar() : boolean [24]3  pop4  return
invokestatic指令依然会将返回值压入pop方法的操作数栈
因此JVM需要执行额外的pop指令，将返回值舍弃

swap 交换栈顶两个元素的值

局部变量区

字节码程序将计算的结果缓存在局部变量表
局部变量表类似于一个数组，依次存放
- this指针（针对实例方法）
- 所传入的参数
- 字节码中的局部变量

public void locals(long l, float f) {{int i = 0;}{String s = "Hello Word";}
}// 对应的字节码
public void locals(long, float);descriptor: (JF)Vflags: ACC_PUBLICCode:stack=1, locals=5, args_size=3 //Java编译器在编译时就已经能确定操作数栈、局部变量表的大小以及参数个数(非static方法多一个this)0: iconst_01: istore        43: ldc               // String Hello Word5: astore        47: return1. locals是一个实例方法，局部变量表的第0个单元存放this指针
2. 第一个参数为long类型，占用局部变量表的第1、2个单元
3. 第二个参数为float类型，占用局部变量表的第3个单元
4. 方法体内的两个代码块中，分别定义了局部变量i和s，两者的生命周期没有重合,Java编译器将它们编排至同一单元，即局部变量表的第4个单元(istore 4和astore 4)

存储在局部变量区的值，通常需要加载至操作数栈中，方能进行计算，得到计算结果后再存储至局部变量数组中。这些加载、存储指令是区分类型的。例如，int 类型的加载指令为 iload，存储指令为 istore。

综合示例

public static int bar(int i) {return ((i + 1) - 2) * 3 / 4;
}
// 对应的字节码如下：
Code:stack=2, locals=1, args_size=1 //Java编译器在编译时就已经能确定操作数栈、局部变量表的大小为1以及参数个数1个(static方法无this)0: iload_01: iconst_12: iadd3: iconst_24: isub5: iconst_36: imul7: iconst_48: idiv9: ireturn

在这里插入图片描述