Java对象和数组操作(二)

针对数组的操作码

        实例化新数组的工作可以通过newarray，anewarray和multianewarray操作码来完成。newarray操作码用来创建基本类型的数组，而不是对象引用的数组。基本类型由紧随newarray操作码的单字节操作数“atype”指定。

创建数组

操作码	操作数	说明
newarray	atype	从栈中弹出数组长度，使用atype所指定的基本数据类型分配新数组，将数组的对象引用压入栈
anewarray	indextype1，indexbyte2	从栈中弹出数组长度，使用由indexbyte1和indexbyte2所指定的类分配新对象数组，将新数组的对象引用压入栈
multianewarray	indextype1，indexbyte2,dimensions	从栈中弹出数组的维数，使用由indexbyte1和indexbyte2所指定的类分配新多维数组，将新数组的对象引用压入栈

atype的值

数组类型	atype
T_BOOLEAN	4
T_CHAR	5
T_FLOAT	6
T_DOUBLE	7
T_BYTE	8
T_SHORT	9
T_INT	10
T_LONG	11

需要注意的是，当数组类型显示声明为boolean类型时，Java虚拟机中创建数组的指令会以位为单位进行操作。无论虚拟机对于boolean数组使用哪一种内部实现，都会使用存取byte数组元素的操作码访问boolean数组的元素。

        anewarray指令用来建立一个对象引用数组。anewarray指令有两个单字节长的操作数，它们紧随anewarray操作码之后，这两个操作码合起来表示常量池中的一个不带符号的16位长度索引。创建数组所针对的对象，其所属类的描述可以通过这个索引在常量池中找到，如果还没有相关描述，虚拟机将会解析常量池入口。这条指令为对象引用数组分配空间，并把引用值初始化为null。

        multianewarray指令用来分配多维数组。多维数组也可以通过重复使用anewarray和newarray来进行分配。multianewarray指令只不过是把创建多维数组所需的字节码压缩到一条指令中。multianewarray指令有两个紧随multianewarray操作码之后的单字节长的操作数，这两个操作数合起来表示常量池中的不带符号的16位长度索引。创建的数组所针对的对象，其所属类的描述，可以通过这个索引在常量池中找到。如果还没有相关描述，虚拟机会解析这个符号引用，紧随这两个操作数之后，是一个无符号的单字节操作数，这个操作数用来表示多维数组的维数，每一维的长度都会从栈中弹出。这条指令为所有组成多维数组的数组分配空间。

        multianewarray指令使用的常量池入口包含带有数组类名Constant_Class的项。例如，一个四维float类型数组的常量池入口将会有一个形如“[[[[F”的名字，常量池入口中的类名可以拥有比维数字节指定的更多（但不会更少）的左括号。

获取数组长度

操作码	操作数	说明
arraylength	（无）	从栈中弹出一个数组的对象引用，将数组长度压入栈

arraylength指令从栈顶端弹出一个数组引用，然后把这个数组的长度压入栈。

获取数组元素，虚拟机从栈中弹出数组的索引和数组引用，再将位于给定数组的指定索引位置压入栈。

获取数组元素

操作码	操作数	说明
baload	(无)	将byte类型或者boolean类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈
caload	(无)	将char类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈
saload	(无)	将short类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈
iaload	(无)	将int类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈
laload	(无)	将long类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈
faload	(无)	将float类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈
daload	(无)	将double类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈
aaload	(无)	将对象引用类型的数组的索引index和数组引用arrayref弹出栈，将arrayref[index]压入栈

操作码	操作数	说明
bastore	(无)	将byte类型或者boolean类型的值、数组的索引index和数组引用arrayref弹出栈，赋值为arrayref[index] = value
castore	(无)	将char类型的值value、数组的索引index和数组引用arrayref弹出栈，赋值为arrayref[index] = value
sastore	(无)	将short类型的值value、数组的索引index和数组引用arrayref弹出栈，赋值为arrayref[index] = value
iastore	(无)	将int类型的数组的值value、索引index和数组引用arrayref弹出栈，赋值为arrayref[index] = value
lastore	(无)	将long类型的值value、数组的索引index和数组引用arrayref弹出栈，赋值为arrayref[index] = value
fastore	(无)	将float类型的值value、数组的索引index和数组引用arrayref弹出栈，赋值为arrayref[index] = value
dastore	(无)	将double类型的值value、数组的索引index和数组引用arrayref弹出栈，赋值为arrayref[index] = value
aastore	(无)	将对象引用类型的值value、数组的索引index和数组引用arrayref弹出栈，，赋值为arrayref[index] = value

例如如下代码：

public class TestMain {

 

/**

* @param args

*/

public static void main(String[] args) {

// TODO Auto-generated method stub

int a[] = new int[3];

for (int i = 0 ; i < 3;i++){

a[i] = i;

}

}

 

}

用javap工具查看其字节码为：

Compiled from "TestMain.java"

public class TestMain extends java.lang.Object{

public TestMain();

Code:

0: aload_0

1: invokespecial #8; //Method java/lang/Object."<init>":()V

4: return

 

public static void main(java.lang.String[]);

Code:

0: iconst_3

1: newarray int

3: astore_1

4: iconst_0

5: istore_2

6: goto 16

9: aload_1

10: iload_2

11: iload_2

12: iastore

13: iinc 2, 1

16: iload_2

17: iconst_3

18: if_icmplt 9

21: return

 

}