java中i=i++问题分析

http://www.ticmy.com/?p=43

重点：局部变量表 和 操作数栈的执行过程。

 

使用javac编译后再使用javap -c Test反编译这个类查看它的字节码，如下（只摘取main方法）：

public static void main(java.lang.String[]);

Code:

0: iconst_0

1: istore_1

2: iload_1

3: iinc 1, 1

6: istore_1

7: getstatic #2; //Field java/lang/System.out:Ljava/io/PrintStream;

10: iload_1

11: invokevirtual #3; //Method java/io/PrintStream.println:(I)V

14: return

这里，我从第0行开始分析（分析中【】表示栈，栈的底端在左边，顶端在右边）：

0：将常数0压入栈，栈内容：【0】

1：将栈顶的元素弹出，也就是0，保存到局部变量区索引为为1（也就是变量i）的地方。栈内容：【】

2：将局部变量区索引为1（也就是变量i）的值压入栈，栈内容：【0】

3：将局部变量区索引为1（也就是常量i）的值加一，此时局部变量区索引为1的值（也就是i的值）是1。栈内容：【0】

6：将栈顶元素弹出，保存到局部变量区索引为1（也就是i）的地方，此时i又变成了0。栈内容：【】

7：获取常量池中索引为2所表示的类变量，也就是System.out。栈元素：【】

10：将局部变量区索引为1的值（也就是i）压入栈。栈元素：【0】

11：调用常量池索引为3的方法，也就是System.out.println

14：返回main方法

=================================================================

Java使用了中间缓存变量机制：

i=i++;等同于：

temp=i； (等号右边的i)

i=i+1;      (等号右边的i)

i=temp;   (等号左边的i)

而i=++i;则等同于：

i=i+1;

temp=i;

i=temp;

 

=================================================================

15: iload_2       //将局部变量区2号索引的变量i值0压入操作数栈 

16: iinc     2, 1 //将局部变量区2号索引的值加1，操作数栈不发生变化 

19: istore_2      //将栈顶的0弹出，赋给局部变量区2号索引的i 

 

=================================================================

 

main 和 fremin 的 i 在各自 (运行时的当前栈帧<StackFrame>)的局部变量表<Local Variable Table>中，两个变量不一样。main调用fremin结束之后退栈，然而并没有改变main的栈帧的局部变量表里 i 的值。 

 

i=i++；i++的汇编指令是（iinc 1，1），他只改变本地变量表的值，但是  i= 赋值的时候，操作数栈的栈顶还是0，存到本地变量表，又把slot1覆盖成0，所以得0.

iconst_0// 0

istore_1//slot 1 : i=0

iload_1 //取出0

iinc 1,1 //slot 1: i=1

istore_1// slot 1 = 0覆盖

iload_1 //println的还0

输出。

 

=================================================================