Java字节码Instructions部分翻译
学习Java字节码时，由于机翻的效果一般，很难理解，且我在网上并没有找到类似的中文翻译，故自己制作了一份包含常用内容的翻译 原文-Wikipedia
由于制作时的个人水平限制，难免有不严谨和错误的地方出现，仍以英文版原文为准。
| 指令 | 参数 | 说明 |
|---|---|---|
| aaload | arrayref, index → value | 从数组中取出引用加载到堆栈 |
| aastore | arrayref, index, value → [empty] | 将引用保存到数组中 |
| aconst_null | null | 压入一个null值 |
| aload_index | 从local variable加载到堆栈上 | 加载指定索引的局部变量到堆栈 |
| anewarray_indexbyte1_indexbyte2 | count → arrayref | 创建特定类型的数组，引用通过常量池中的index指定 |
| areturn | objectref → [empty] | 返回，弹出栈顶值 |
| arraylength | arrayref → length | 获取数组的长度 |
| astore_index | objectref → [empty] | 将引用保存到local variable |
| athrow | objectref → [empty], objectref | 抛出error或exception，清除堆栈，保留throwable |
| baload | arrayref, index → value | 从array中加载一个byte或boolean |
| bipush_byte | → value | 将一个byte作为integer push到栈中 |
| breakpoint | 调试器的保留指令，实际类文件中没有 | |
| caload | arrayref, index → value | 从array中加载一个char |
| castore | arrayref, index, value → [empty] | 将一个char保存到array中 |
| checkcast | _indexbyte1_indexbyte2 → objectref | 检测一个对象引用是否为特定类型 |
| getfield | objectref → value | 获取对象引用的某个值 |
| getstatic | → value | 获取类的静态变量 |
数据类型运算
| 指令 | 参数 | 说明 |
|---|---|---|
| d2f, d2i, d2l | value → result | 基本数据类型转换 |
| dadd | value1, value2 → result | double相加 |
| daload, dastore | 同上 | 操作double类型的array加载和保存 |
| dcmpg | value1, value2 → result | 比较double，返回1、0、-1或者NaN |
| dconst_0/1 | → 0.0 或 1.0 | 压入常量0.0或1.0 |
| ddiv | value1, value2 → result | 除法 |
| dload_index | → 从local variable加载到堆栈上的double类型值 | |
| dmul | value1, value2 → result | 乘法 |
| dneg | value → result | 取相反数 |
| drem | value1, value2 → result | 取余数 |
| dsub | value1, value2 → result | 减法 |
| dreturn | → [empty] | 返回 |
| dstore_index | → 压栈double类型值到local variable |
跳转操作
| 指令 | 参数 | 说明 | |
|---|---|---|---|
| if_acmpeq | branchbyte1, branchbyte2, value1, value2 | 若两个引用相等，跳转 | |
| if_acmpne | branchbyte1, branchbyte2, value1, value2 | 若两个引用不相等，跳转 | |
| if_icmpeq | branchbyte1, branchbyte2, value1, value2 | 若两个int相等，跳转 | |
| if_icmpne | branchbyte1, branchbyte2, value1, value2 | 若两个int不相等，跳转 | |
| if_icmpge | branchbyte1, branchbyte2, value1, value2 | 若value1 >= value2，跳转 | |
| if_icmpgt | branchbyte1, branchbyte2, value1, value2 | 若value1 > value2，跳转 | |
| if_icmple | branchbyte1, branchbyte2, value1, value2 | 若value1 <= value2，跳转 | |
| if_icmplt | branchbyte1, branchbyte2, value1, value2 | 若value1 < value2，跳转 | |
| ifeq | branchbyte1, branchbyte2, value | 值为0跳转 | |
| ifne | branchbyte1, branchbyte2, value | 值不为0跳转 | |
| ifge | branchbyte1, branchbyte2, value | 值 >= 0 跳转 | |
| ifgt | branchbyte1, branchbyte2, value | 值 > 0 跳转 | |
| ifle | branchbyte1, branchbyte2, value | 值 <= 0 跳转 | |
| iflt | branchbyte1, branchbyte2, value | 值 < 0 跳转 | |
| ifnonnull | branchbyte1, branchbyte2, value | 值不为空跳转 | |
| ifnull | branchbyte1, branchbyte2, value | 值为空跳转 | |
| iinc | index, const | 递增local variable const | |
| goto | branchbyte1 << 8 | branchbyte2 | 跳转到固定位置 |
| goto_w | 同上，数据类型为有符号int，由四个byte构成 |
堆栈操作
| 指令 | 参数 | 说明 |
|---|---|---|
| dup | value → value, value | 复制栈顶的值 |
| dup_x1 | value2, value1 → value1, value2, value1 | 把栈顶值插入到栈顶下面第二个值后面，value1和value2不能是double或long |
| dup_x2 | value3, value2, value1 → value1, value3, value2, value1 | 同上，插到第三个值后面 |
| dup2 | {value2, value1} → {value2, value1}, {value2, value1} | 复制栈顶两个值，逻辑同上，double或long为一个值 |
| dup2_x1 | 类推 | |
| dup2_x2 | 类推 |
动态调用(INDY)与方法调用
| 指令 | 参数 | 说明 |
|---|---|---|
| invokedynamic | indexbyte1, indexbyte2, 0, 0 [arg1, arg2, ...] → result | 调用动态方法并将结果压栈，方法引用通过常量池中的index指定 |
| invokeinterface | indexbyte1, indexbyte2, count, 0, objectref, [arg1, arg2, ...] → result | 执行接口方法并将结果压栈 |
| invokespecial | indexbyte1, indexbyte2, objectref, [arg1, arg2, ...] → result | 执行对象的特定方法，结果压栈 |
| invokestatic | indexbyte1, indexbyte2, [arg1, arg2, ...] → result | 执行静态方法并将结果压栈 |
| invokevirtual | 同上 | 执行virtual方法 |
其他操作
| 指令 | 参数 | 说明 |
|---|---|---|
| ldc | → value | 将常量压栈（如String, int, float等） |
| monitorenter | objectref → [empty] | 开始synchronized块 |
| monitorexit | objectref → [empty] | 结束synchronized块 |
| new | indexbyte1, indexbyte2 → objectref | 创建特定类的对象 |
| nop | 什么都不做 | |
| pop | value → [empty] | 弹出栈顶值 |
| return |