引言
Java是面向对象的程序设计语言,虚拟机平台从字节码层面就对面向对象做了深层次的支。有一系列指令专门用于对象操作,可进一步细分为创建指令、字段访问指令、数组操作指令、类型检查指令。
创建指令
- 虽然类实例和数组都是对象,但Java虚拟机对类实例和数组的创建与操作使用了不同的字节码指令:
- 创建类实例的指令:
- 创建类实例的指令:new
- 它接收一个操作数,为指向常量池的索引,表示要创建的类型,执行完成后,将对象的引用压入栈。
- 创建类实例的指令:new
- 创建数组的指令:
- 创建数组的指令:newarray、anewarray、multianewarray。
- newarray:创建基本类型数组
- anewarray:创建引用类型数组
- multianewarray:创建多维数组
- 创建数组的指令:newarray、anewarray、multianewarray。
- 上述创建指令可以用于创建对象或者数组,由于对象和数组在Java中的广泛使用,这些指令的使用频率也非常高。
代码举例
// 创建对象
public void newInstance() {
Object obj = new Object();
File file = new File("atguigu.avi");
}
为什么要dup呢,dup是将栈顶数值复制一份并送入至栈顶。因为invokespecial会消耗掉一个当前类的引用,因而需要复制一份。
// 创建数组
public void newArray() {
int[] intArray = new int[10]; // newarray
Object[] objArray = new Object[10]; // anewarray
int[][] mintArray = new int[10][10]; // multianewarray
String[][] strArray = new String[10][]; // newarray
String[][] strArray2 = new String[10][5]; // multianewarray
}
字段访问指令
- 对象创建后,就可以通过对象访问指令获取对象实例或数组实例中的字段或者数组元素。
- 访问类字段(static字段,或者称为类变量)的指令:getstatic、putstatic
- 访问类实例字段(非static字段,或者称为实例变量)的指令:getfield、putfield
代码举例
get 压进操作数栈,get/putstatic命令不需要读取局部变量表的实列
数组操作指令
数组操作指令主要有:xastore和xaload指令。
具体为:
- 把一个数组元素加载到操作数栈的指令:baload、caload、saload、iaload、laload、faload、daload、aaload
- 将一个操作数栈的值存储到数组元素中的指令:rbastore、castore、sastore、iastore、lastore、fastore、dastore、aastore
- 取数组长度的指令:arraylength
- 该指令弹出栈顶的数组元素,获取数组的长度,将长度压入栈。
astore改变的堆中的实列数组
说明
- 指令xaload表示将数组的元素压栈,比如saload、caload分别表示压入short数组和char数组。指令xaload在执行时,要求操作数中栈顶元素为数组索引i,栈顶顺位第2个元素为数组引用a,该指令会弹出栈顶这两个元素,并将a[i]重新压入堆栈。
- xastore则专门针对数组操作,以iastore为例,它用于给一个int数组的给定索引赋值。在iastore执行前,操作数栈顶需要以此准备3个元素:值、索引、数组引用,iastore会弹出这3个值,并将值赋给数组中指定索引的位置。
代码举例
//3.数组操作指令
public void setArray() {
int[] intArray = new int[10];
intArray[3] = 20;
System.out.println(intArray[1]);
boolean[] arr = new boolean[10];
arr[1] = true;
// bastore
double[] arrDouble = new double[2];
System.out.println(arrDouble.length); // arraylength
}
类型检查指令
检查类实例或数组类型的指令:instanceof、checkcast。
- 指令cheqkcast用于检查类型强制转换是否可以进行。如果可以进行,那么checkcast指令不会改变操作数栈,否则它会抛出ClassCastException异常。|
- 指令instanceof用来判断给定对象是否是某一个类的实例,它会将判断结果压入操作数栈。
代码举例
//4.类型检查指令
public String checkcast(Object obj) {
if (obj instanceof String) {
return (String) obj;
} else {
return null;
}
// 0 aload_1
// 1 instanceof #10 <java/lang/String>
// 4 ifeq 12 (+8)
// 7 aload_1
// 8 checkcast #10 <java/lang/String>
//11 areturn
//12 aconst_null
//13 areturn
}