我下圖代碼第五行和第九行分別定義了一個整型變量和一個整型常量:
static final int number1 = 512;
static int number3 = 545;
Java程序員都知道兩者的區(qū)別。
下面我們就用javap將.class文件反編譯出來然后深入研究Java里整型變量和整型常量的區(qū)別。
使用命令行javap -c constant.ConstantFolding查看.class文件反編譯出來的字節(jié)碼:
結果:
這些字節(jié)碼指令的說明,在wikipedia里有說明:
wiki: https://en.wikipedia.org/wiki/Java_bytecode_instruction_listings
咱們Java程序員不需要把它們都背下來,只需要把這個網(wǎng)頁收藏起來,要用的時候當成字典來用就行:
sipush 545: 將整數(shù)545放置到棧上
putstatic #16:
將棧上的值545賦給當前類的靜態(tài)字段里。
那么putstatic #16里的#16代表什么含義?
我們再用javap -v 參數(shù)反編譯,就能看到這個類的常量池(Constant pool). 大家看下圖藍色高亮的一行:
constant/ConstantFolding.number3:I
說明#16代表類constant.ConstantFolding的成員number3,類型為I。
至此,這兩行字節(jié)碼指令聯(lián)合起來,實際對應了我們寫的Java代碼:
static int number3 = 545;
我們繼續(xù)分析javap反編譯出來的字節(jié)碼。
aload_0: 將序號為0的本地變量的引入加載到棧上
invokespecial: 調用對象實例上的成員方法,如果有返回值,方法的返回值存儲到棧上。具體調用的方法由#標識,可在常量池中查詢到對應的方法名。
ldc: 將常量池上代號為#<數(shù)字>的常量的值從常量池加載到棧上。
我們從下圖的常量池列表能發(fā)現(xiàn),序號為#29的常量318976正是整型常量number1(512)和整型常量(623)的積。由此可以看出, number1 * number2這個表達式,因為參與運算的兩個操作數(shù)通過STATIC和FINAL修飾成為了整型常量,因此其積在編譯期就能得到,所以編譯器在編譯時就計算出來,存儲在變量池里,序號為#29。
那么整型變量做乘法運算,對應的字節(jié)碼又是什么樣的呢?
從下圖序號為3的code開始:
getstatic #16: 將類的靜態(tài)成員#16加載到棧上。#16對應的成員為number3,值為545。
getstatic #18: 將類的靜態(tài)成員#18加載到棧上。#18對應的成員為number4,值為619。
imul: 執(zhí)行棧上兩個整數(shù)的乘法運算。
istore_2: 將結果保存到局部變量2里。
此時,我們Java代碼里的int product2 = number3 * number4就執(zhí)行完了。
大家看到的剩下的藍色字節(jié)碼,都對應了下面這行打印語句。
System.out.println("Value: " + product1 + " , " + product2);
從這些字節(jié)碼也能看出,Java里我們直接用加號進行字符串拼接操作,Java編譯器在編譯時,自動使用了StringBuilder進行優(yōu)化。
既然整型變量的乘積需要打印出來,因此字節(jié)碼的iload_2將之前用istore_2保存在局部變量2中的計算結果又加載到棧上,這樣乘積結果最后就能輸出了。
希望通過這個簡單的例子,大家能學會用javap去深入理解一些Java和JVM的細節(jié)。
要獲取更多Jerry的原創(chuàng)技術文章,請關注公眾號"汪子熙":