如何看懂Java字节码关键字
1. 类与方法结构相关
public class com/mozi/Main
- 作用：定义类的全限定名（含包路径）。
- 格式：
public class <包名>/<类名>。
// access flags 0x21
- 作用：类的访问修饰符标志（十六进制）。
0x21=0x20 (ACC_SUPER)+0x1 (ACC_PUBLIC)。ACC_SUPER是历史遗留标志，现代 Java 默认启用。
public <init>()V
- 作用：构造函数的方法定义。
<init>是 JVM 内部约定的构造函数方法名。()V表示无参且返回类型为void。
public static main([Ljava/lang/String;)V
- 作用：
main方法的定义。[Ljava/lang/String;是String[]的类型描述符。V表示返回类型为void。
2. 数据加载与存储
ALOAD / ILOAD / …
作用：从局部变量表加载数据到操作数栈。
- 前缀：
A（对象引用）、I（整型）、F（浮点）、D（双精度）、L（长整型）。 - 后缀：数字表示局部变量索引（如
ALOAD 0加载this）。
- 前缀：
示例：
1
2ALOAD 0 // 加载局部变量槽 0（this 引用）
ILOAD_1 // 加载局部变量槽 1 的 int 值（短格式，索引 1）
ASTORE / ISTORE / …
作用：将操作数栈顶的值存储到局部变量表。
- 前缀与
LOAD相同。
1
2ASTORE 1 // 将栈顶的对象引用存入局部变量槽 1
ISTORE_2 // 将栈顶的 int 值存入局部变量槽 2- 前缀与
3. 操作数栈操作
DUP
- 作用：复制栈顶的值。
- 栈变化：
..., value → ..., value, value。 - 用途：常用于对象初始化（如
new后调用构造函数前保留对象引用）。
- 栈变化：
POP
- 作用：丢弃栈顶的值。
- 栈变化：
..., value → ...。
- 栈变化：
SWAP
- 作用：交换栈顶两个值的位置。
- 栈变化：
..., value1, value2 → ..., value2, value1。
- 栈变化：
4. 对象与数组操作
NEW
作用：创建新对象（但未初始化）。
示例：
1
NEW java/lang/StringBuilder
栈变化：
... → ..., objectRef（未初始化的对象引用）。
ANEWARRAY
作用：创建引用类型数组。
参数：数组元素的类型（如
java/lang/String）。栈输入：数组长度（
int）。栈输出：数组引用。
示例：
1
2ICONST_2
ANEWARRAY java/lang/String // 创建 String[2]
AASTORE / IASTORE / …
作用：将值存入数组。
前缀：
A（对象引用）、I（整型）等。栈输入：
arrayRef, index, value。示例：
1
2
3
4DUP // 复制数组引用
ICONST_0 // 索引 0
LDC "add" // 值 "add"
AASTORE // 执行 arrayRef[0] = "add"
5. 方法调用
INVOKESPECIAL
作用：调用构造函数、私有方法或父类方法。
示例：
1
INVOKESPECIAL java/lang/Object.<init> ()V // 调用 Object 的构造函数
INVOKEVIRTUAL
作用：调用实例方法（基于对象实际类型，动态绑定）。
示例：
1
INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/String;)V // 调用 println
INVOKESTATIC
作用：调用静态方法。
示例：
1
INVOKESTATIC java/util/Arrays.asList ([Ljava/lang/Object;)Ljava/util/List;
INVOKEINTERFACE
作用：调用接口方法。
示例：
1
INVOKEINTERFACE java/util/List.iterator ()Ljava/util/Iterator; (itf)
6. 类型转换与检查
CHECKCAST
作用：检查对象是否为指定类型，否则抛出
ClassCastException。示例：
1
CHECKCAST java/lang/String // 确保栈顶对象是 String
INSTANCEOF
作用：检查对象是否为某类型，结果压入栈（
1或0）。1
INSTANCEOF java/lang/Integer
7. 控制流
IFEQ / IFNE / …
作用：条件跳转。
输入：栈顶的
int值。示例：
1
IFEQ L3 // 如果栈顶值为 0，跳转到标签 L3
GOTO
作用：无条件跳转。
1
GOTO L2 // 跳转到标签 L2
RETURN / IRETURN / ARETURN / …
作用：方法返回。
- 前缀：
V（void）、I（int）、A（对象引用）等。
1
2RETURN // void 方法返回
ARETURN // 返回对象引用- 前缀：
8. 调试信息
LINENUMBER
作用：关联字节码指令与源代码行号。
1
LINENUMBER 17 L0 // 以下指令对应源码第 17 行，标签为 L0
LOCALVARIABLE
作用：定义局部变量的作用域和类型。
1
LOCALVARIABLE s Ljava/lang/String; L4 L5 3 // 变量 s 类型为 String，作用域从 L4 到 L5，存储在槽 3
FRAME
作用：描述当前栈帧的状态（用于调试和验证）。
1
FRAME APPEND [java/util/List java/util/Iterator] // 栈帧追加了 List 和 Iterator 变量
9. 其他关键指令
LDC
作用：从常量池加载常量（字符串、类、数值等）。
1
LDC "add" // 加载字符串 "add"
ICONST / ACONST_NULL / …
作用：将常量压入栈。
示例：
1
2ICONST_0 // 压入 int 0
ACONST_NULL // 压入 null
总结
- 栈操作：字节码指令高度依赖操作数栈（如
DUP、POP）。 - 类型敏感：指令前缀（
A、I、F）严格区分操作的数据类型。 - 符号引用：通过常量池索引（如
#2）引用类、方法、字段等。 - 调试支持：
LINENUMBER和LOCALVARIABLE帮助映射字节码与源码。
本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 Moziの个人博客！
相关推荐
2025-03-19
mybatis 学习笔记
Mybatis环境： JDK 1.8 Mysql 5.7 maven 3.6.3 IDEA 2020.2 SSM框架：配置文件的。 最好的方式：看官网文档； 1、简介1.1、什么是Mybatis MyBatis 是一款优秀的**持久层框架** 它支持定制化 SQL、存储过程以及高级映射。 MyBatis 避免了几乎所有的 JDBC 代码和手动设置参数以及获取结果集。 MyBatis 可以使用简单的 XML 或注解来配置和映射原生类型、接口和 Java 的 POJO（Plain Old Java Objects，普通老式 Java 对象）为数据库中的记录。 MyBatis 本是apache的一个开源项目iBatis, 2010年这个项目由apache software foundation 迁移到了google code，并且改名为MyBatis 。 2013年11月迁移到Github。 如何获得Mybatis？ maven仓库： 123456<!--...
2025-03-14
Java Lambda表达式使用指南
一、Lambda 表达式的基础1. 什么是 Lambda？ Lambda 表达式是 Java 8 引入的一种 匿名函数（没有名称的函数），用于简化 函数式接口（FunctionalInterface）的实现。它的核心目标是让代码更简洁，尤其是在处理函数式编程和集合操作时。 2. 为什么需要 Lambda？ 替代匿名内部类：传统方式实现接口需要大量样板代码。 函数式编程：支持将函数作为参数传递，或作为返回值。 代码简洁：用更少的代码表达相同的逻辑。 二、Lambda 的语法详解1. 基本语法结构1// (参数列表)->{代码体 } 参数列表：与接口中抽象方法的参数一致。 箭头符号 ->：分隔参数和 Lambda 主体。 代码体：可以是单行代码，也可以是多行代码块。 2. 简化规则 场景 简化写法 原始写法 参数类型可推断 (a, b) -> a + b (int a, int b) -> { return a + b; } 单个参数 x -> x * x (x) -> {...
2025-03-21
如何看懂Java字节码
1. 字节码基础概念 什么是字节码：Java 源代码（.java）编译后生成的中间代码（.class），由 JVM 执行。 文件结构：遵循 JVM 规范，包含魔数、版本号、常量池、类信息、方法表等。 指令集：基于栈的虚拟机指令，例如 iload（加载整型）、invokevirtual（调用方法）等。 2. 工具准备查看字节码的常用工具 javap（JDK 自带）： 1javap -c -v YourClass.class # 反编译并显示详细字节码 -c：输出指令码。 -v：显示附加信息（常量池、行号表等）。 IDE 插件： IntelliJ IDEA：安装 Bytecode Viewer 插件（右键类文件 → View → Show Bytecode）。 Eclipse：使用 Bytecode Outline 插件。 图形化工具： JClassLib：可视化分析 .class 文件。 JD-GUI：反编译为近似 Java 代码（但非原始字节码）。 3. 字节码文件结构关键组成部分 魔数（Magic Number）：前 4 字节为...
2025-03-23
Java正则表达式使用指南
一、Java 正则表达式核心类Java 通过 java.util.regex 包中的两个核心类处理正则表达式： Pattern：编译后的正则表达式对象（不可变，线程安全）。 Matcher：用于对输入字符串进行匹配和操作。 二、基本语法与元字符1. 常用元字符 元字符 说明 . 匹配任意字符（除换行符） \d 数字 [0-9] \D 非数字 [^0-9] \w 单词字符 [a-zA-Z0-9_] \W 非单词字符 \s 空白字符（空格、制表符等） \S 非空白字符 ^ 字符串开始 $ 字符串结束 2. 量词 量词 说明 * 0次或多次 + 1次或多次 ? 0次或1次 {n} 恰好n次 {n,} 至少n次 {n,m} 至少n次，至多m次 3. 分组与捕获 语法 说明 (exp) 捕获分组 (?:exp) 非捕获分组 (?<name>exp) 命名分组（Java 7+） 4....
2025-03-29
java中的常用API
java api 的使用一、BigDecimal 精确计算1.1 浮点数精度问题演示12// 浮点数运算存在精度丢失问题System.out.println(1.01 + 2.02); // 输出：3.0300000000000002 1.2 BigDecimal 基础用法123456789101112// 推荐使用字符串构造或 valueOf 方法初始化（避免double传参）BigDecimal one = new BigDecimal("1.01"); // 精确构造BigDecimal two = BigDecimal.valueOf(2.02); // 自动优化数值转换// 常规算术运算System.out.println(one.add(two)); // 加法：3.03System.out.println(one.subtract(two)); // 减法：-1.01System.out.println(one.multiply(two)); // 乘法：2.0402//...
2025-03-13
策略模式
1. 什么是策略模式？策略模式（Strategy Pattern） 是一种行为型设计模式，通过定义一组可互换的算法族，并将每个算法封装成独立类，使得算法可以独立于客户端变化。其核心是将算法与使用场景解耦，避免复杂的条件分支，提升系统扩展性。 📜 设计原则体现符合 开闭原则（新增策略无需修改已有代码）、单一职责原则（每个策略类只负责一个算法） 2. 核心思想 核心点 说明 算法抽象化 通过接口定义算法规范，隐藏具体实现细节 动态替换 运行时通过注入不同策略对象切换算法（如：设置不同的折扣策略） 消除条件分支 用多态代替 if-else/switch-case，使代码更简洁 3. 代码案例12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849// 1. 策略接口（定义算法规范）public interface DiscountStrategy { void applyDiscount(double...
评论