【JVM笔记】创建类和数组实例的字节码指令

目录

创建指令

创建类实例的指令

创建数组的指令

字段访问指令

数组操作指令

类型检查指令

---

创建指令

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

创建类实例的指令

创建类实例的指令：new

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

创建数组的指令

创建数组的指 令：newarray、anewarray、 multianewarray

newarray：创建基本类型数组

anewarray：创建引用类型数组

multianewarray：创建多维数组

上述创建指令可以用于创建对象或者数组，由于对象和数组在 Java 中的广泛使用，这些指令的使用频率也非常高

字段访问指令

对象创建后，就可以通过对象访问指令获取对象实例或数组实例中的字段或者数组元素

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

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

数组操作指令

数组操作指令主要有：xastore 和 xaload 指令，具体为：

把一个数组元素加载到操作数栈的指令：baload、 caload、 saload、 iaload、 laload、faload、daload、aaload

将一个操作数栈的值存储到数组元素中的指令：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 个值，并将值赋给数组中指定索引的位置

类型检查指令

检查类实例或数组类型的指令：instanceof、 checkcast

指令 checkcast 用于检查类型强制转换是否可以进行。如果可以进行，那么 checkcast 指令不会改变操作数栈，否则它会抛出 ClassCastException 异常

指令 instanceof 用来判断给定对象是否是某一个类的实例，它会将判断结果压入操作数栈