从 i++ 和 ++i 说起局部变量表和操作数栈

1、先通过一张图片来看看局部变量表和操作数栈之间的操作关系：

　　

2、实例:

　　

0 iconst_1
 1 istore_1
 2 iload_1
 3 iinc 1 by 1
 6 istore_1
 7 iload_1
 8 iinc 1 by 1
11 istore_2
12 iload_1
13 iinc 1 by 1
16 iload_1
17 iload_1
18 iinc 1 by 1
21 imul
22 iadd
23 istore_3

所以，我们现在解释一下上面的代码。int i = 1;发生了两个过程，iconst_1 是将 int 型的 1 推送至栈顶。istore_1 把栈顶的元素弹出，并赋值给局部变量表中位置为“1”的变量，此时指变量i。这两句就相当于 int i = 1;

i = i++; 代码解释：iload_1 把局部变量表中位置为“1”的变量加载到栈顶，即把 i 的值加载到栈顶。iinc 1 by 1，将局部变量表中位置为“1”的 i 加 1，此时局部变量表中 i 的结果为 2。然后 istore_1 把栈顶的元素弹出，并赋值给局部变量表中位置为“1”的变量。所以 i 的值又被改为了 1。

int j = i++; 代码解释：iload_1 把局部变量表中位置为“1”的变量加载到栈顶，即把 i 的值加载到栈顶。iinc 1 by 1 将局部变量表中位置为“1”的 i 加 1，此时结果为 2，也就是局部变量表中 i 的结果为 2。istore_2 把栈顶的元素弹出并赋值给局部变量表中位置为“2”的 j。所以 j 是 1，但是 i 的值已经为 2。

int k = i + ++i * i++; 这个是最复杂的，我们直接看 JVM 指令即可。iload_1 把局部变量表中位置为“1”的变量加载到栈顶，即把 i 的值加载到栈顶，注意 i 的值此时是 2。iinc 1 by 1，i 自增，然后 i 就变成 3 了。接着两个 iload_1、iload_1分别把局部变量 i 压到栈了。所以栈中现在是 3、3、2。然后执行 iinc 1 by 1，i 又自增了，这时把局部变量表中的 i 就变成 4 了，注意这个 4 并未压入栈。之后 imul 进行乘法计算，栈中的前两个元素计算后是 9，之后执行 iadd 指令，也就是 9 + 2，结果为 11。最后 istore_3 把 11 从栈顶弹出，并赋值给 k，也就是局部变量表中位置为“3”的 k 的值是 11。