有这么一道面试题：
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++。
匆匆写成，不知道还有遗漏或者错误。 ^_^ 
|
本类阅读TOP10