2004-10-24
i=0;i=i++为什么等于0这个问题困扰了我好长的一段时间，结果前段时间还试图从虚拟机那个层面进行解释，但无论是线程还是方法调用都不能解释其现象，发现方向性错误，这只是一个语言的特性而已。在java lang spec中提到：
1、java运算符的优先级++符是大于=的。
2、The result of the postfix increment expression is not a variable, but a value.后＋＋符表达式的结果是个值而不是一个变量。
也就是说后＋＋符先将自己的值存储起来，然后对变量进行++;
再进行赋值操作，也就是将先存储起来的值赋给变量i,这样的操作就导致了i值被置为0了
对于C和C++来说不一样，在讲到m=i++操作时，C语言是先将i的值赋给了m,然后将i值++,这样i=i++的结果自然就是1了，c的实现中是不存在那个中间的值的存储的。
由于java和c不同的语言特性，导致了i=i++的不同之处，前面的笔记中已经提到，由于java lang spec中的一些细微规定，导致其运行结果的不同，我们可以用个例子来看i=i++在jvm中实际的运行过程。
源程序test.java：
public class test {
public test() {
}
public static void main(String[] args) {
int i=0;
i=i++;
}
}
我们用javap来看其实际的虚拟机指令集：
C:\JBuilderX\jdk1.4\bin>javap -c -classpath "d:/" test
Compiled from "test.java"
public class test extends java.lang.Object{
public test();
Code:
0: aload_0
1: invokespecial #1; //Method java/lang/Object."":()V
4: nop
5: return
public static void main(java.lang.String[]);
Code:
0: iconst_0 //常数0入栈
1: istore_1 //i赋值，常数值出栈
//至此完成i=0;
2: iload_1 //装载变量i，0入栈
//第2步是特殊的一步，这步将i值先行保存，以备赋值使用
3: iinc 1, 1 //变量值增加，栈内值不变
//至此完成i++
6: istore_1 //i赋值，0出栈。
//至此完成i=i++
7: nop //donothing
8: return
}
对比而言，对于i++而言，i=i++指令多了两步，2和6
其实这两步是赋值符号引起的，有意思的是第二步出现的时机，是在iinc之前，这就是因为java lang spec中规定的。