有这么一道面试题:
int a=2,b=3,c=1
a+=--b+c;
c-=b+a++;
System.out.println("a="+a+",b="+b+",c="+c);
请问输出结果如何?
正确答案是:a=6,b=2,c=-6
现在解析一下这段程序的具体运作流程
执行javap -c Test得到这段程序的执行代码如下:
0 iconst_2
1 istore_1
2 iconst_3
3 istore_2
4 iconst_1
5 istore_3
6 iload_1
7 iinc 2,-1
10 iload_2
11 iload_3
12 iadd
13 iadd
14 istore_1
15 iload_3
16 iload_2
17 iload_1
18 iinc 1,1
21 iadd
22 isub
23 istore_3
从0到5是第一条语句,初始化的部分
首先iconst_2将一个整型常量2push到operand stack
然后istore_1将operand stack里的2store到local variable
index为1,此时变量a才算初始化完成,其它两个变量也类似,
变量b和变量c的index分别为2和3,以下操作基本上使用其index
从第6句开始时第二条语句的操作
实际上local variable里保存了最终变量的值,而operand stack
里保存的是变量进行操作的值。iload_1将变量a从local variable
存入operand stack,第7句iinc 2,-1对local variable变量b执行
增加-1的操作,在java里,-x实际上执行的是+(-x)这样的操作
然后将变量b和c分别存入operand stack,此时在stack中a=2,b=2,c=1
iadd指令将operand stack中最上面的两个数pop stack,然后执行相加
操作,并将操作结果pust stack,于是stack中剩下a=2和中间值3(b+c),
b=2和c=1已经出栈了,然后又执行一次iadd,a出栈,栈中剩下中间值
5(2+3),istore_1指令将operand stack中的值5存入变量a的local variable
此轮结束后a=5,b=2,c=1
第15句开始时第三条语句的操作
先依次将c,b,a三个local variable的值push到operand stack
然后执行iinc 1,1对a的local variable加1,此时a=6
然后执行iadd,将operand stack中最上面的两个(a=5,b=2)相加,
此时,虽然local variable中的a已经为6,但是stack中的a
仍然为5,a和b被pop,operand stack中剩下c=1和中间值7,
然后isub对stack中的两个值执行相减操作,stack中剩下值-6
istore_3将stack中的-6存入c的local variable
最终结果a=6,b=2,c=-6
总结:
在java里是严格实行操作符的优先级的,所以++和--这种高优先级的
都最先计算,这里比较有意思的是进栈的次序问题,第一句里
先对b的local variable执行减法才push到stack里,而第二句里
则是先将a的值push到stack再执行加法。这涉及到java里对表达式
的定义,按照JVM Spec,任何一个算术操作都是把最终的表达式的
计算结果放到Operand Stack里。而对于--b是一整个表达式,
所以先计算了--b的值才push stack,而对于a++,表达式的值
实际是a,所以先将a的值push stack再执行a++。
匆匆写成,不知道还有遗漏或者错误。 ^_^