java循环读取字节码_java通过字节码指令分析for循环、数组创建

前言

这篇文章是在我学习了JVM相关知识之后。明白了我们编写的代码&＃xff0c;也就是.java文件会被翻译成.class字节码文件运行在虚拟中。.class文件中其实存放的就是jvm虚拟机认识的一条条指令&＃xff0c;指挥着JVM做我们想要他做的事情。但是我们并不清楚&＃xff0c;我们的代码最终成为了何种指令&＃xff1f;

看次篇博文知识基础

正文

下面就通过代码创建一个简单的for循环、创建数组来研究一下字节码

一个一个来看吧。

for循环

java代码

public void method1(){

for (int i &＃61; 0; i <1000; i&＃43;&＃43;) {

}

}

javap -c 反汇编字节码

public void method1();

Code:

0: iconst_0 加载一个静态常量0到操作数栈

1: istore_1 将操作数栈栈顶的数值加载到局部变量表下标为1的位置上

2: iload_1 将局部变量表下标为1的数值加载到操作数栈中

3: sipush 1000 将常量1000加载到操作数栈

6: if_icmpge 15 比较栈顶两个int类型数值的大小 ,当前者 大于等于 后者时,跳转。(跳出循环)

9: iinc 1, 1 将局部变量表下标为1的数值自增1

12: goto 2 跳转到指令2继续执行(开启循环)

15: return

问题

这里这个if_icmpge 这个指令的解释有点争议&＃xff0c;前者后者&＃xff0c;到底是代码里的前者后者(i是前者&＃xff0c;1000是后者)&＃xff0c;还是栈里数据的前者后者(这个就更分不清前后了&＃xff0c;最好用栈顶栈底来说)&＃xff0c;让人搞不清。

经过我的研究&＃xff0c;我将if_icmpge 的解释改为比较栈顶两个int类型数值的大小 ,当栈顶第二个数值(i) 大于等于 栈顶第一个数值(1000)时,跳转。(跳出循环)&＃xff0c;执行完此条命令栈顶的两个值会被清空

创建数组

java代码

public void method2(){

String[] array &＃61; {"0","1","2"};

}

javap -c 反汇编字节码

public void method2();

Code:

0: iconst_3 将一个常量3加载到操作数栈当中

1: anewarray #2 该指令首先从操作数栈中加载栈定数据(3)&＃xff0c;并创建一个大小为该数据的数组&＃xff0c;并将该数组的对象引用放入操作数栈中

4: dup 拷贝一份栈顶的值&＃xff0c;并将其压栈&＃xff0c;例如栈顶的值刚开始为value,执行完为value,value

5: iconst_0 将数值为0的压入操作数栈中

6: ldc #3 将String "0"的字符串引用压入操作数栈当中

8: aastore 执行数组值存放&＃xff0c;下面会解释

9: dup

10: iconst_1

11: ldc #4 // String 1

13: aastore

14: dup

15: iconst_2

16: ldc #5 // String 2

18: aastore

19: astore_1 将栈顶的数据(数组array的引用)加载到局部变量表下标为1的位置

20: return

关于aastore

可以参考&＃xff1a;博客链接

第一个a表示数组中存放的数据类型&＃xff0c;a是reference的意思。

第二个a表示array&＃xff0c;表示这是一个数组操作。

store就是将元素存入数组了。

在使用这个aastore时&＃xff0c;必须要先入栈数组引用&＃xff0c;然后入栈下标index&＃xff0c;然后入栈所需要存放的值。这是一种存放数组数据的标准。

可以看到真实的顺序是&＃xff0c;先通过anewarray指令new出一个数组对象(array)&＃xff0c;并通过dup指令将数组array的引用拷贝了一份压入栈中&＃xff0c;此时栈中有两个数组变量ints&＃xff0c;然后入栈常量0&＃xff0c;表示要操作数组array的下标&＃xff0c;然后入栈String“0”的引用&＃xff0c;表示要数组中要存放的数据。此时栈底到栈顶的顺序是&＃xff1a;array(引用),array(引用),0,"0"。然后调用aastore&＃xff0c;执行完清空栈&＃xff0c;只留下一个栈底的ints的引用。然后继续执行。