詳解 函數 icm ble family oat lan dex 語句

九、自增減指令 該指令用於對本地(局部)變量進行自增減操作。該指令第一參數為本地變量的編號，第二個參數為自增減的數量。 比如對於代碼： int d=10; d++; d+=2; d--; 其指令為： 2: bipush 10 4: istore_2//在我的程序中是其所在非靜態函數的第2個變量(從0開始計數). 5: iinc 2, 1//在我的程序中是其所在非靜態函數的第2個變量(從0開始計數). 8: iinc 2, 2 11: iinc 2, -1 對本地變量所進行的編號，是對所有類型的本地變量進行的（並不按照類型分類）。 對於非靜態函數，第一變量是this,它是只讀的.還有函數傳入參數也算本地變量，在進行編號時，它是先於函數體的本地變量的。 指令碼 助記符 說明 0x84 iinc 將指定int型變量增加指定值（i++, i--, i+=2） 十、類型轉化系列 該系列指令負責對棧頂數值類型進行類型轉化，並把結果壓入棧頂。 指令碼 助記符 說明

0x85 i2l 將棧頂int型數值強制轉換成long型數值並將結果壓入棧頂 0x86 i2f 將棧頂int型數值強制轉換成float型數值並將結果壓入棧頂 0x87 i2d 將棧頂int型數值強制轉換成double型數值並將結果壓入棧頂 0x88 l2i 將棧頂long型數值強制轉換成int型數值並將結果壓入棧頂 0x89 l2f 將棧頂long型數值強制轉換成float型數值並將結果壓入棧頂 0x8a l2d 將棧頂long型數值強制轉換成double型數值並將結果壓入棧頂 0x8b f2i 將棧頂float型數值強制轉換成int型數值並將結果壓入棧頂 0x8c f2l 將棧頂float型數值強制轉換成long型數值並將結果壓入棧頂 0x8d f2d 將棧頂float型數值強制轉換成double型數值並將結果壓入棧頂 0x8e d2i 將棧頂double型數值強制轉換成int型數值並將結果壓入棧頂 0x8f d2l 將棧頂double型數值強制轉換成long型數值並將結果壓入棧頂 0x90 d2f 將棧頂double型數值強制轉換成float型數值並將結果壓入棧頂 0x91 i2b 將棧頂int型數值強制轉換成byte型數值並將結果壓入棧頂 0x92 i2c 將棧頂int型數值強制轉換成char型數值並將結果壓入棧頂 0x93 i2s 將棧頂int型數值強制轉換成short型數值並將結果壓入棧頂 十二、比較指令系列A 該系列指令用於對棧頂非int型元素進行比較，並把結果壓入棧頂。 比如，代碼： void test() { long a=11; long b=10; boolean result=(a>b); } 其指令為： void test(); Code: 0: ldc2_w #16; //long 11l 3: lstore_1 4: ldc2_w #18; //long 10l 7: lstore_3 8: lload_1 9: lload_3 10: lcmp 11: ifle 18 14: iconst_1 15: goto 19 18: iconst_0 19: istore 5 21: return 指令碼 助記符 說明 0x94 lcmp 比較棧頂兩long型數值大小，並將結果（1，0，-1）壓入棧頂 0x95 fcmpl 比較棧頂兩float型數值大小，並將結果（1，0，-1）壓入棧頂；當其中一個數值為NaN時，將-1壓入棧頂 0x96 fcmpg 比較棧頂兩float型數值大小，並將結果（1，0，-1）壓入棧頂；當其中一個數值為NaN時，將1壓入棧頂 0x97 dcmpl 比較棧頂兩double型數值大小，並將結果（1，0，-1）壓入棧頂；當其中一個數值為NaN時，將-1壓入棧頂 0x98 dcmpg 比較棧頂兩double型數值大小，並將結果（1，0，-1）壓入棧頂；當其中一個數值為NaN時，將1壓入棧頂 十三、有條件跳轉指令系列A 該系列指令用於對棧頂int型元素進行比較，根據結果進行跳轉。第一個參數為要跳轉到的代碼的地址（這裏的地址是指其指令在函數內是第幾個指令）。註意對於boolean型，其實是把它當做int型來處理的。另外對於引用比較使用的時，其實是對存儲的對象的地址進行比較。 比如代碼： void test() { int a=11; int b=10; boolean result=(a>b); if(result) a+=2; if(!result) a+=2; if(a>0) a--; } 其對應的指令為： void test(); Code: 0: bipush 11 2: istore_1 3: bipush 10 5: istore_2 6: iload_1 7: iload_2 8: if_icmple 15//如果比較結果小於0，就跳到第15個指令繼續執行 11: iconst_1 12: goto 16 15: iconst_0 16: istore_3 17: iload_3 18: ifeq 24//如果結果為0時(即為false)，就跳轉到第24個指令繼續執行 21: iinc 1, 2 24: iload_3 25: ifne 31//如果結果不為0時(即為true)，就跳轉到第31個指令繼續執行 28: iinc 1, 2 31: iload_1 32: ifle 38 35: iinc 1, -1//如果結果小於0時，就跳轉到第38個指令繼續執行 38: return 指令碼 助記符 說明 0x99 ifeq 當棧頂int型數值等於0時跳轉 0x9a ifne 當棧頂int型數值不等於0時跳轉 0x9b iflt 當棧頂int型數值小於0時跳轉 0x9c ifge 當棧頂int型數值大於等於0時跳轉 0x9d ifgt 當棧頂int型數值大於0時跳轉 0x9e ifle 當棧頂int型數值小於等於0時跳轉 0x9f if_icmpeq 比較棧頂兩int型數值大小，當結果等於0時跳轉 0xa0 if_icmpne 比較棧頂兩int型數值大小，當結果不等於0時跳轉 0xa1 if_icmplt 比較棧頂兩int型數值大小，當結果小於0時跳轉 0xa2 if_icmpge 比較棧頂兩int型數值大小，當結果大於等於0時跳轉 0xa3 if_icmpgt 比較棧頂兩int型數值大小，當結果大於0時跳轉 0xa4 if_icmple 比較棧頂兩int型數值大小，當結果小於等於0時跳轉 0xa5 if_acmpeq 比較棧頂兩引用型數值，當結果相等時跳轉 0xa6 if_acmpne 比較棧頂兩引用型數值，當結果不相等時跳轉 十四、無條件跳轉指令系列A 該系列指令用於指令的跳轉。 指令碼 助記符 說明 0xa7 goto 無條件跳轉 0xa8 jsr 跳轉至指定16位offset位置，並將jsr下一條指令地址壓入棧頂 0xa9 ret 返回至本地變量指定的index的指令位置（一般與jsr, jsr_w聯合使用） 0xaa tableswitch 用於switch條件跳轉，case值連續（可變長度指令） 0xab lookupswitch 用於switch條件跳轉，case值不連續（可變長度指令） 十五、返回指令系列 該系列指令用於從函數中返回。如果有返回值的話，都把函數的返回值放在棧道中，以便它的調用方法取得它。 return 10;這個語句其實對應的指令是兩條： 9: bipush 10 11: ireturn 指令碼 助記符 說明 0xac ireturn 從當前方法返回int 0xad lreturn 從當前方法返回long 0xae freturn 從當前方法返回float 0xaf dreturn 從當前方法返回double 0xb0 areturn 從當前方法返回對象引用 0xb1 return 從當前方法返回void 十六、域操作指令系列 該系列指令用於對靜態域和非靜態域進行讀寫。該系列命令需要跟一個表明域編號的參數， 比如,在函數中對成員變量m進行;m++ 其指令為： 0: aload_0 1: dup 2: getfield #2; //Field m:I 5: iconst_1 6: iadd 7: putfield #2; //Field m:I 指令碼 助記符 說明 0xb2 getstatic 獲取指定類的靜態域，並將其值壓入棧頂 0xb3 putstatic 用棧頂的值為指定的類的靜態域賦值 0xb4 getfield 獲取指定類的實例域，並將其值壓入棧頂 0xb5 putfield 用棧頂的值為指定的類的實例域賦值 十七、方法操作命令系列 該系列指令用於對靜態方法和非靜方法進行調用。該系列命令需要跟一個表明方法編號的參數。 如果方法有傳入參數的話，則需要先壓棧到棧頂。另外，方法的返回參數是保存到棧頂的，因此我們可以通過棧道值取得方法的返回值。 比如對於代碼： void test() {int k=add(12,45);} 其指令為： void test(); Code: 0: aload_0 1: bipush 12 3: bipush 45 5: invokevirtual #2; //Method add:(II)I 8: istore_1 9: return 指令碼 助記符 說明 0xb6 invokevirtual 調用實例方法 0xb7 invokespecial 調用超類構造方法，實例初始化方法，私有方法 0xb8 invokestatic 調用靜態方法 0xb9 invokeinterface 調用接口方法 十八、未歸類系列B 此系列暫未歸類。 指令碼 助記符 說明 0xba -- 十九、new及數組系列 該系列用於創建一個對象和數組。 比如代碼： void test() { int ids[]=new int[5]; Object objs[]=new Object[5]; Object obj=new Object(); Hello hello=new Hello(); int len=objs.length; } 其指令為： void test(); Code: 0: iconst_5 1: newarray int 3: astore_1 4: iconst_5 5: anewarray #2; //class java/lang/Object 8: astore_2 9: new #2; //class java/lang/Object 12: dup 13: invokespecial #1; //Method java/lang/Object."<init>":()V 16: astore_3 17: new #3; //class Hello 20: dup 21: invokespecial #4; //Method "<init>":()V 24: astore 4 26: aload_2 27: arraylength 28: istore 5 30: return 指令碼 助記符 說明 0xbb new 創建一個對象，並將其引用值壓入棧頂 0xbc newarray 創建一個指定原始類型（如int, float, char…）的數組，並將其引用值壓入棧頂 0xbd anewarray 創建一個引用型（如類，接口，數組）的數組，並將其引用值壓入棧頂 0xbe arraylength 獲得數組的長度值並壓入棧頂 二十、異常拋出指令 用於拋出異常。 指令碼 助記符 說明 0xbf athrow 將棧頂的異常拋出 二十一、對象操作指令 該系列指令用於操作對象。 指令碼 助記符 說明 0xc0 checkcast 檢驗類型轉換，檢驗未通過將拋出ClassCastException 0xc1 instanceof 檢驗對象是否是指定的類的實例，如果是將1壓入棧頂，否則將0壓入棧頂 0xc2 monitorenter 獲得對象的鎖，用於同步方法或同步塊 0xc3 monitorexit 釋放對象的鎖，用於同步方法或同步塊 二十二、未歸類系列C 此系列暫未歸類。 指令碼 助記符 說明 0xc4 wide <待補充> 二十三、new多維數組系列 指令碼 助記符 說明 0xc5 multianewarray 創建指定類型和指定維度的多維數組（執行該指令時，操作棧中必須包含各維度的長度值），並將其引用值壓入棧頂 二十四、有條件跳轉指令系列B 該系列用於根據引用是否為空，來進行相應的指令跳轉。 比如代碼： void test() { int i=0; Object obj=new Object(); if(obj==null){ i=0; } if(obj!=null){ i=1; } } 其對應的指令為： void test(); Code: 0: iconst_0 1: istore_1 2: new #2; //class java/lang/Object 5: dup 6: invokespecial #1; //Method java/lang/Object."<init>":()V 9: astore_2 10: aload_2 11: ifnonnull 16 14: iconst_0 15: istore_1 16: aload_2 17: ifnull 22 20: iconst_1 21: istore_1 22: return 指令碼 助記符 說明 0xc6 ifnull 為null時跳轉 0xc7 ifnonnull 不為null時跳轉 二十五、無條件跳轉指令系列B 該系列指令用於進行無條件指令跳轉。 指令碼 助記符 說明 0xc8 goto_w 無條件跳轉（寬索引） 0xc9 jsr_w 跳轉至指定32位offset位置，並將jsr_w下一條指令地址壓入棧頂

JVM指令詳解（下）