19 Java字节码（基础篇）：从指令到执行

Java 字节码是 Java 程序的中间表示形式，它是 JVM 可执行的指令集。理解字节码的结构和执行过程，对于深入理解 JVM 的工作原理至关重要。本文将介绍 Java 字节码的基本结构、常用指令以及执行过程。

一、字节码的基本概念

什么是字节码

字节码是 Java 编译器将 Java 源代码编译后生成的中间代码，存储在 .class 文件中：

Java 源代码 → javac 编译器 → 字节码（.class 文件）→ JVM 执行

字节码的特点

1. 平台无关：字节码可以在任何支持 JVM 的平台上运行
2. 紧凑高效：字节码指令长度固定为 1 字节（操作码）
3. 可扩展：支持动态加载和扩展

字节码与机器码的区别

特性	字节码	机器码
平台相关性	平台无关	平台相关
执行方式	解释执行或 JIT 编译	直接执行
指令长度	固定 1 字节	可变
抽象程度	高（面向 JVM）	低（面向硬件）

二、.class 文件结构

.class 文件的组成

部分	说明
魔数	0xCAFEBABE，标识 Java 类文件
版本号	主版本号和次版本号
常量池	存储字符串、类名、方法名等常量
访问标志	类的访问修饰符（public、final 等）
类索引	指向常量池中类名的索引
父类索引	指向常量池中父类名的索引
接口索引表	实现的接口列表
字段表	类的字段定义
方法表	类的方法定义
属性表	附加属性（如 SourceFile）

常量池

常量池是 .class 文件中最重要的部分，存储了各种常量：

常量类型	说明
CONSTANT_Utf8	UTF-8 编码的字符串
CONSTANT_Class	类或接口的符号引用
CONSTANT_Fieldref	字段的符号引用
CONSTANT_Methodref	方法的符号引用
CONSTANT_InterfaceMethodref	接口方法的符号引用
CONSTANT_NameAndType	名称和类型描述符
CONSTANT_Integer	整型常量
CONSTANT_Float	浮点型常量
CONSTANT_Long	长整型常量
CONSTANT_Double	双精度常量

三、字节码指令集

指令格式

每条字节码指令由两部分组成：

• 操作码（Opcode）：1 字节，标识指令类型
• 操作数：0 个或多个字节，提供指令所需的参数

常用指令分类

1. 加载和存储指令

指令	说明
iload_n	加载第 n 个 int 型局部变量
istore_n	将栈顶 int 值存储到第 n 个局部变量
aload_n	加载第 n 个引用类型局部变量
astore_n	将栈顶引用值存储到第 n 个局部变量
ldc	加载常量到栈顶

2. 算术运算指令

指令	说明
iadd	栈顶两个 int 值相加
isub	栈顶两个 int 值相减
imul	栈顶两个 int 值相乘
idiv	栈顶两个 int 值相除
ineg	栈顶 int 值取反
iinc	局部变量自增

3. 对象操作指令

指令	说明
new	创建对象
invokevirtual	调用实例方法
invokestatic	调用静态方法
invokespecial	调用私有方法、构造器
invokeinterface	调用接口方法
getfield	获取对象字段
putfield	设置对象字段

4. 控制流指令

指令	说明
if_eq	相等则跳转
if_ne	不相等则跳转
if_lt	小于则跳转
if_ge	大于等于则跳转
goto	无条件跳转
return	返回

四、字节码执行过程

栈帧结构

JVM 在执行方法时，会创建一个栈帧（Stack Frame），包含：

部分	说明
局部变量表	存储方法参数和局部变量
操作数栈	用于字节码指令的操作
动态链接	指向方法区的符号引用
返回地址	方法返回后的继续执行位置

字节码执行示例

public class BytecodeDemo {
    public static void main(String[] args) {
        int a = 10;
        int b = 20;
        int c = a + b;
        System.out.println(c);
    }
}

编译后的字节码：

public static void main(java.lang.String[]);
  Code:
     0: bipush        10        // 加载常量 10 到操作数栈
     2: istore_1                // 存储到局部变量 1（a）
     3: bipush        20        // 加载常量 20 到操作数栈
     5: istore_2                // 存储到局部变量 2（b）
     6: iload_1                 // 加载局部变量 1 到操作数栈
     7: iload_2                 // 加载局部变量 2 到操作数栈
     8: iadd                    // 栈顶两个 int 值相加
     9: istore_3                // 存储到局部变量 3（c）
    10: getstatic     #2        // 获取 System.out
    13: iload_3                 // 加载局部变量 3 到操作数栈
    14: invokevirtual #3        // 调用 println 方法
    17: return                  // 返回

执行过程：

1. 执行 bipush 10，操作数栈变为 [10]
2. 执行 istore_1，将 10 存储到局部变量 1，操作数栈变为 []
3. 执行 bipush 20，操作数栈变为 [20]
4. 执行 istore_2，将 20 存储到局部变量 2，操作数栈变为 []
5. 执行 iload_1，加载局部变量 1，操作数栈变为 [10]
6. 执行 iload_2，加载局部变量 2，操作数栈变为 [10, 20]
7. 执行 iadd，栈顶两个数相加，操作数栈变为 [30]
8. 执行 istore_3，将 30 存储到局部变量 3，操作数栈变为 []
9. 执行 getstatic，获取 System.out，操作数栈变为 [out]
10. 执行 iload_3，加载局部变量 3，操作数栈变为 [out, 30]
11. 执行 invokevirtual，调用 println(30)
12. 执行 return，方法返回

五、字节码的分析工具

javap

javap 是 JDK 自带的字节码分析工具：

// 查看类的字节码
javap -c BytecodeDemo.class
​
// 查看类的详细信息（包括常量池）
javap -v BytecodeDemo.class
​
// 查看类的私有成员
javap -p BytecodeDemo.class

ASM

ASM 是一个强大的字节码操作库，用于生成和修改字节码：

// 使用 ASM 生成字节码
ClassWriter cw = new ClassWriter(ClassWriter.COMPUTE_FRAMES);
cw.visit(V1_8, ACC_PUBLIC, "MyClass", null, "java/lang/Object", null);
​
// 添加构造器
MethodVisitor mv = cw.visitMethod(ACC_PUBLIC, "<init>", "()V", null, null);
mv.visitVarInsn(ALOAD, 0);
mv.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V", false);
mv.visitInsn(RETURN);
mv.visitMaxs(1, 1);
mv.visitEnd();
​
// 添加 main 方法
mv = cw.visitMethod(ACC_PUBLIC + ACC_STATIC, "main", "([Ljava/lang/String;)V", null, null);
mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;");
mv.visitLdcInsn("Hello, ASM!");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "println", "(Ljava/lang/String;)V", false);
mv.visitInsn(RETURN);
mv.visitMaxs(2, 1);
mv.visitEnd();
​
cw.visitEnd();
byte[] code = cw.toByteArray();

Java 字节码编辑器

• JBE（Java Bytecode Editor）：可视化编辑字节码
• JBytedit：开源的字节码编辑器
• ClassyShark：Google 开发的字节码查看器

六、总结

Java 字节码是 JVM 的核心：

1. .class 文件结构：魔数、版本号、常量池、字段表、方法表等
2. 字节码指令集：加载存储、算术运算、对象操作、控制流等
3. 执行过程：栈帧结构和操作数栈的操作
4. 分析工具：javap、ASM、JBE 等

理解字节码的结构和执行过程，有助于深入理解 JVM 的工作原理，以及编写高效的 Java 代码。