跳至主要內容

JVM 字节码与 Class 文件结构

Corey2026/9/3大约 8 分钟性能调优性能调优JVM字节码Class文件

JVM 系列 · 第 5/12 篇
上一篇：《JVM 对象创建与内存分配机制》
下一篇：《深入理解 JVM 执行引擎》

开头：.java 编译后，JVM 读的是什么？

类加载 加载的是 Class 二进制；执行引擎 执行的是 方法区里的字节码。本文用一份简单 POJO，从 javap -verbose 与 十六进制 两条线，完整走读 Class 文件结构——读懂它，才能理解栈帧、常量池在运行期如何被使用。

一、示例源码与 javap 反编译

1.1 源代码

public class TulingByteCode {
    private String userName;

    public String getUserName() { return userName; }

    public void setUserName(String userName) {
        this.userName = userName;
    }
}

1.2 javap -verbose TulingByteCode.class 摘要

Classfile .../TulingByteCode.class
  Last modified ...; size 629 bytes
  MD5 checksum ...
  Compiled from "TulingByteCode.java"
public class ...TulingByteCode
  minor version: 0
  major version: 52          // JDK 1.8
  flags: ACC_PUBLIC, ACC_SUPER
Constant pool:
  #1 = Methodref #4.#21      // java/lang/Object."<init>":()V
  #2 = Fieldref #3.#22       // ...TulingByteCode.userName:Ljava/lang/String;
  ...

javap 输出的 常量池索引、方法体 Code、LineNumberTable 等，与磁盘上 Class 二进制 一一对应——下文按字节顺序对齐。

二、Class 文件整体结构

Class 文件是 8 位字节流；十六进制查看器中 1 字节 = 2 个十六进制 digit。

Class 文件结构总览

2.1 顶层结构表

类型名称数量
u4Magic（魔数）1
u2minor_version1
u2major_version1
u2constant_pool_count1
cp_infoconstant_poolcount - 1
u2access_flags1
u2this_class1
u2super_class1
u2interfaces_count1
u2interfacesinterfaces_count
u2fields_count1
field_infofieldsfields_count
u2methods_count1
method_infomethodsmethods_count
u2attributes_count1
attribute_infoattributesattributes_count

伪代码视角：

Class 文件结构伪代码

2.2 魔数与版本号

  • 魔数：前 4 字节固定 0xCAFEBABE
  • 次版本号（minor）：2 字节，如 00 00
  • 主版本号（major）：2 字节，如 00 34 → 十进制 52 → JDK 1.8（51=1.7，50=1.6，依此类推）

2.3 常量池入口

紧跟版本号后 2 字节 为 constant_pool_count。示例 00 19 → 十进制 25，实际常量条目 = 25 - 1 = 24——因为 #0 被 JVM 保留为 null，javap 索引从 #1 开始。

三、常量池（Constant Pool）

3.1 角色

常量池是 Class 的 资源仓库：方法名、字段名、类名、字面量、符号引用等；后续字段表、方法表、属性表中的索引 都指向常量池。

常量池在 Class 中的位置

3.2 字面量 vs 符号引用

类别内容示例
字面量Utf8 字符串、int/float、Class 名文本
符号引用Class、Fieldref、Methodref、NameAndType、InterfaceMethodref

常量池类型分类

完整类型一览（动态调用相关 InvokeDynamic 等 JDK 7+ 扩展此处从略）：

字面量符号引用
Utf8、String、Integer、Float、Long、DoubleClass、Fieldref、Methodref、NameAndType、InterfaceMethodref

3.3 cp_info 结构

每个常量项：u1 tag + 依 tag 而定的 info。u1/u2/u4/u8 表示 1/2/4/8 字节无符号数。

cp_info 结构示意

3.4 字段与方法描述符

JVM 用 描述符 压缩类型信息：

基本类型（单字母大写）：

符类型
B/C/D/F/I/J/S/Z/Vbyte/char/double/float/int/long/short/boolean/void

对象：L + 全限定类名 + ;，如 Ljava/lang/String;

数组：每个维度一个 [，如 int[] → [I，String[][] → [[Ljava/lang/String;

方法：( 参数列表 ) 返回值，如 String getUserInfo(int id, String name) → (ILjava/lang/String;)Ljava/lang/String;

四、常量池逐条解析（示例 Class）

以下十六进制片段来自同一 Class；与 javap #1–#24 对照。

4.1 #1 方法引用 0A 00 04 00 15

字节含义
0ACONSTANT_Methodref_info
00 04class_index → #4（Class → #24 java/lang/Object）
00 15name_and_type_index → #21（#7 <init> + #8 ()V）

语义：java/lang/Object."<init>":()V

#1 方法引用解析

4.2 #2 字段引用 09 00 03 00 16

字节含义
09CONSTANT_Fieldref_info
00 03class_index → #3（本类）
00 16name_and_type → #22（#5 userName + #6 Ljava/lang/String;）

语义：...TulingByteCode.userName:Ljava/lang/String;

#2 字段引用解析

4.3 #3、#4 类引用 07 00 17 / 07 00 18

07 = CONSTANT_Class_info；后 2 字节指向 Utf8：

  • #23 → com/tuling/.../TulingByteCode
  • #24 → java/lang/Object

4.4 #5–#20：Utf8 字面量（节选）

索引十六进制片段（示意）字符串
#501 00 08 ...userName
#601 00 12 ...Ljava/lang/String;
#701 00 06 ...<init>
#801 00 03 28 29 56()V
#9CodeCode
#10LineNumberTableLineNumberTable
#11LocalVariableTableLocalVariableTable
#14getUserNamegetUserName
#15()Ljava/lang/String;方法描述
#16setUserNamesetUserName
#17(Ljava/lang/String;)V方法描述
#20TulingByteCode.java源文件名

Utf8 结构：01（tag）+ u2 length + UTF-8 字节。例如 #24：

01 00 10 6A 61 76 61 2F 6C 61 6E 67 2F 4F 62 6A 65 63 74
→ java/lang/Object

Utf8 结构示意

4.5 #21、#22 NameAndType

0C = NameAndType：u2 name_index + u2 descriptor_index

  • #21 → #7 + #8（<init> + ()V）
  • #22 → #5 + #6（userName + Ljava/lang/String;）

五、访问标志（access_flags）

u2，通过 位运算 组合（规范未穷举所有组合值）：

示例 00 21 = 0x0020 | 0x0001 → ACC_SUPER + ACC_PUBLIC

标志值说明
ACC_PUBLIC0x0001public
ACC_FINAL0x0010无子类
ACC_SUPER0x0020启用 invokespecial 语义调用父类方法
ACC_INTERFACE0x0200接口
ACC_ABSTRACT0x0400抽象类
ACC_SYNTHETIC0x1000编译器合成、无源文件
ACC_ANNOTATION0x2000注解
ACC_ENUM0x4000枚举

六、类名、父类与接口

字段字节示例
this_classu200 03 → #3 本类名
super_classu200 04 → #4 → Object
interfaces_count + interfacesu2 × (1+n)本例无接口；若 00 02 00 08 00 09 表示实现 2 个接口，索引 #8、#9

七、字段表（field_info）

描述 类字段与实例字段（不含 方法内局部变量）。

7.1 结构

类型名称
u2access_flags
u2name_index
u2descriptor_index
u2attributes_count
attribute_infoattributes

本例 1 个字段：00 01 00 02 00 05 00 06 00 00

  • 数量 00 01
  • 00 02 → ACC_PRIVATE
  • name #5 userName，descriptor #6 Ljava/lang/String;
  • 属性数 0

字段表结构

八、方法表（method_info）

本例 3 个方法：<init>、getUserName、setUserName。

8.1 method_info 结构

与 field_info 相同头部；每个方法的 Code 等在 attributes 中。

类型名称
u2access_flags
u2name_index
u2descriptor_index
u2attributes_count
attribute_infoattributes（几乎总有 Code）

8.2 attribute_info 通用格式

类型名称
u2attribute_name_index
u4attribute_length
u1info[length]

九、Code 属性与字节码指令

每个实例/类方法的核心是 Code 属性（name_index 指向常量池 Code）。

9.1 Code 属性结构

类型名称
u2max_stack
u2max_locals
u4code_length
u1code[code_length]
u2exception_table_length
exception_infoexception_table
u2attributes_count
attribute_infoattributes（LineNumberTable、LocalVariableTable 等）

Code 属性结构

Code 属性详细结构

9.2 构造方法 <init>

头部：00 01 00 07 00 08 00 01 → public、#7 <init>、#8 ()V、1 个属性。

Code 体（47 字节）核心字段：

字段值含义
max_stack1操作数栈最大深度
max_locals1局部变量槽位数（仅 this）
code_length5指令 5 字节
code2A B7 00 01 B1见下

指令解析：

字节助记符作用
2Aaload_0加载 slot 0（this）到栈
B7 00 01invokespecial #1调用 Object.<init>
B1returnvoid 返回

LineNumberTable：1 对映射 → 字节码偏移 0 对应源码第 6 行。

LocalVariableTable：1 项 — slot 0、this、类型 L...TulingByteCode;。

9.3 getUserName

方法头：00 01 00 0E 00 0F 00 01 → public、#14 getUserName、#15 ()Ljava/lang/String;

指令 2A B4 00 02 B0：

字节助记符作用
2Aaload_0this
B4 00 02getfield #2读 userName
B0areturn返回引用

LineNumberTable：偏移 0 → 源码第 11 行。

9.4 setUserName

方法头：00 01 00 10 00 11 00 02 → public、#16 setUserName、#17 (Ljava/lang/String;)V、2 个属性（Code + MethodParameters）。

Code 关键字段：

字段值
max_stack2
max_locals2（this + userName）
code2A 2B B5 00 02 B1
字节助记符作用
2Aaload_0this
2Baload_1参数 userName
B5 00 02putfield #2this.userName = ...
B1returnvoid

LocalVariableTable 2 项：slot 0 this；slot 1 userName。

MethodParameters（Java 8+）：记录参数名 userName 与访问标志，供反射 Parameter.getName() 使用。

{
  "attribute_name_index": "#18 MethodParameters",
  "parameter_count": 1,
  "parameter_name_index": "#5 userName",
  "access_flags": "0x0000"
}

setUserName 方法结构

十、类文件级属性

本例 1 个属性：SourceFile

00 01 00 13 00 00 00 02 00 14
  • attribute_name → #19 SourceFile
  • length 2
  • sourcefile_index → #20 TulingByteCode.java

十一、Class 文件结构速查（参照表）

Class 文件结构参照表（上）

Class 文件结构参照表（中）

字段/方法/属性结构

Field / Method 访问标志（节选）：

标志值说明
ACC_PUBLIC0x0001public
ACC_PRIVATE0x0002private
ACC_PROTECTED0x0004protected
ACC_STATIC0x0008static
ACC_FINAL0x0010final

十二、实践建议

工具用途
javap -verbose -c -p快速看常量池与字节码
jclasslib / IDEA Bytecode Viewer图形化对照结构体
十六进制编辑器验证魔数、版本、单条 cp_info

读懂 Class 文件后，可继续学习 执行引擎如何解释/编译这些指令，以及 invokedynamic、Lambda 生成类在常量池中的形态（JDK 8+ 扩展）。

附录：本类常量池完整索引（javap）

#1  Methodref   #4.#21   Object."<init>":()V
#2  Fieldref    #3.#22   TulingByteCode.userName:Ljava/lang/String;
#3  Class       #23      TulingByteCode
#4  Class       #24      java/lang/Object
#5–#20  Utf8 字面量（字段名、描述符、Code、源文件等）
#21 NameAndType #7:#8    "<init>":()V
#22 NameAndType #5:#6    userName:Ljava/lang/String;
#23 Utf8  com/tuling/.../TulingByteCode
#24 Utf8  java/lang/Object

与 类加载 中「运行时常量池」的关系：Class 文件常量池在加载后进入方法区 运行时常量池，动态链接时符号引用可能解析为直接引用。

Corey 知识库
Copyright © 2026 Corey