1. 程式人生 > >Java 趣事之 a=a++ 和 a=++a

Java 趣事之 a=a++ 和 a=++a

如果問 a++++a 的區別,估計很多都能回答上來。a++ 是先取 a 的值再自增 。而 ++a 剛好相反,是先自增再取 a 的值。這裡有點程式設計基礎都可以理解,不做過多解釋,但在 Java 裡面事情就真的這麼簡單嗎?

int a = 1;
a = a++;
System.out.println(a);

憑藉自己所學,在不測試的情況下,你能給出答案嗎?

第一次看見這個問題的時候,想當然的認為答案是:2。但殘酷的事實告訴我,答案是:1。當時面對這個結果我是無法接受的,網上瘋狂搜索這個答案的解釋。限於當時知識的水平,只記住了這個結論,至於推導這個結論那些指令,一個也不能理解。今天看書遇見資料操作,就又想起了這個問題,就根據自己的知識水平,重新推導這個過程。

首先用 IDEA 開啟生成的 class 檔案。

很直觀的告訴我們結果為 1 ,但這段程式碼只解釋了 result,而沒有解釋 why ,繼續用 javap -c 這個命令,結果如圖。
這裡寫圖片描述
以第一次遇見這道題的水準,勉強能看懂第一步的 Java 程式碼,第二步的指令就徹底看不懂了。而現在我可以從這些指令裡面分析結果了(這裡需要分析的就前五行命令,後面指令為列印輸出)。

  • iconst_1

    將常量 1 壓入運算元棧。這個操作是 int 值為 1~5 的時候。如果是 -128~127 這個範圍是用的 bipush x (x 為實際數值)。 -2^15~2^15-1 這個範圍是使用的 sipush x 這個命令(同上)。 -2^31~2^31-1 這個範圍是使用的 ldc 這個命令。

  • istore_1

    彈出運算元棧頂的數(此時為 1)並賦值給區域性變數第一個元素即索引為 1 的 a。區域性變數是採用的陣列形式,索引為 0 的是 main() 的引數 args 。

  • iload_1

    把區域性變數索引為 1 的變數(這裡是 a)壓入運算元棧,此時棧頂元素為 1 。

  • incc 1,1(關鍵)

    把區域性變數索引為 1 的數加 1 ,此時 a 的值為 2。注意:這個結果沒有壓入運算元棧。

  • istore_1

    彈出棧頂的元素(此時為 1)賦值給 a ,覆蓋 a 為 2 的結果。

整個過程大致就是這樣,來一幅圖解釋吧。

這個問題解決了,那麼下面這段程式碼就好理解了。

int a = 1;
a = ++a;
System.out.println(a);

直接上截圖吧

仔細對比一下,你會發現,兩段程式碼的指令一模一樣,但執行順序有一點點區別, iinc 和 iload_1 這兩個命令的執行順序變化了一下位置。你還記得這兩條指令的含義嗎?你還記得文章最開始說的區別嗎?

是不是很奇妙?知其然,知其所以然。

歡迎大家關注我的微信公眾號:卡戎

如有錯誤,歡迎留言!