1、对象的创建与访问指令

Java是面向对象的程序设计语言，虚拟机平台从字节码层面就对面向对象做了深层次的支持。有一系列指令专门用于对象操作，可进一步细分为创建指令、字段访问指令、数组操作指令、类型检查指令。

对象操作指令

new 创建一个新对象

getfield 从对象中获取字段

putfield 设置对象中字段的值

getstatic 从类中获取静态字段

putstatic 设置类中静态字段的值

checkcast 确定对象为所给定的类型。后跟目标类，判断栈顶元素是否为目标类 / 接口的实例。如果不是便抛出异常

instanceof 判断对象是否为给定的类型。后跟目标类，判断栈顶元素是否为目标类 / 接口的实例。是则压入 1，否则压入 0

数组操作指令

newarray 分配数据成员类型为基本上数据类型的新数组

anewarray 分配数据成员类型为引用类型的新数组

arraylength 获取数组长度

multianewarray 分配新的多维数组

2、创建指令

创建指令

含义

new

创建类实例

newarray

创建基本类型数组

anewarray

创建引用类型数组

multilanewarra

创建多维数组

虽然类实例和数组都是对象，但Java虚拟机对类实例和数组的创建与操作使用了不同的字节码指令

创建类实例的指令：new，它接收一个操作数，为指向常量池的索引，表示要创建的类型，执行完成后，将对象的引用压入栈。

创建数组的指令：newarray、anewarray、multianewarray，上述创建指令可以用于创建对象或者数组。

3、字段访问指令

字段访问指令

含义

getstatic、putstatic

访问类字段（static字段，或者称为类变量）的指令

getfield、 putfield

访问类实例字段（非static字段，或者称为实例变量）的指令

对象创建后，就可以通过对象访问指令获取对象实例或数组实例中的字段或者数组元素。 访问类字段（static字段，或者称为类变量）的指令：getstatic、putstatic

访问类实例字段（非static字段，或者称为实例变量）的指令：getfield、putfield getstatic指令，它含有一个操作数，为指向常量池的Fieldref索引，它的作用就是获取Fieldref指定的对象或者值，并将其压入操作数栈。

4、数组操作指令

数组操作指令主要有：xastore和xaload指令。具体为： 把一个数组元素加载到操作数栈的指令：baload、caload、saload、iaload、laload、faload、daload、aaload 将一个操作数栈的值存储到数组元素中的指令：bastore、castore、sastore、iastore、lastore、fastore、dastore、aastore

数组指令

byte(boolean)

char

short

long

long

float

double

reference

xaload

baload

caload

saload

iaload

laload

faload

daload

aaload

xastore

bastore

castore

sastore

iastore

lastore

fastore

dastore

aastore

指令xaload表示将数组的元素压栈，比如saload、caload分别表示压入short数组和char数组。指令xaload在执行时，要求操作数中栈顶元素为数组索引i，栈顶顺位第2个元素为数组引用a，该指令会弹出栈顶这两个元素，并将a[i]重新压入栈。 xastore则专门针对数组操作，以iastore为例，它用于给一个int数组的给定索引赋值。在iastore执行前，操作数栈顶需要以此准备3个元素：值、索引、数组引用，iastore会弹出这3个值，并将值赋给数组中指定索引的位置。

取数组长度的指令：arraylength。该指令弹出栈顶的数组元素，获取数组的长度，将长度压入栈。

5、类型检查指令

检查类实例或数组类型的指令：instanceof、checkcast。 指令instanceof用来判断给定对象是否是某一个类的实例，它会将判断结果压入操作数栈 指令checkcast用于检查类型强制转换是否可以进行。如果可以进行，那么checkcast指令不会改变操作数栈，否则它会抛出ClassCastException异常

类型检查指令

含义

instanceof

判断给定对象是否是某一个类的实例

checkcast

检查类型强制转换是否可以进行