Java字节码操纵框架ASM小试

本文主要内容：
ASM是什么 JVM指令
 Java字节码文件
 ASM编程模型
 ASM示例
 参考资料汇总
 JVM详细指令

ASM是什么

ASM是一个Java字节码操纵框架，它能被用来动态生成类或者增强既有类的功能。ASM可以直接产生二进制class文件，也可以在类被加载入Java虚拟机之前动态改变类行为。Java class被存储在严格格式定义的.class文件里，这些类文件拥有足够的元数据来解析类中的所有元素：类名称、方法、属性以及 Java 字节码（指令）。ASM从类文件中读入信息后，能够改变类行为，分析类信息，甚至能够根据用户要求生成新类。

目前许多框架如cglib、Hibernate、Spring都直接或间接地使用ASM操作字节码，有些语言如Jython、JRuby、Groovy也是如此。而类ASM字节码工具还有：

BCEL：Byte Code Engineering Library (BCEL)，这是Apache Software Foundation 的Jakarta 项目的一部分。BCEL是 Java classworking 最广泛使用的一种框架,它可以让您深入 JVM 汇编语言进行类操作的细节。BCEL与Javassist 有不同的处理字节码方法，BCEL在实际的JVM 指令层次上进行操作(BCEL拥有丰富的JVM 指令级支持)而Javassist 所强调的源代码级别的工作。
JBET：通过JBET(Java Binary Enhancement Tool )的API可对Class文件进行分解，重新组合，或被编辑。JBET也可以创建新的Class文件。JBET用一种结构化的方式来展现Javabinary (.class)文件的内容，并且可以很容易的进行修改。
Javassist：Javassist是一个开源的分析、编辑和创建Java字节码的类库。是由东京技术学院的数学和计算机科学系的 Shigeru Chiba 所创建的。它已加入了开放源代码JBoss 应用服务器项目,通过使用Javassist对字节码操作为JBoss实现动态AOP框架。
cglib：是一个强大的,高性能,高质量的Code生成类库。它可以在运行期扩展Java类与实现Java接口，cglib封装了asm，可以在运行期动态生成新的 class，Hibernate和Spring都用到过它。cglib用于AOP，jdk中的proxy必须基于接口，cglib却没有这个限制。

而ASM与cglib、serp和BCEL相比，ASM有以下的优点 :

ASM 具有简单、设计良好的 API，这些 API 易于使用；
ASM 有非常良好的开发文档，以及可以帮助简化开发的 Eclipse 插件；
ASM 支持 Java 6(ASM3)、Java7(ASM4)、Java(ASM5)；
ASM 很小、很快、很健壮；
ASM 有很大的用户群，可以帮助新手解决开发过程中遇到的问题；
ASM 的开源许可可以让你几乎以任何方式使用它；

JVM指令

如果使用ASM框架，需要对JVM指令和Java字节码文件的结构都需要有点概念。JVM指令总结如下（详细看参考本文底部的PS）

凡是带const的表示将什么数据压操作数栈；如：
iconst_2 将int型数据2压入到操作数栈；
aconst_null 将null值压入栈；
bipush和sipush 表示将单字节或者短整形的常量值压入操作数栈；
带ldc的表示将什么类型数据从常量池中压入到操作数栈；如：
ldc_w 将int或者flat或者string类型的数据压入到操作数栈；
ldc2_w 将long或者double类型的数据压入到操作数栈；
凡是带load的指令表示将某类型的局部变量数据压入到操作数栈的栈顶；如：
iload 表示将int类型的局部变量压入到操作数栈的栈顶；
aload 以a开头的表示将引用类型的局部变量压入到操作数栈的栈顶；
iload_1 将局部变量数组里面下标为1的int类型的数据压入到操作数栈；
iaload 将int型数组的指定索引的值压入到操作数栈；
凡是带有store指令的表示将操作数栈顶的某类型的值存入指定的局部变量中；如：
istore 表示将栈顶int类型的数据存入到指定的局部变量中；
istore_3 表示将栈int类型的数据存入到局部变量数组的下标为3的元素中；
pop 将栈顶数据弹出；pop2将栈顶的一个long或者double数据从栈顶弹出来；
dup 复制栈顶的数据并将复制的值也压入到栈顶；
dup2 复制栈顶一个long或者是double的数据并将复制的值也压入到栈顶；
swap 将栈最顶端的两个值互换；
iadd 将栈顶两个int型的数据相加然后将结果再次的压入到栈顶；
isub 将栈顶两个int型的数据相减然后将结果再次的压入到栈顶；
imul 将栈顶两个int型的数据相乘然后将结果再次的压入到栈顶；
idiv 将栈顶两个int型的数据相除然后将结果再次的压入到栈顶；
irem 将栈顶两个int型的数据取模运算然后将结果再次的压入到栈顶；
ineg 将栈顶的int数据取负将结果压入到栈顶；
iinc 将指定的int变量增加指定值(i++,i--,i+=2)；
i2l 将栈顶int类型数据强制转换成long型将结果压入到栈顶；
lcmp 将栈顶两long型数据的大小进行比较，并将结果(1,0,-1)压入栈顶；
以if开头的指令都是跳转指令；
tableswitch、lookupswitch 表示用switch条件跳转；
ireturn 从当前方法返回int型数据；
getstatic 获取指定类的静态域，将将结果压入到栈顶；
putstatic 为指定的类的静态域赋值；
getfield   获取指定类的实例变量，将结果压入到栈顶；
putfield   为指定类的实例变量赋值；
invokevirtual 调用实例方法；
invokespacial 调用超类构造方法，实例初始化方法，私有方法；
invokestatic 调用静态方法；
invokeinterface 调用接口方法；
new 创建一个对象，并将其引用压入到栈顶；
newarray 创建一个原始类型的数组，并将其引用压入到栈顶；
arraylength   获得一个数组的长度，将将结果压入到栈顶；
athrow   将栈顶的异常抛出；
checkcast 检验类型转换，转换未通过，将抛出ClassCastException.
instanceof 检验对象是否是指定的类的实例，如果是将1压入栈顶，否则将0压入栈顶
monitorenter   获得对象的锁，用于同步方法或同步块
monitorexit    释放对象的锁，用于同步方法或同步块
ifnull    为null时跳转
ifnonnull   不为null时跳转

Java字节码文件

所谓 Java 字节码文件，就是通常用 javac 编译器产生的 .class 文件。这些文件具有严格定义的格式。为了更好的理解 ASM，首先对 Java 字节码文件格式作一点简单的介绍。Java 源文件经过 javac 编译器编译之后，将会生成对应的二进制文件（如下图所示）。每个合法的 Java 字节码文件都具备精确的定义，而正是这种精确的定义，才使得 Java 虚拟机得以正确读取和解释所有的 Java 字节码文件。

Java 字节码文件是 8 位字节的二进制流。数据项按顺序存储在 class 文件中，相邻的项之间没有间隔，这使得 class 文件变得紧凑，减少存储空间。在 Java 字节码文件中包含了许多大小不同的项，由于每一项的结构都有严格规定，这使得 class 文件能够从头到尾被顺利地解析。下面让我们来看一下 Java 字节码文件的内部结构，以便对此有个大致的认识。

例如，一个最简单的 Hello World 程序：

public class HelloWorld {
public static void main(String[] args) {
System.out.println("Hello world");
}
}

从上图中可以看到，一个 Java 字节码文件大致可以归为 10 个项：

Magic：该项存放了一个 Java 字节码文件的魔数（magic number）和版本信息。一个 Java 字节码文件的前 4 个字节被称为它的魔数。每个正确的 Java 字节码文件都是以 0xCAFEBABE 开头的，这样保证了 Java 虚拟机能很轻松的分辨出 Java 文件和非 Java 文件。
Version：该项存放了 Java 字节码文件的版本信息，它对于一个 Java 文件具有重要的意义。因为 Java 技术一直在发展，所以字节码文件的格式也处在不断变化之中。字节码文件的版本信息让虚拟机知道如何去读取并处理该字节码文件。
Constant Pool：该项存放了类中各种文字字符串、类名、方法名和接口名称、final 变量以及对外部类的引用信息等常量。虚拟机必须为每一个被装载的类维护一个常量池，常量池中存储了相应类型所用到的所有类型、字段和方法的符号引用，因此它在 Java 的动态链接中起到了核心的作用。常量池的大小平均占到了整个类大小的 60% 左右。
Access_flag：该项指明了该文件中定义的是类还是接口（一个 class 文件中只能有一个类或接口），同时还指名了类或接口的访问标志，如 public，private, abstract 等信息。
This Class：指向表示该类全限定名称的字符串常量的指针。
Super Class：指向表示父类全限定名称的字符串常量的指针。
Interfaces：一个指针数组，存放了该类或父类实现的所有接口名称的字符串常量的指针。以上三项所指向的常量，特别是前两项，在我们用 ASM 从已有类派生新类时一般需要修改：将类名称改为子类名称；将父类改为派生前的类名称；如果有必要，增加新的实现接口。
Fields：该项对类或接口中声明的字段进行了细致的描述。需要注意的是，fields 列表中仅列出了本类或接口中的字段，并不包括从超类和父接口继承而来的字段。
Methods：该项对类或接口中声明的方法进行了细致的描述。例如方法的名称、参数和返回值类型等。需要注意的是，methods 列表里仅存放了本类或本接口中的方法，并不包括从超类和父接口继承而来的方法。使用 ASM 进行 AOP 编程，通常是通过调整 Method 中的指令来实现的。
Class attributes：该项存放了在该文件中类或接口所定义的属性的基本信息。

事实上，使用 ASM 动态生成类，不需要像早年的 class hacker 一样，熟知 class 文件的每一段，以及它们的功能、长度、偏移量以及编码方式。ASM 会给我们照顾好这一切的，我们只要告诉 ASM 要改动什么就可以了 —— 当然，我们首先得知道要改什么：对字节码文件格式了解的越多，我们就能更好地使用 ASM 这个利器。

ASM编程模型

ASM 提供了两种编程模型：

Core API，提供了基于事件形式的编程模型。该模型不需要一次性将整个类的结构读取到内存中，因此这种方式更快，需要更少的内存。但这种编程方式难度较大。
Tree API，提供了基于树形的编程模型。该模型需要一次性将一个类的完整结构全部读取到内存当中，所以这种方法需要更多的内存。这种编程方式较简单。

Core API 中操纵字节码的功能基于 ClassVisitor 接口。这个接口中的每个方法对应了 class 文件中的每一项。Class 文件中的简单项的访问使用一个单独的方法，方法参数描述了这个项的内容。而那些具有任意长度和复杂度的项，使用另外一类方法，这类方法会返回一个辅助的 Visitor 接口，通过这些辅助接口的对象来完成具体内容的访问。例如 visitField 方法和 visitMethod 方法，分别返回 FieldVisitor 和 MethodVisitor 接口的对象。

ASM 提供了三个基于 ClassVisitor 接口的类来实现 class 文件的生成和转换：

ClassReader：ClassReader 解析一个类的 class 字节码，该类的 accept 方法接受一个 ClassVisitor 的对象，在 accept 方法中，会按上文描述的顺序逐个调用 ClassVisitor 对象的方法。它可以被看做事件的生产者。
ClassAdapter：ClassAdapter 是 ClassVisitor 的实现类。它的构造方法中需要一个 ClassVisitor 对象，并保存为字段 protected ClassVisitor cv。在它的实现中，每个方法都是原封不动的直接调用 cv 的对应方法，并传递同样的参数。可以通过继承 ClassAdapter 并修改其中的部分方法达到过滤的作用。它可以看做是事件的过滤器。
ClassWriter：ClassWriter 也是 ClassVisitor 的实现类。ClassWriter 可以用来以二进制的方式创建一个类的字节码。对于 ClassWriter 的每个方法的调用会创建类的相应部分。例如：调用 visit 方法就是创建一个类的声明部分，每调用一次 visitMethod 方法就会在这个类中创建一个新的方法。在调用 visitEnd 方法后即表明该类的创建已经完成。它最终生成一个字节数组，这个字节数组中包含了一个类的 class 文件的完整字节码内容。可以通过 toByteArray 方法获取生成的字节数组。ClassWriter 可以看做事件的消费者。

通常情况下，它们是组合起来使用的。

ASM示例

项目结构如下：

HelloWorld.java代码如下：

package net.oseye.demoasm;
public class HelloWorld {
public void sayHello() {
System.out.println("Hello World!");
}
}

如果我们想动态地在HelloWorld.java的sayHello方法中加入打印时间如：

package net.oseye.demoasm;
public class HelloWorld {
public void sayHello() {
System.out.println(System.currentTimeMillis());
System.out.println("Hello World!");
}
}

怎么做呢？

直接编码ASM其实对于新手来说是很困难的事，但幸运的是ASM给我们提供了ASMifer工具。一般我们会使用ASM的ASMifer工具生成ASM结构来对比，使用命令：

java org.objectweb.asm.util.ASMifier net.oseye.demoasm.HelloWorld

记得"asm-util-x.x.jar"需要在classpath中，如果没有记得设置classpath，生成没加入打印时间的HelloWorld.Class的ASM结构如下：

package asm.net.oseye.demoasm;
import java.util.*;
import org.objectweb.asm.*;
import org.objectweb.asm.attrs.*;
public class HelloWorldDump implements Opcodes {
public static byte[] dump () throws Exception {
ClassWriter cw = new ClassWriter(0);
FieldVisitor fv;
MethodVisitor mv;
AnnotationVisitor av0;
cw.visit(V1_5, ACC_PUBLIC + ACC_SUPER, "net/oseye/demoasm/HelloWorld", null, "ja
va/lang/Object", null);
{
mv = cw.visitMethod(ACC_PUBLIC, "<init>", "()V", null, null);
mv.visitCode();
mv.visitVarInsn(ALOAD, 0);
mv.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V");
mv.visitInsn(RETURN);
mv.visitMaxs(1, 1);
mv.visitEnd();
}
{
mv = cw.visitMethod(ACC_PUBLIC, "sayHello", "()V", null, null);
mv.visitCode();
mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;")
;
mv.visitLdcInsn("Hello World!");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "println", "(Ljava/lang
/String;)V");
mv.visitInsn(RETURN);
mv.visitMaxs(2, 1);
mv.visitEnd();
}
cw.visitEnd();
return cw.toByteArray();
}
}

而加入打印时间的ASM结构如下：

package asm.net.oseye.demoasm;
import java.util.*;
import org.objectweb.asm.*;
import org.objectweb.asm.attrs.*;
public class HelloWorldDump implements Opcodes {
public static byte[] dump () throws Exception {
ClassWriter cw = new ClassWriter(0);
FieldVisitor fv;
MethodVisitor mv;
AnnotationVisitor av0;
cw.visit(V1_5, ACC_PUBLIC + ACC_SUPER, "net/oseye/demoasm/HelloWorld", null, "ja
va/lang/Object", null);
{
mv = cw.visitMethod(ACC_PUBLIC, "<init>", "()V", null, null);
mv.visitCode();
mv.visitVarInsn(ALOAD, 0);
mv.visitMethodInsn(INVOKESPECIAL, "java/lang/Object", "<init>", "()V");
mv.visitInsn(RETURN);
mv.visitMaxs(1, 1);
mv.visitEnd();
}
{
mv = cw.visitMethod(ACC_PUBLIC, "sayHello", "()V", null, null);
mv.visitCode();
mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;")
;
mv.visitMethodInsn(INVOKESTATIC, "java/lang/System", "currentTimeMillis", "()J")
;
mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "println", "(J)V");
mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;")
;
mv.visitLdcInsn("Hello World!");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "println", "(Ljava/lang
/String;)V");
mv.visitInsn(RETURN);
mv.visitMaxs(3, 1);
mv.visitEnd();
}
cw.visitEnd();
return cw.toByteArray();
}
}

对比我们发现后者比前者多了：

mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;")
;
mv.visitMethodInsn(INVOKESTATIC, "java/lang/System", "currentTimeMillis", "()J")
;
mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "println", "(J)V");

因此App.java可以这样编码：

package net.oseye.demoasm;
import java.io.IOException;
import java.lang.reflect.InvocationTargetException;
import org.objectweb.asm.ClassReader;
import org.objectweb.asm.ClassVisitor;
import org.objectweb.asm.ClassWriter;
import org.objectweb.asm.MethodVisitor;
import org.objectweb.asm.Opcodes;
public class App extends ClassLoader implements Opcodes {
public static void main(String[] args) throws IOException, IllegalAccessException, IllegalArgumentException, InvocationTargetException, SecurityException, InstantiationException {
ClassReader cr=new ClassReader(HelloWorld.class.getName());
ClassWriter cw=new ClassWriter(ClassWriter.COMPUTE_MAXS);
CustomVisitor myv=new CustomVisitor(Opcodes.ASM4,cw);
cr.accept(myv, 0);
byte[] code=cw.toByteArray();
//自定义加载器
App loader=new App();
Class<?> appClass=loader.defineClass(null, code, 0,code.length);
appClass.getMethods()[0].invoke(appClass.newInstance(), new Object[]{});
// FileOutputStream f=new FileOutputStream(new File("d:"+File.separator+"ok2.class"));
// f.write(code);;
// f.close();
}
}
/**
* ClassVisitor的实现类
* App.java:demoasm
* Jul 17, 2014
* @author kevin.zhai
*/
class CustomVisitor extends ClassVisitor implements Opcodes {
public CustomVisitor(int api, ClassVisitor cv) {
super(api, cv);
}
@Override
public MethodVisitor visitMethod(int access, String name, String desc, String signature, String[] exceptions) {
MethodVisitor mv = super.visitMethod(access, name, desc, signature, exceptions);
if (name.equals("sayHello")) {
mv.visitFieldInsn(GETSTATIC, "java/lang/System", "out", "Ljava/io/PrintStream;");
mv.visitMethodInsn(INVOKESTATIC, "java/lang/System", "currentTimeMillis", "()J");
mv.visitMethodInsn(INVOKEVIRTUAL, "java/io/PrintStream", "println", "(J)V");
}
return mv;
}
}

运行可以看到类似这样的输出：

1405587042484
Hello World!

当然你也可以把通过ASM生成的class保存到磁盘然后加载。

PS：

参考资料汇总：
AOP 的利器：ASM 3.0 介绍
 使用 ASM 实现 Java 语言的“多重继承”
ASM3 0指南翻译
 Java字节码（.class文件）格式详解
 JVM指令集（指令码、助记符、功能描述）
jvm指令集理解
 asm4-guide

JVM详细指令

指令码

助记符

功能描述

0x00

nop

无操作

0x01

aconst_null

指令格式： aconst_null

功能描述： null进栈。

指令执行前	指令执行后
栈底
...	...
	null
栈顶

注意：JVM并没有为null指派一个具体的值。

0x02

iconst_m1

int型常量值-1进栈

0x03

iconst_0

int型常量值0进栈

0x04

iconst_1

int型常量值1进栈

0x05

iconst_2

int型常量值2进栈

0x06

iconst_3

int型常量值3进栈

0x07

iconst_4

int型常量值4进栈

0x08

iconst_5

int型常量值5进栈

0x09

lconst_0

long型常量值0进栈

0x0A

lconst_1

long型常量值1进栈

0x0B

fconst_0

float型常量值0进栈

0x0C

fconst_1

float型常量值1进栈

0x0D

fconst_2

float型常量值2进栈

0x0E

dconst_0

double型常量值0进栈

0x0F

dconst_1

double型常量值1进栈

0x10

bipush

将一个byte型常量值推送至栈顶

0x11

sipush

将一个short型常量值推送至栈顶

0x12

ldc

将int、float或String型常量值从常量池中推送至栈顶

0x13

ldc_w

将int、float或String型常量值从常量池中推送至栈顶（宽索引）

0x14

ldc2_w

将long或double型常量值从常量池中推送至栈顶（宽索引）

0x15

iload

指定的int型局部变量进栈

0x16

lload

指定的long型局部变量进栈

0x17

fload

指定的float型局部变量进栈

0x18

dload

指定的double型局部变量进栈

0x19

aload

指令格式： aload index

功能描述：当前frame的局部变量数组中下标为

index的引用型局部变量进栈

指令执行前	指令执行后
栈底
...	...
	objectref
栈顶

index ：无符号一byte整型。和wide指令联用，

可以使index为两byte。

0x1A

iload_0

第一个int型局部变量进栈

0x1B

iload_1

第二个int型局部变量进栈

0x1C

iload_2

第三个int型局部变量进栈

0x1D

iload_3

第四个int型局部变量进栈

0x1E

lload_0

第一个long型局部变量进栈

0x1F

lload_1

第二个long型局部变量进栈

0x20

lload_2

第三个long型局部变量进栈

0x21

lload_3

第四个long型局部变量进栈

0x22

fload_0

第一个float型局部变量进栈

0x23

fload_1

第二个float型局部变量进栈

0x24

fload_2

第三个float型局部变量进栈

0x25

fload_3

第四个float型局部变量进栈

0x26

dload_0

第一个double型局部变量进栈

0x27

dload_1

第二个double型局部变量进栈

0x28

dload_2

第三个double型局部变量进栈

0x29

dload_3

第四个double型局部变量进栈

0x2A

aload_0

指令格式：aload_0

该指令的行为类似于aload指令index为0的情况。

0x2B

aload_1

同上

0x2C

aload_2

同上

0x2D

aload_3

同上

0x2E

iaload

指定的int型数组的指定下标处的值进栈

0x2F

laload

指定的long型数组的指定下标处的值进栈

0x30

faload

指定的float型数组的指定下标处的值进栈

0x31

daload

指定的double型数组的指定下标处的值进栈

0x32

aaload

指令格式： aaload

功能描述：栈顶的数组下标（index）、数组引用

（arrayref）出栈，并根据这两个数值

取出对应的数组元素值（value）进栈。

抛出异常：如果arrayref的值为null，会抛出

NullPointerException。

如果index造成数组越界，会抛出

ArrayIndexOutOfBoundsException。

指令执行前	指令执行后
栈底
...	...
arrayref	value
index
栈顶

index ： int类型

arrayref ：数组的引用

0x33

baload

指定的boolean或byte型数组的指定下标处的值进栈

0x34

caload

指定的char型数组的指定下标处的值进栈

0x35

saload

指定的short型数组的指定下标处的值进栈

0x36

istore

将栈顶int型数值存入指定的局部变量

0x37

lstore

将栈顶long型数值存入指定的局部变量

0x38

fstore

将栈顶float型数值存入指定的局部变量

0x39

dstore

将栈顶double型数值存入指定的局部变量

0x3A

astore

指令格式： astore index

功能描述：将栈顶数值（objectref）存入当前

frame的局部变量数组中指定下标

（index）处的变量中，栈顶数值出栈。

指令执行前	指令执行后
栈底
...	...
objectref
栈顶

index ：无符号一byte整数。该指令和wide联

用，index可以为无符号两byte整数。

0x3B

istore_0

将栈顶int型数值存入第一个局部变量

0x3C

istore_1

将栈顶int型数值存入第二个局部变量

0x3D

istore_2

将栈顶int型数值存入第三个局部变量

0x3E

istore_3

将栈顶int型数值存入第四个局部变量

0x3F

lstore_0

将栈顶long型数值存入第一个局部变量

0x40

lstore_1

将栈顶long型数值存入第二个局部变量

0x41

lstore_2

将栈顶long型数值存入第三个局部变量

0x42

lstore_3

将栈顶long型数值存入第四个局部变量

0x43

fstore_0

将栈顶float型数值存入第一个局部变量

0x44

fstore_1

将栈顶float型数值存入第二个局部变量

0x45

fstore_2

将栈顶float型数值存入第三个局部变量

0x46

fstore_3

将栈顶float型数值存入第四个局部变量

0x47

dstore_0

将栈顶double型数值存入第一个局部变量

0x48

dstore_1

将栈顶double型数值存入第二个局部变量

0x49

dstore_2

将栈顶double型数值存入第三个局部变量

0x4A

dstore_3

将栈顶double型数值存入第四个局部变量

0x4B

astore_0

指令格式： astore_0

功能描述：该指令的行为类似于astore指令index

为0的情况。

0x4C

astore_1

同上

0x4D

astore_2

同上

0x4E

astore_3

同上

0x4F

iastore

将栈顶int型数值存入指定数组的指定下标处

0x50

lastore

将栈顶long型数值存入指定数组的指定下标处

0x51

fastore

将栈顶float型数值存入指定数组的指定下标处

0x52

dastore

将栈顶double型数值存入指定数组的指定下标处

0x53

aastore

指令格式： aastore

功能描述：根据栈顶的引用型数值（value）、数组下

标（index）、数组引用（arrayref）出

栈，将数值存入对应的数组元素中。

抛出异常：如果value的类型和arrayref所引用

的数组的元素类型不兼容，会抛出抛出

ArrayStoreException。

如果index造成数组越界，会抛出

ArrayIndexOutOfBoundsException。

如果arrayref值为null，会抛出

NullPointerException。

指令执行前	指令执行后
栈底
...	...
arrayref
index
value
栈顶

arrayref ：必须是对数组的引用

index ： int类型

value ：引用类型

0x54

bastore

将栈顶boolean或byte型数值存入指定数组的指定下标处

0x55

castore

将栈顶char型数值存入指定数组的指定下标处

0x56

sastore

将栈顶short型数值存入指定数组的指定下标处

0x57

pop

栈顶数值出栈 (该栈顶数值不能是long或double型)

0x58

pop2

栈顶的一个（如果是long、double型的)或两个（其它类型的）数值出栈

0x59

dup

复制栈顶数值，并且复制值进栈

0x5A

dup_x1

复制栈顶数值，并且复制值进栈2次

0x5B

dup_x2

复制栈顶数值，并且复制值进栈2次或3次

0x5C

dup2

复制栈顶一个（long、double型的)或两个（其它类型的）数值，并且复制值进栈

0x5D

dup2_x1

0x5E

dup2_x2

0x5F

swap

栈顶的两个数值互换(要求栈顶的两个数值不能是long或double型的)

0x60

iadd

栈顶两int型数值相加，并且结果进栈

0x61

ladd

栈顶两long型数值相加，并且结果进栈

0x62

fadd

栈顶两float型数值相加，并且结果进栈

0x63

dadd

栈顶两double型数值相加，并且结果进栈

0x64

isub

栈顶两int型数值相减，并且结果进栈

0x65

lsub

栈顶两long型数值相减，并且结果进栈

0x66

fsub

栈顶两float型数值相减，并且结果进栈

0x67

dsub

栈顶两double型数值相减，并且结果进栈

0x68

imul

栈顶两int型数值相乘，并且结果进栈

0x69

lmul

栈顶两long型数值相乘，并且结果进栈

0x6A

fmul

栈顶两float型数值相乘，并且结果进栈

0x6B

dmul

栈顶两double型数值相乘，并且结果进栈

0x6C

idiv

栈顶两int型数值相除，并且结果进栈

0x6D

ldiv

栈顶两long型数值相除，并且结果进栈

0x6E

fdiv

栈顶两float型数值相除，并且结果进栈

0x6F

ddiv

栈顶两double型数值相除，并且结果进栈

0x70

irem

栈顶两int型数值作取模运算，并且结果进栈

0x71

lrem

栈顶两long型数值作取模运算，并且结果进栈

0x72

frem

栈顶两float型数值作取模运算，并且结果进栈

0x73

drem

栈顶两double型数值作取模运算，并且结果进栈

0x74

ineg

栈顶int型数值取负，并且结果进栈

0x75

lneg

栈顶long型数值取负，并且结果进栈

0x76

fneg

栈顶float型数值取负，并且结果进栈

0x77

dneg

栈顶double型数值取负，并且结果进栈

0x78

ishl

int型数值左移指定位数，并且结果进栈

0x79

lshl

long型数值左移指定位数，并且结果进栈

0x7A

ishr

int型数值带符号右移指定位数，并且结果进栈

0x7B

lshr

long型数值带符号右移指定位数，并且结果进栈

0x7C

iushr

int型数值无符号右移指定位数，并且结果进栈

0x7D

lushr

long型数值无符号右移指定位数，并且结果进栈

0x7E

iand

栈顶两int型数值按位与，并且结果进栈

0x7F

land

栈顶两long型数值按位与，并且结果进栈

0x80

ior

栈顶两int型数值按位或，并且结果进栈

0x81

lor

栈顶两long型数值按位或，并且结果进栈

0x82

ixor

栈顶两int型数值按位异或，并且结果进栈

0x83

lxor

栈顶两long型数值按位异或，并且结果进栈

0x84

iinc

指定int型变量增加指定值

0x85

i2l

栈顶int值强转long值，并且结果进栈

0x86

i2f

栈顶int值强转float值，并且结果进栈

0x87

i2d

栈顶int值强转double值，并且结果进栈

0x88

l2i

栈顶long值强转int值，并且结果进栈

0x89

l2f

栈顶long值强转float值，并且结果进栈

0x8A

l2d

栈顶long值强转double值，并且结果进栈

0x8B

f2i

栈顶float值强转int值，并且结果进栈

0x8C

f2l

栈顶float值强转long值，并且结果进栈

0x8D

f2d

栈顶float值强转double值，并且结果进栈

0x8E

d2i

栈顶double值强转int值，并且结果进栈

0x8F

d2l

栈顶double值强转long值，并且结果进栈

0x90

d2f

栈顶double值强转float值，并且结果进栈

0x91

i2b

栈顶int值强转byte值，并且结果进栈

0x92

i2c

栈顶int值强转char值，并且结果进栈

0x93

i2s

栈顶int值强转short值，并且结果进栈

0x94

lcmp

比较栈顶两long型数值大小，并且结果（1，0，-1）进栈

0x95

fcmpl

比较栈顶两float型数值大小，并且结果（1，0，-1）进栈；当其中一个数值为NaN时， -1进栈

0x96

fcmpg

比较栈顶两float型数值大小，并且结果（1，0，-1）进栈；当其中一个数值为NaN时，1进栈

0x97

dcmpl

比较栈顶两double型数值大小，并且结果（1，0，-1）进栈；当其中一个数值为NaN时，-1进栈

0x98

dcmpg

比较栈顶两double型数值大小，并且结果（1，0，-1）进栈；当其中一个数值为NaN时，1进栈

0x99

ifeq

当栈顶int型数值等于0时跳转

0x9A

ifne

当栈顶int型数值不等于0时跳转

0x9B

iflt

当栈顶int型数值小于0时跳转

0x9C

ifge

当栈顶int型数值大于等于0时跳转

0x9D

ifgt

当栈顶int型数值大于0时跳转

0x9E

ifle

当栈顶int型数值小于等于0时跳转

0x9F

if_icmpeq

比较栈顶两int型数值大小，当结果等于0时跳转

0xA0

if_icmpne

比较栈顶两int型数值大小，当结果不等于0时跳转

0xA1

if_icmplt

比较栈顶两int型数值大小，当结果小于0时跳转

0xA2

if_icmpge

比较栈顶两int型数值大小，当结果大于等于0时跳转

0xA3

if_icmpgt

比较栈顶两int型数值大小，当结果大于0时跳转

0xA4

if_icmple

比较栈顶两int型数值大小，当结果小于等于0时跳转

0xA5

if_acmpeq

比较栈顶两引用型数值，当结果相等时跳转

0xA6

if_acmpne

比较栈顶两引用型数值，当结果不相等时跳转

0xA7

goto

无条件跳转

0xA8

jsr

跳转至指定16位offset位置，并将jsr下一条指令地址压入栈顶

0xA9

ret

返回至局部变量指定的index的指令位置（通常与jsr、jsr_w联合使用）

0xAA

tableswitch

用于switch条件跳转，case值连续（可变长度指令）

0xAB

lookupswitch

用于switch条件跳转，case值不连续（可变长度指令）

0xAC

ireturn

当前方法返回int

0xAD

lreturn

当前方法返回long

0xAE

freturn

当前方法返回float

0xAF

dreturn

当前方法返回double

0xB0

areturn

指令格式： areturn

功能描述：从方法中返回一个对象的引用。

抛出异常：如果当前方法是synchronized方法，

并且当前线程不是改方法的锁的拥有者，

会抛出

IllegalMonitorStateException。

指令执行前	指令执行后
栈底
...
objectref
栈顶

objectref ：被返回的对象引用。

0xB1

return

当前方法返回void

0xB2

getstatic

获取指定类的静态域，并将其值压入栈顶

0xB3

putstatic

为指定的类的静态域赋值

0xB4

getfield

获取指定类的实例域，并将其值压入栈顶

0xB5

putfield

为指定的类的实例域赋值

0xB6

invokevirtual

调用实例方法

0xB7

invokespecial

调用超类构造方法、实例初始化方法、私有方法

0xB8

invokestatic

调用静态方法

0xb9

invokeinterface

调用接口方法

0xBA

---

因为历史原因，该码点为未使用的保留码点

0xBB

new

创建一个对象，并且其引用进栈

0xBC

newarray

创建一个基本类型数组，并且其引用进栈

0xBD

anewarray

指令格式： anewarray index1 index2

功能描述：栈顶数值（count）作为数组长度，创建

一个引用型数组。栈顶数值出栈，数组引

用进栈。

抛出异常：如果count小于0，会抛出

NegativeArraySizeException

指令执行前	指令执行后
栈底
...	...
count	arrayref
栈顶

count ： int类型。

arrayref ：对所创建的数组的引用。

0xBE

arraylength

指令格式： arraylength

功能描述：栈顶的数组引用（arrayref）出栈，该

数组的长度进栈。

抛出异常：如果arrayref的值为null，会抛出

NullPointerException。

指令执行前	指令执行后
栈底
...	...
arrayref	length
栈顶

arrayref ：数组引用

length ：数组长度

0xBF

athrow

指令格式： athrow

功能描述：将栈顶的数值作为异常或错误抛出

抛出异常：如果栈顶数值为null，则使用

NullPointerException代替栈顶数

值抛出。

如果方法是的，则有可能抛出

IllegalMonitorStateException。

指令执行前	指令执行后
栈底
...	objectref
objectref
栈顶

objectref ： Throwable或其子类的实例的引用。

0xC0

checkcast

类型转换检查，如果该检查未通过将会抛出ClassCastException异常

0xc1

instanceof

检查对象是否是指定的类的实例。如果是，1进栈；否则，0进栈

0xC2

monitorenter

获得对象锁

0xC3

monitorexit

释放对象锁

0xC4

wide

用于修改其他指令的行为

0xC5

multianewarray

创建指定类型和维度的多维数组（执行该指令时，栈中必须包含各维度的长度值），并且其引用值进栈

0xC6

ifnull

为null时跳转

0xC7

ifnonnull

不为null时跳转

0xC8

goto_w

无条件跳转（宽索引）

0xC9

jsr_w

跳转至指定32位offset位置，并且jsr_w下一条指令地址进栈

0xCA

breakpoint

0xFE

impdep1

0xFF

impdep2

来源于：http://www.oseye.net/user/kevin/blog/304

posted on 2016-04-12 10:04 ymlove7 阅读(3779) 评论(0) 编辑收藏举报