关于一道操作符面试题的思考

　　有这么一道面试题：

　　 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++。

　　匆匆写成，不知道还有遗漏或者错误。 ^_^