关于a=a++为什么不能改变a的值的思考

上周末在技术交流群里看到这样一个问题：

		int c = 0;
		int d = 0;
		for(int i = 0;i<10;i++) {
			c=c++;
		}	   
	   System.out.println(c);		
		for(int i = 0;i<10;i++) {
			c=c++;
			d=c++;
		}
		System.out.println(c);
		System.out.println(d);		

输出为：

0
10
9

乍一看，觉得非常不符合逻辑。
所以在周末对代码进行了一次复现，发现结果确实就是上面那样的。
这确实让人比较感兴趣，所以分别对上半部分，和下半部分进行了反编译：

		int c = 0;
		int d = 0;
		for(int i = 0;i<10;i++) {
			c=c++;
		}	   

上述代码块的反编译结果为：

public class DoTest {
  public DoTest();
    Code:
       0: aload_0
       1: invokespecial #8                  // Method java/lang/Object."<init>":()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: iconst_0
       1: istore_1
       2: iconst_0				
       3: istore_2
       4: goto          15
	   7: iload_1			      //将定义的第一个数据push入栈,即c=0
	   8: iinc          1, 1     //将第一个数据的本地变量值+1
	  11: istore_1			 //将栈中的值pop出来给第一个数据，即c=0;
	  12: iinc          2, 1   //将第二个数据的本地变量值+1，i=1->这里不往下写了，到这里是一轮，下面的load_2是新的一轮加				
	  								//载的是i=1
	  15: iload_2             //第一步先到这，将for循环定义第二个本地变量i入栈,i=0;
	  16: bipush        10	  //将10推送到栈顶
	  18: if_icmplt     7	  //比较栈顶两int型数值大小，当第二个比第一个小的时候跳转到7: iload_1的位置
      21: getstatic     #16                 // Field java/lang/System.out:Ljava/io/PrintStream;
      24: iload_1							//将第一个变量的值push入栈
      25: invokevirtual #22                 // Method java/io/PrintStream.println:(I)V
      28: return
}

这里我比划了一阵，写了些注释给自己看，可能大家看的没那么清晰；我在这里尽量仔细的过一遍：
1、字节码从4处直接跳到15处，进入循环；
2、15处代码为：加载第二个定义的变量到栈上，这里的变量指的是for循环判断语句中的int i，值为0;
3、将10推送到栈顶；
4、比较栈顶两个数据的大小，如果第二个元素比栈顶元素小，则跳转到第7条；
5、这里将第一个定义的变量入栈，即将c入栈，此时栈顶元素为c=0；
6、将本地变量c的值进行自增操作，即c++（这里猜想iinc的实现其实和c=c+1类似，后经过反编译c=c+1后发现：c=c+1的实现确实也是用了iinc这个字节码来实现）
7、看到这里可能就有些困惑了，明明改了值，为啥最后输出还是零？关键看到前标为11的字节码—> 11: istore_1 ,这个字节码的语义为：将栈中的值pop出来给第一个变量。我们这里栈顶的元素就是第5步入栈的c变量原来的值，即c=0.所以在这一步，又将变量c的值赋为0了。
看到这里就很清楚了，虽然一直调用了iinc这个自增语句，但接下来马上又将未进行自增操作之前的值赋值给了c这个元素。
PS：可能看到这里，大家还会有些疑惑，我就在这里做一些拓展：
1：在for（）循环体内将

c=c++;
替换为：
c++;

则c的值会正常自增，最终输出的值为：10，是因为替换之后，反编译出的字节码中少了这句：

	   7: iload_1			      //将定义的第一个数据push入栈,即c=0

猜想是由于c++是一个整体操作，而将c++赋值给c并不能作为一个整体操作所以分为了三步：
1：加载c的值入栈，准备进行运算；
2：执行自增字节码iinc；
3：将栈中的运算结果返回给c;
但由于iinc这个字节码自身完成了入栈、出栈赋值这个动作；这时栈中的c并没有变化，这时将栈中的c重新给c赋值，iinc这一步的操作结果就被覆盖了。
注意：
仅在c++这个操作赋值给c变量本身的时候才会出现这样的现象。而将c++赋值给d（不同变量的时候）不会出现这种情况，因为7: iload_1这个语句每次取到的值都是iinc后的值。但由于先7: iload_1再iinc，所以d每次存进去的值都要比c的值低一个版本。
所以其实第二个for循环中有没有c=c++;这个语句都没有影响，因为从结果看，这个语句并没能改变c的值。
在本例中赋值的“=”号就大约等同于 11: istore_1 这个字节码。即将栈顶元素赋给c。
但由于iinc这个字节码并没有将预算结果入栈，而是自己完成了入栈，出栈修改结果的操作。所以导致了这样的问题。

PPPS：++c就完全不会出现这种问题，因为++c的字节码实现为：

       9: iinc          1, 1
      12: iload_1
      13: istore_1

也就是说++c的实现是先进行iinc的操作，再讲c的值读取出来，进行运算后将栈顶的值返回给c。此时入栈的c的值已经变化了。