先看4个题目：
①int i = 0;
i = i++;
②int i = 0;
i = ++i;
③int i = 0;
int j = 0;
j = i++ + i++;
④ int i = 0;
int j = 0;
j = i++ + i++ + i++;
每道题里的i和j都是多少？
结果分别是
①i = 0，
//出现0可以这样简单理解：自增是单独的一个操作，自增的结果不会体现在变量i上。i++,本身就是逻辑运算（i=i+1）的缩写。
//容易混淆的地方就在于定义的变量i和自增操作的变量i名称相同，如果写成这样i=i;temp=temp+1;的两行代码，就没有疑惑了
②i = 1，
③i = 2，j = 1，
④i = 3，j = 3。
i++和++i的问题，困扰很多人。现在通过分析字节码，来确定这两条语句究竟是怎样执行的。
先给出今天要用到的字节码的含义
|
Bytecode |
Stack before->after |
Description |
|
iconst_0 |
->0 |
Loads the int value 0 onto the stack |
|
istore_1 |
value-> |
Store int value into variable 1 |
|
istore_2 |
value-> |
Store int value into variable 2 |
|
iinc |
No change |
Increment local variable #index by signed byte const |
|
iload_1 |
->value |
Loads an int value from variable 1 |
|
iadd |
value 1,value 2->result |
Adds 2 ints together |
说明两点需要注意的地方：
①iinc操作是有参数的，但是在此忽略，简写为iinc，此操作对应于自加操作，并且该操作不对stack有任何改变；
②iadd操作过后只在stack中保留结果result。
接下来是四段程序主要的字节码：
①iconst_0 ②iconst_0 ③iconst_0 ④iconst_0
istore_1 istore_1 istore_1 istore_1
iload_1 iinc 1,1 iconst_0 iconst_0
iinc 1,1 iload_1 istore_2 istore_2
istore_1 istore_1 iload_1 iload_1
iinc 1,1 iinc 1,1
iload_1 iload_1
iinc 1,1 iinc 1,1
iadd iadd
istore_2 iload_1
iinc 1,1
iadd
istore_2
现在解释①。第一步在stack中存入一个int常量0；第二步把它赋值给第一个变量，即我们的i；第三步把第一个变量i的值存入到stack中；第四步在i自身的空间进行自加，而第三步存入到stack中的值没有变；第五步把第三步存入到stack中的值再赋值给第一个变量i。也就是说，i真的是进行自加了，但是被自己原来的值覆盖掉了。从这里我们可以看出，自加操作比赋值操作的优先级高。
再看②。和①比较起来，区别就在于，++i是先进行自加，然后把自加后的值存入到stack中，所以最后赋值给i的是1，不是0。
③呢？首先，③比前两个多了一个变量，但这不是重点。往下看，把第一个变量i的值（0）存入到stack中，i自加，再第一个变量i的值（1）存入到stack中，再自加。此时stack中有两个值了，0和1，进行加操作后的结果是1，然后赋值给第二个变量j。这里颠覆了我们以前被告知的，加的运算优先级比自加高。这就是困扰我们的，其实，只要把值读入到stack中，接下来就进行自加，只有得到了两个参数，才进行加操作。
来看④。前面都和③一样，只到进行了第一次加操作，得到的结果（1）保存在stack中，没有赋值给j，然后再次读入i的值（2）到stack，i自加，得到加操作的两个参数，1和2，进行第二次加操作的结果是3，赋值给j。
到此，问题都解决了。
http://blog.csdn.net/tutuhatec/article/details/6747774