摘要:我下圖代碼第五行和第九行分別定義了一個整型變量和一個整型常量程序員都知道兩者的區別。下面我們就用將文件反編譯出來然后深入研究里整型變量和整型常量的區別。
我下圖代碼第五行和第九行分別定義了一個整型變量和一個整型常量:
static final int number1 = 512;
static int number3 = 545;
Java程序員都知道兩者的區別。
下面我們就用javap將.class文件反編譯出來然后深入研究Java里整型變量和整型常量的區別。
使用命令行javap -c constant.ConstantFolding查看.class文件反編譯出來的字節碼:
結果:
這些字節碼指令的說明,在wikipedia里有說明:
wiki: https://en.wikipedia.org/wiki...
咱們Java程序員不需要把它們都背下來,只需要把這個網頁收藏起來,要用的時候當成字典來用就行:
sipush 545: 將整數545放置到棧上
putstatic #16:
將棧上的值545賦給當前類的靜態字段里。
那么putstatic #16里的#16代表什么含義?
我們再用javap -v 參數反編譯,就能看到這個類的常量池(Constant pool). 大家看下圖藍色高亮的一行:
constant/ConstantFolding.number3:I
說明#16代表類constant.ConstantFolding的成員number3,類型為I。
至此,這兩行字節碼指令聯合起來,實際對應了我們寫的Java代碼:
static int number3 = 545;
我們繼續分析javap反編譯出來的字節碼。
aload_0: 將序號為0的本地變量的引入加載到棧上
invokespecial: 調用對象實例上的成員方法,如果有返回值,方法的返回值存儲到棧上。具體調用的方法由#標識,可在常量池中查詢到對應的方法名。
ldc: 將常量池上代號為#<數字>的常量的值從常量池加載到棧上。
我們從下圖的常量池列表能發現,序號為#29的常量318976正是整型常量number1(512)和整型常量(623)的積。由此可以看出, number1 * number2這個表達式,因為參與運算的兩個操作數通過STATIC和FINAL修飾成為了整型常量,因此其積在編譯期就能得到,所以編譯器在編譯時就計算出來,存儲在變量池里,序號為#29。
那么整型變量做乘法運算,對應的字節碼又是什么樣的呢?
從下圖序號為3的code開始:
getstatic #16: 將類的靜態成員#16加載到棧上。#16對應的成員為number3,值為545。
getstatic #18: 將類的靜態成員#18加載到棧上。#18對應的成員為number4,值為619。
imul: 執行棧上兩個整數的乘法運算。
istore_2: 將結果保存到局部變量2里。
此時,我們Java代碼里的int product2 = number3 * number4就執行完了。
大家看到的剩下的藍色字節碼,都對應了下面這行打印語句。
System.out.println("Value: " + product1 + " , " + product2);
從這些字節碼也能看出,Java里我們直接用加號進行字符串拼接操作,Java編譯器在編譯時,自動使用了StringBuilder進行優化。
既然整型變量的乘積需要打印出來,因此字節碼的iload_2將之前用istore_2保存在局部變量2中的計算結果又加載到棧上,這樣乘積結果最后就能輸出了。
希望通過這個簡單的例子,大家能學會用javap去深入理解一些Java和JVM的細節。
要獲取更多Jerry的原創技術文章,請關注公眾號"汪子熙"或者掃描下面二維碼:
文章版權歸作者所有,未經允許請勿轉載,若此文章存在違規行為,您可以聯系管理員刪除。
轉載請注明本文地址:http://m.specialneedsforspecialkids.com/yun/71812.html
摘要:本文首發于深入淺出區塊鏈社區原文鏈接智能合約語言教程系列地址類型介紹原文已更新,請讀者前往原文閱讀現在的中文文檔,要么翻譯的太爛,要么太舊,決定重新翻譯下。枚舉類型應至少有一名成員。 本文首發于深入淺出區塊鏈社區原文鏈接:智能合約語言 Solidity 教程系列2 - 地址類型介紹原文已更新,請讀者前往原文閱讀 現在的Solidity中文文檔,要么翻譯的太爛,要么太舊,決定重新翻譯下。...
摘要:目錄往期博客課堂篇初識常量池簡單理解字符串常量池靜態常量池大整型常量池為什么要了解垃圾收集和內存分配如何判斷對象已死引用計數算法可達性分析算法之后引用的擴充回收方法區垃圾收集算法分代收集理論標記清除標記復制標記整理對象分 ...
摘要:數據的存儲前言數據類型匯總整型家族浮點型家族自定義類型指針類型。整型家族注在之后的標準規定,將類型數據劃分為整型家族,因為字符在內存中會將其轉化為碼值進行存儲。 ...
摘要:結構型模式適配器模式橋接模式裝飾模式組合模式外觀模式享元模式代理模式。行為型模式模版方法模式命令模式迭代器模式觀察者模式中介者模式備忘錄模式解釋器模式模式狀態模式策略模式職責鏈模式責任鏈模式訪問者模式。 主要版本 更新時間 備注 v1.0 2015-08-01 首次發布 v1.1 2018-03-12 增加新技術知識、完善知識體系 v2.0 2019-02-19 結構...
摘要:文章來自原文在給開發者的源碼系列的第三篇文章,我們打算擴展上一篇文章來幫助理解內部是怎么工作的。進入在的核心代碼中,變量被稱為。要轉換一個為值,就調用函數。有了這個東西,我們可以看到函數馬上調用函數。 文章來自:http://www.hoohack.me/2016/02/12/phps-source-code-for-php-developers-part3-variables-ch...
閱讀 851·2021-11-15 17:58
閱讀 3652·2021-11-12 10:36
閱讀 3788·2021-09-22 16:06
閱讀 965·2021-09-10 10:50
閱讀 1332·2019-08-30 11:19
閱讀 3315·2019-08-29 16:26
閱讀 936·2019-08-29 10:55
閱讀 3347·2019-08-26 13:48