深入理解Java虚拟机（第三版）字节码指令简介

存储数据的操作数栈和局部变量表主要由加载和存储指令进行操作&＃xff0c;除此之外&＃xff0c;还有少量指令&＃xff0c; 如访问对象的字段或数组元素的指令也会向操作数栈传输数据。

上面所列举的指令助记符中&＃xff0c;有一部分是以尖括号结尾的(例如iload_)&＃xff0c;这些指令助记符实际上代表了一组指令(例如iload_&＃xff0c;它代表了iload_0、iload_1、iload_2和iload_3这几条指令)。这 几组指令都是某个带有一个操作数的通用指令(例如iload)的特殊形式&＃xff0c;对于这几组特殊指令&＃xff0c;它们 省略掉了显式的操作数&＃xff0c;不需要进行取操作数的动作&＃xff0c;因为实际上操作数就隐含在指令中。除了这点 不同以外&＃xff0c;它们的语义与原生的通用指令是完全一致的(例如iload_0的语义与操作数为0时的iload指令 语义完全一致)。这种指令表示方法&＃xff0c;在本书和《Java虚拟机规范》中都是通用的。

运算指令

算术指令用于对两个操作数栈上的值进行某种特定运算&＃xff0c;并把结果重新存入到操作栈顶。大体上 运算指令可以分为两种:对整型数据进行运算的指令与对浮点型数据进行运算的指令。整数与浮点数 的算术指令在溢出和被零除的时候也有各自不同的行为表现。无论是哪种算术指令&＃xff0c;均是使用Java虚拟机的算术类型来进行计算的&＃xff0c;换句话说是不存在直接支持byte、short、char和boolean类型的算术指令&＃xff0c;对于上述几种数据的运算&＃xff0c;应使用操作int类型的指令代替。所有的算术指令包括:

• 加法指令:iadd、ladd、fadd、dadd
• 减法指令:isub、lsub、fsub、dsub
• 乘法指令:imul、lmul、fmul、dmul
• 除法指令:idiv、ldiv、fdiv、ddiv
• 求余指令:irem、lrem、frem、drem
• 取反指令:ineg、lneg、fneg、dneg
• 位移指令:ishl、ishr、iushr、lshl、lshr、lushr
• 按位或指令:ior、lor
• 按位与指令:iand、land
• 按位异或指令:ixor、lxor
• 局部变量自增指令:iinc
• 比较指令:dcmp g、dcmp l、fcmp g、fcmp l、lcmp

Java虚拟机的指令集直接支持了在《Java语言规范》中描述的各种对整数及浮点数操作(详情参见 《Java语言规范》4.2.2节和4.2.4节)的语义。数据运算可能会导致溢出&＃xff0c;例如两个很大的正整数相加&＃xff0c;结果可能会是一个负数&＃xff0c;这种数学上不可能出现的溢出现象&＃xff0c;对于程序员来说是很容易理解的&＃xff0c; 但其实《Java虚拟机规范》中并没有明确定义过整型数据溢出具体会得到什么计算结果&＃xff0c;仅规定了在 处理整型数据时&＃xff0c;只有除法指令(idiv和ldiv)以及求余指令(irem和lrem)中当出现除数为零时会导致 虚 拟 机 抛 出 A r i t h m e t i c E xc e p t i o n 异 常 &＃xff0c; 其 余 任 何 整 型 数 运 算 场 景 都 不 应 该 抛 出 运 行 时 异 常。

《Java虚拟机规范》要求虚拟机实现在处理浮点数时&＃xff0c;必须严格遵循IEEE 754规范中所规定行为和限制&＃xff0c;也就是说Java虚拟机必须完全支持IEEE 754中定义的“非正规浮点数值”(Denormalized Floating-Point Number)和“逐级下溢”(Gradual Underflow)的运算规则。这些规则将会使某些数值算 法处理起来变得明确&＃xff0c;不会出现模棱两可的困境。譬如以上规则要求Java虚拟机在进行浮点数运算 时&＃xff0c;所有的运算结果都必须舍入到适当的精度&＃xff0c;非精确的结果必须舍入为可被表示的最接近的精确值;

如果有两种可表示的形式与该值一样接近&＃xff0c;那将优先选择最低有效位为零的。这种舍入模式也是 IEEE 754规范中的默认舍入模式&＃xff0c;称为向最接近数舍入模式。而在把浮点数转换为整数时&＃xff0c;Java虚拟 机使用IEEE 754标准中的向零舍入模式&＃xff0c;这种模式的舍入结果会导致数字被截断&＃xff0c;所有小数部分的有 效字节都会被丢弃掉。向零舍入模式将在目标数值类型中选择一个最接近&＃xff0c;但是不大于原值的数字来 作为最精确的舍入结果。

另外&＃xff0c;Java虚拟机在处理浮点数运算时&＃xff0c;不会抛出任何运行时异常(这里所讲的是Java语言中的异 常&＃xff0c;请读者勿与IEEE 754规范中的浮点异常互相混淆&＃xff0c;IEEE 754的浮点异常是一种运算信号)&＃xff0c;当一个操作产生溢出时&＃xff0c;将会使用有符号的无穷大来表示;如果某个操作结果没有明确的数学定义的话&＃xff0c; 将会使用NaN(Not a Number)值来表示。所有使用NaN值作为操作数的算术操作&＃xff0c;结果都会返回 NaN。

在对long类型数值进行比较时&＃xff0c;Java虚拟机采用带符号的比较方式&＃xff0c;而对浮点数值进行比较时 (dcmpg、dcmpl、fcmpg、fcmpl)&＃xff0c;虚拟机会采用IEEE 754规范所定义的无信号比较(Nonsignaling Comp arison)方式进行。

类型转换指令

类型转换指令可以将两种不同的数值类型相互转换&＃xff0c;这些转换操作一般用于实现用户代码中的显式类型转换操作&＃xff0c;或者用来处理本节开篇所提到的字节码指令集中数据类型相关指令无法与数据类型 一一对应的问题。

Java虚拟机直接支持(即转换时无须显式的转换指令)以下数值类型的宽化类型转换(Widening Numeric Conversion&＃xff0c;即小范围类型向大范围类型的安全转换):

• int类型到long、float或者double类型
• long类型到float、double类型
• float类型到double类型

与之相对的&＃xff0c;处理窄化类型转换(Narrowing Numeric Conversion)时&＃xff0c;就必须显式地使用转换指令来完成&＃xff0c;这些转换指令包括i2b、i2c、i2s、l2i、f2i、f2l、d2i、d2l和d2f。窄化类型转换可能会导致 转换结果产生不同的正负号、不同的数量级的情况&＃xff0c;转换过程很可能会导致数值的精度丢失。

在将int或long类型窄化转换为整数类型T的时候&＃xff0c;转换过程仅仅是简单丢弃除最低位N字节以外的 内容&＃xff0c;N是类型T的数据类型长度&＃xff0c;这将可能导致转换结果与输入值有不同的正负号。对于了解计算机 数值存储和表示的程序员来说这点很容易理解&＃xff0c;因为原来符号位处于数值的最高位&＃xff0c;高位被丢弃之 后&＃xff0c;转换结果的符号就取决于低N字节的首位了。

Java虚拟机将一个浮点值窄化转换为整数类型T(T限于int或long类型之一)的时候&＃xff0c;必须遵循以 下转换规则:

• 如果浮点值是NaN&＃xff0c;那转换结果就是int或long类型的0。
• 如果浮点值不是无穷大的话&＃xff0c;浮点值使用IEEE 754的向零舍入模式取整&＃xff0c;获得整数值v。如果v在 目标类型T(int或long)的表示范围之类&＃xff0c;那转换结果就是v;否则&＃xff0c;将根据v的符号&＃xff0c;转换为T所能表 示的最大或者最小正数。

从double类型到float类型做窄化转换的过程与IEEE 754中定义的一致&＃xff0c;通过IEEE 754向最接近数舍 入模式舍入得到一个可以使用float类型表示的数字。如果转换结果的绝对值太小、无法使用float来表 示的话&＃xff0c;将返回float类型的正负零;如果转换结果的绝对值太大、无法使用float来表示的话&＃xff0c;将返回 float类型的正负无穷大。对于double类型的NaN值将按规定转换为float类型的NaN值。

尽管数据类型窄化转换可能会发生上限溢出、下限溢出和精度丢失等情况&＃xff0c;但是《Java虚拟机规范》中明确规定数值类型的窄化转换指令永远不可能导致虚拟机抛出运行时异常。

对象创建与访问指令

虽然类实例和数组都是对象&＃xff0c;但Java虚拟机对类实例和数组的创建与操作使用了不同的字节码指令(在下一章会讲到数组和普通类的类型创建过程是不同的)。

对象创建后&＃xff0c;就可以通过对象访问指令获取对象实例或者数组实例中的字段或者数组元素&＃xff0c;这些指令包括:

• 创建类实例的指令:new
• 创建数组的指令:new array 、anew array 、mult ianewarray
• 访问类字段(static字段&＃xff0c;或者称为类变量)和实例字段(非static字段&＃xff0c;或者称为实例变量)的指令:getfield、putfield、getstatic、putstatic
• 把一个数组元素加载到操作数栈的指令:baload、caload、saload、iaload、laload、faload、 daload、aaload
• 将一个操作数栈的值储存到数组元素中的指令:bastore、castore、sastore、iastore、fastore、 dastore、aastore
• 取数组长度的指令:array length
• 检查类实例类型的指令:instanceof、checkcast

操作数栈管理指令

如同操作一个普通数据结构中的堆栈那样&＃xff0c;Java虚拟机提供了一些用于直接操作操作数栈的指
令&＃xff0c;包括:

• 将操作数栈的栈顶一个或两个元素出栈:pop 、pop2
• 复制栈顶一个或两个数值并将复制值或双份的复制值重新压入栈顶:dup 、dup 2、dup _x1、 dup 2_x1、dup _x2、dup 2_x2
• 将栈最顶端的两个数值互换:swap

控制转移指令

控制转移指令可以让Java虚拟机有条件或无条件地从指定位置指令(而不是控制转移指令)的下一条指令继续执行程序&＃xff0c;从概念模型上理解&＃xff0c;可以认为控制指令就是在有条件或无条件地修改PC寄存器的值。

控制转移指令包括:

• 条 件 分 支 :ifeq 、 iflt 、 ifle 、 ifne 、 ifgt 、 ifge 、 ifnull 、 ifnonnull 、 if_icmpeq 、 if_icmpne、 if_icmplt 、 if_icmpgt 、 if_icmple 、 if_icmpge 、 if_acmpeq 和 if_acmpne
• 复合条件分支:tableswitch、lookupswitch
• 无 条 件 分 支 : goto 、 goto_w 、 jsr、 jsr_w 、 ret

在Java虚拟机中有专门的指令集用来处理int和reference类型的条件分支比较操作&＃xff0c;为了可以无须明显标识一个数据的值是否null&＃xff0c;也有专门的指令用来检测null值。

与前面算术运算的规则一致&＃xff0c;对于boolean类型、byte类型、char类型和short类型的条件分支比较 操作&＃xff0c;都使用int类型的比较指令来完成&＃xff0c;而对于long类型、float类型和double类型的条件分支比较操 作&＃xff0c;则会先执行相应类型的比较运算指令(dcmp g、dcmp l、fcmp g、fcmp l、lcmp &＃xff0c;见6.4.3节)&＃xff0c;运算 指令会返回一个整型值到操作数栈中&＃xff0c;随后再执行int类型的条件分支比较操作来完成整个分支跳转。 由于各种类型的比较最终都会转化为int类型的比较操作&＃xff0c;int类型比较是否方便、完善就显得尤为重 要&＃xff0c;而Java虚拟机提供的int类型的条件分支指令是最为丰富、强大的。

方法调用和返回指令

方法调用(分派、执行过程)将在第8章具体讲解&＃xff0c;这里仅列举以下五条指令用于方法调用:

• invokevirtual指令:用于调用对象的实例方法&＃xff0c;根据对象的实际类型进行分派(虚方法分派)&＃xff0c; 这也是Java语言中最常见的方法分派方式。
• invokeinterface指令:用于调用接口方法&＃xff0c;它会在运行时搜索一个实现了这个接口方法的对象&＃xff0c;找 出适合的方法进行调用。
• invokespecial指令:用于调用一些需要特殊处理的实例方法&＃xff0c;包括实例初始化方法、私有方法和 父类方法。
• invokestatic指令:用于调用类静态方法(static方法)。
• invokedynamic指令:用于在运行时动态解析出调用点限定符所引用的方法。并执行该方法。前面 四条调用指令的分派逻辑都固化在Java虚拟机内部&＃xff0c;用户无法改变&＃xff0c;而invokedynamic指令的分派逻辑 是由用户所设定的引导方法决定的。

方法调用指令与数据类型无关&＃xff0c;而方法返回指令是根据返回值的类型区分的&＃xff0c;包括ireturn(当返 回值是boolean、byte、char、short和int类型时使用)、lreturn、freturn、dreturn和areturn&＃xff0c;另外还有一 条ret urn指令供声明为void的方法、实例初始化方法、类和接口的类初始化方法使用。

异常处理指令

在Java程序中显式抛出异常的操作(throw语句)都由athrow指令来实现&＃xff0c;除了用throw语句显式抛出异常的情况之外&＃xff0c;《Java虚拟机规范》还规定了许多运行时异常会在其他Java虚拟机指令检测到异常 状况时自动抛出。例如前面介绍整数运算中&＃xff0c;当除数为零时&＃xff0c;虚拟机会在idiv或ldiv指令中抛出A r i t h m e t i c E xc e p t i o n 异 常 。

而在Java虚拟机中&＃xff0c;处理异常(catch语句)不是由字节码指令来实现的(很久之前曾经使用jsr和 ret指令来实现&＃xff0c;现在已经不用了)&＃xff0c;而是采用异常表来完成。

同步指令

Java虚拟机可以支持方法级的同步和方法内部一段指令序列的同步&＃xff0c;这两种同步结构都是使用管程(Monitor&＃xff0c;更常见的是直接将它称为“锁”)来实现的。

方法级的同步是隐式的&＃xff0c;无须通过字节码指令来控制&＃xff0c;它实现在方法调用和返回操作之中。虚拟机可以从方法常量池中的方法表结构中的ACC_SYNCHRONIZED访问标志得知一个方法是否被声明为同步方法。当方法调用时&＃xff0c;调用指令将会检查方法的ACC_SYNCHRONIZED访问标志是否被设置&＃xff0c;如果设置了&＃xff0c;执行线程就要求先成功持有管程&＃xff0c;然后才能执行方法&＃xff0c;最后当方法完成(无论是正常完成 还是非正常完成)时释放管程。在方法执行期间&＃xff0c;执行线程持有了管程&＃xff0c;其他任何线程都无法再获取到同一个管程。如果一个同步方法执行期间抛出了异常&＃xff0c;并且在方法内部无法处理此异常&＃xff0c;那这个同步方法所持有的管程将在异常抛到同步方法边界之外时自动释放。

同步一段指令集序列通常是由Java语言中的synchronized语句块来表示的&＃xff0c;Java虚拟机的指令集中有monitorenter和monitorexit两条指令来支持synchronized关键字的语义&＃xff0c;正确实现synchronized关键字 需要Javac编译器与Java虚拟机两者共同协作支持&＃xff0c;譬如有代码清单6-6所示的代码。

编译器必须确保无论方法通过何种方式完成&＃xff0c;方法中调用过的每条monitorenter指令都必须有其对 应 的 m o n i t o r e xi t 指 令 &＃xff0c; 而 无 论 这 个 方 法 是 正 常 结 束 还 是 异 常 结 束 。

从 代 码 清 单 6 - 6 的 字 节 码 序 列 中 可 以 看 到 &＃xff0c; 为 了 保 证 在 方 法 异 常 完 成 时 m o n i t o r e n t e r 和 m o n i t o r e xi t 指 令依然可以正确配对执行&＃xff0c;编译器会自动产生一个异常处理程序&＃xff0c;这个异常处理程序声明可处理所有 的 异 常 &＃xff0c; 它 的 目 的 就 是 用 来 执 行 m o n i t o r e xi t 指 令 。