JVM 字节码是 Java 虚拟机 (JVM) 执行的指令集，它是一种与平台无关的二进制格式，在任何支持 JVM 的平台上都可运行的Java 程序。 字节码存储信息的方式，主要通过以下几个关键组成部分和机制来实现：
1. 指令 (Opcodes) 和 操作数 (Operands):
- 指令 (Opcodes): 字节码的核心是指令集，每条指令都是一个单字节 (byte) 的数字编码，称为 操作码 (opcode)。 操作码定义了 JVM 需要执行的具体操作，例如：
- 算术运算:
iadd(整数加法),isub(整数减法),fmul(浮点数乘法) 等。 - 数据加载和存储:
iload(加载整数到操作数栈),istore(将整数从操作数栈存储到局部变量表),getfield(获取对象字段值) 等。 - 类型转换:
i2f(整数转浮点数),l2i(长整型转整型) 等。 - 方法调用:
invokevirtual(调用虚方法),invokestatic(调用静态方法),invokeinterface(调用接口方法) 等。 - 控制流:
goto(无条件跳转),ifeq(如果等于 0 则跳转),return(方法返回) 等。
- 算术运算:
- 操作数 (Operands): 有些指令需要额外的操作数 (operands) 来指定指令执行所需的参数或数据。 操作数紧跟在操作码之后，可以是：
- 字节 (byte): 例如，用于表示局部变量表的索引、常量池的索引等。
- 短整型 (short): 例如，用于表示分支指令的偏移量。
- 整型 (int): 例如，用于表示常量池的索引 (在某些指令中)。
- 常量池索引 (constant pool index): 指向常量池中特定项的索引，用于引用类名、方法名、字段名、字符串字面量、数值常量等。
案例:
// Java 源代码
public class Example {
public static int add(int a, int b) {
return a + b;
}
}
// 对应的 JVM 字节码 (简化表示)
// 方法 add 的字节码
0: iload_0 // 将局部变量 0 (a) 推入操作数栈
1: iload_1 // 将局部变量 1 (b) 推入操作数栈
2: iadd // 执行整数加法，栈顶两个值相加，结果推回栈顶
3: ireturn // 从方法返回，返回栈顶的整数值
在这个例子中：
iload_0,iload_1,iadd,ireturn都是操作码 (指令)。iload_0和iload_1的操作数是隐式的 (隐含了局部变量表的索引 0 和 1)。
2. 常量池 (Constant Pool):
- 关键的数据结构: 常量池是
.class文件中的一个表结构，也是字节码存储信息的核心组成部分。 它存储了类、方法、字段、字符串字面量、数值常量等各种符号引用和字面量常量。 - 动态链接的基础: 常量池为 JVM 的动态链接机制提供了基础。 字节码中的指令通常通过常量池索引来引用程序中的各种符号和常量，而不是直接使用内存地址。 这使得字节码具有平台无关性，因为具体的内存地址在运行时才由 JVM 决定。
- 存储类型: 常量池中的每一项 (constant pool entry) 都有一个 tag 标识其类型，常见的类型包括：
CONSTANT_Class_info: 类或接口的符号引用 (类名、接口名)。CONSTANT_Fieldref_info: 字段的符号引用 (类名、字段名、字段描述符)。CONSTANT_Methodref_info: 方法的符号引用 (类名、方法名、方法描述符)。CONSTANT_InterfaceMethodref_info: 接口方法的符号引用。CONSTANT_String_info: 字符串字面量。CONSTANT_Integer_info,CONSTANT_Float_info,CONSTANT_Long_info,CONSTANT_Double_info: 数值常量 (整数、浮点数、长整型、双精度浮点数)。CONSTANT_NameAndType_info: 字段或方法名称和描述符。CONSTANT_Utf8_info: UTF-8 编码的字符串 (用于存储类名、方法名、字段名等字符串)。- … (还有其他类型)
例子 (常量池引用):
// Java 源代码
public class Example {
private String message = "Hello"; // 字符串字面量 "Hello"
public void printMessage() {
System.out.println(message); // 引用字段 message
}
}
// 对应的 JVM 字节码 (简化表示)
// ... (省略其他字节码)
// getfield 指令，操作数是常量池索引 #2
4: getfield #2 // Field Example.message:Ljava/lang/String;
// 常量池 #2 项 (简化表示)
#2 = Fieldref #4.#5 // 字段引用
#4 = Class #6 // 类名引用
#5 = NameAndType #7:#8 // 名称和类型引用
#6 = Utf8 Example // 类名字符串 "Example"
#7 = Utf8 message // 字段名字符串 "message"
#8 = Utf8 Ljava/lang/String; // 字段类型描述符 "Ljava/lang/String;"
在这个例子中：
getfield #2指令使用常量池索引#2来引用要访问的字段message。- 常量池
#2项是一个Fieldref结构，它又通过其他常量池索引引用了类名、字段名和字段描述符等信息。 - 字符串字面量
"Hello"也存储在常量池中 (例如，通过CONSTANT_String_info和CONSTANT_Utf8_info)，并在需要时被引用。
3. 局部变量表 (Local Variable Table):
- 存储方法内的局部变量: 局部变量表是每个方法在运行时创建的栈帧 (stack frame) 的一部分。 它用于存储方法内部的局部变量，包括：
- 方法的参数 (arguments)。
- 方法体内部定义的局部变量。
- 数组结构: 局部变量表本质上是一个数组，每个数组元素可以存储一个 Java 的基本数据类型值 (int, float, long, double, byte, short, char, boolean) 或对象引用 (reference)。
- 索引访问: 字节码指令使用索引来访问局部变量表中的变量，例如
iload_0加载索引为 0 的局部变量，istore_1将值存储到索引为 1 的局部变量。
4. 操作数栈 (Operand Stack):
- 运算和操作的工作区: 操作数栈是每个方法栈帧的另一个重要组成部分。 它是一个后进先出 (LIFO) 的栈，用于：
- 存储指令的操作数: 指令执行时，会从操作数栈中弹出操作数。
- 存储指令的运算结果: 指令执行完毕后，会将结果压入操作数栈顶。
- 指令的执行流程: JVM 的字节码指令大多是基于栈的指令集。 指令通常会：
- 从局部变量表或常量池加载数据到操作数栈。
- 从操作数栈中弹出操作数进行运算。
- 将运算结果压入操作数栈。
- 将操作数栈顶的值存储到局部变量表或字段中，或者作为方法返回值返回。
5. 方法区 (Method Area) (元空间/永久代):
- 存储类元数据: 方法区 (在 JDK 8 及之后被元空间 Metaspace 取代，JDK 7 及之前为永久代 PermGen) 用于存储类的信息，包括：
- 类的结构信息: 例如，类的名称、父类、实现的接口、字段信息、方法信息、访问修饰符等。
- 运行时常量池 (Runtime Constant Pool): 每个类都有一个运行时常量池，它是
.class文件常量池在运行时的表示形式，用于支持动态链接。 - 静态变量: 类的静态变量也存储在方法区中。
- JIT 编译后的代码: 即时编译器 (JIT Compiler) 编译后的本地机器码通常也存储在方法区中。
总结:
JVM 字节码通过以下方式存储信息：
- 指令集 (Opcodes): 定义了 JVM 要执行的操作，每条指令都是一个单字节编码。
- 操作数 (Operands): 为指令提供参数或数据，可以是字节、短整型、整型或常量池索引。
- 常量池 (Constant Pool): 存储了类、方法、字段、字符串字面量、数值常量等符号引用和字面量常量，是动态链接的基础。
- 局部变量表 (Local Variable Table): 存储方法内部的局部变量，包括参数和方法体内部定义的变量。
- 操作数栈 (Operand Stack): 作为指令运算和操作的工作区，存储指令的操作数和运算结果。
- 方法区 (Method Area) / 元空间 (Metaspace): 存储类的元数据信息，包括类结构、运行时常量池、静态变量等。