當(dāng) i = i++ 后，結(jié)果究竟是什么

前言：

之前有朋友跟我討論過(guò)一個(gè)問(wèn)題，他問(wèn)在java中，i=1;i=i++;之后的結(jié)果時(shí)什么，我一開(kāi)始認(rèn)為是2，但當(dāng)他說(shuō)答案是1的時(shí)候，我不得不想一個(gè)合理的解釋，我想，可能是因?yàn)榕R時(shí)變量，當(dāng)i賦值給i后，自增更改了臨時(shí)變量，所以i值并沒(méi)有改變。當(dāng)我在為我的解釋表示滿意時(shí)，他們說(shuō)在c語(yǔ)言下的答案是2，好吧，我只能說(shuō)是編譯器的實(shí)現(xiàn)不同，當(dāng)然這個(gè)答案太沒(méi)說(shuō)服力了，所以尋找答案的任務(wù)就開(kāi)始了。

我先在《c++ primer》上看見(jiàn)這樣的解釋：“++i的效率要比i++的效率高，因?yàn)閕++必須要有一個(gè)臨時(shí)變量來(lái)存放i本身的值“，那么我之前只說(shuō)對(duì)了臨時(shí)變量，但原因是臨時(shí)變量先用來(lái)存放i的值，然后i本身自增，之后，臨時(shí)變量賦值給左邊，這時(shí)，i的值又被 自己之前的值覆蓋了，所以又變成1，但這只是個(gè)推測(cè)，再說(shuō)c語(yǔ)言中為什么是2？所以不得不反編譯了。。。

java的jdk自帶一個(gè)工具，javap，可以反編譯，我們用它java編譯器生成的“jvm版匯編碼”，我會(huì)寫(xiě)下兩段代碼用來(lái)做對(duì)比，一種是i=i++;一種常見(jiàn)的j=i++;注意，我使用2作為初始值（也就是說(shuō)它會(huì)被自增為3），因?yàn)?太特殊了，它在字節(jié)碼中的變量名隨處可見(jiàn)，而且++不是加1么，所以我用2做初值，也方便查找。

publicclassTest{publicstaticvoidmain（String［］ args）{inti =2; i = i++; System.out.println（i）; }}

javap -c Test 的字節(jié)碼如下：

public class Test extends java.lang.Object{public Test（）; Code： 0： aload_0 1： invokespecial #1; //Method java/lang/Object.“《init》”：（）V 4： returnpublic static void main（java.lang.String［］）; Code： 0： iconst_2 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： iconst_2 //將int型的常量2壓棧1： istore_1 //將int型值存入變量1中

就是定義并初始化i的值。

關(guān)鍵是這里：

2： iload_1 //保存變量1的值3： iinc 1， 1 //將變量1的值自增（i現(xiàn)在是3了）6： istore //將之前的保存值放入變量i中（i現(xiàn)在又變成2了。。）

其實(shí)在2： iload_1 時(shí)，i變量的值被放在了棧中，這就是我們說(shuō)的臨時(shí)存儲(chǔ)。。之后，又被賦了過(guò)來(lái)

看看Test2，你就會(huì)明白正常的運(yùn)作：

publicclassTest2{publicstaticvoidmain（String［］ args）{inti =2;intj =0; j = i++; System.out.println（j）; }}

javap -c Test2 的字節(jié)碼如下：

public class Test2 extends java.lang.Object{public Test2（）; Code： 0： aload_0 1： invokespecial #1; //Method java/lang/Object.“《init》”：（）V 4： returnpublic static void main（java.lang.String［］）; Code： 0： iconst_2 1： istore_1 2： iconst_0 3： istore_2 4： iload_1 5： iinc 1， 1 8： istore_2 9： getstatic #2; //Field java/lang/System.out:Ljava/io/PrintStream; 12： iload_2 13： invokevirtual #3; //Method java/io/PrintStream.println：（I）V 16： return}

4： iload_1 //變量1的值被保存（入棧）5： iinc 1，1 //i自增8 istore_2 // 彈棧，賦值給變量2.。。

現(xiàn)在明白了吧，，到底發(fā)生了什么。。

但是還沒(méi)完，，，，，我們還沒(méi)解釋在c語(yǔ)言中發(fā)生了什么。。。

在gcc中，編譯一個(gè)c程序要四個(gè)階段，預(yù)處理，編譯，匯編，鏈接。我們?cè)诰幾g階段后停下，這樣會(huì)得到AT&T的匯編碼，

我們寫(xiě)下兩種代碼，類似于java版

先看正常情況：

#include《stdio.h》intmain（）{inti =2;intj =0; j = i++;printf（“j = %d

”，j）;return0;}

編譯成匯編碼：

.file“test.c” .section .rodata.LC0：.string“j = %d

” .text.globl main.typemain， @functionmain： pushl %ebp movl %esp， %ebp andl $-16， %espsubl$32， %espmovl$2， 28（%esp）movl$0， 24（%esp） movl 28（%esp）， %eax movl %eax， 24（%esp）addl$1， 28（%esp） movl $.LC0， %eax movl 24（%esp）， %edx movl %edx， 4（%esp） movl %eax， （%esp）callprintfmovl$0， %eax leave ret .size main， 。-main.ident“GCC： （Ubuntu 4.4.3-4ubuntu5.1） 4.4.3”.section.note.GNU-stack，“”，@progbits

包括 movl $.LC0， %eax 和之后語(yǔ)句的都和輸出有關(guān)了。

我們?cè)侔殉跏蓟嘘P(guān)的除去，關(guān)鍵的部分是：

movl 28（%esp）， %eaxmovl %eax， 24（%esp）addl$1， 28（%esp）

保存了i的值，（放在eax中），之后又放入j中，i再自增，這就很符合大家心里的答案，那么如果是i=i++時(shí)自然就是i被賦值，再自增。。。也就是大家心中的答案了，但是真是這樣么？我們繼續(xù)看。。。。

#include《stdio.h》intmain（）{inti =2;i = i++;printf（“i = %d

”，i）;return0;}

對(duì)應(yīng)的匯編碼：

.file“test2.c” .section .rodata.LC0：.string“i = %d

” .text.globl main.typemain， @functionmain： pushl %ebp movl %esp， %ebp andl $-16， %espsubl$32， %espmovl$2， 28（%esp）addl$1， 28（%esp） movl $.LC0， %eax movl 28（%esp）， %edx movl %edx， 4（%esp） movl %eax， （%esp）callprintfmovl$0， %eax leave ret .size main， 。-main.ident“GCC： （Ubuntu 4.4.3-4ubuntu5.1） 4.4.3”.section.note.GNU-stack，“”，@progbits

關(guān)鍵部分就省一句了 addl $1， 28（%esp）這簡(jiǎn)直就是。。。?？次业膖est3.c吧。。。

#include《stdio.h》intmain（）{inti =2;i++;printf（“i = %d

”，i）;return0;}

產(chǎn)生的匯編碼：

aiqier@aiqier-laptop：~/c/test3$ cat test3.s

.file“test3.c” .section .rodata.LC0：.string“i = %d

” .text.globl main.typemain， @functionmain： pushl %ebp movl %esp， %ebp andl $-16， %espsubl$32， %espmovl$2， 28（%esp）addl$1， 28（%esp） movl $.LC0， %eax movl 28（%esp）， %edx movl %edx， 4（%esp） movl %eax， （%esp）callprintfmovl$0， %eax leave ret .size main， 。-main.ident“GCC： （Ubuntu 4.4.3-4ubuntu5.1） 4.4.3”.section.note.GNU-stack，“”，@progbits

恩，在c語(yǔ)言中i=i++;居然跟i++;的匯編代碼一樣，按正常的邏輯（我們之前的分析），i=2;i=i++;i的值是3，已經(jīng)沒(méi)問(wèn)題了，但是gcc會(huì)對(duì)編譯器做一些優(yōu)化，所以保存i的值，在賦值給i，這兩條語(yǔ)句自然是雞肋了，就被優(yōu)化掉了。

總結(jié)，我們發(fā)現(xiàn)對(duì)于i++保存的臨時(shí)值，java中是自增在返回臨時(shí)值，而c語(yǔ)言中是返回臨時(shí)值后，在自增，所以這就是為什么i=i++在這兩種語(yǔ)言中不同的結(jié)果了，c#我就不知道了，有興趣的同學(xué)可以試試，python么，沒(méi)有++啦，呵呵，如果我的分析有什么不對(duì)之初，希望能與你一起探討。

編輯：jq