TA貢獻1809條經驗 獲得超8個贊
請參閱 JVM 規范，§2.11.1。類型和 Java 虛擬機：
請注意，表 2.11.1-A中的大多數指令沒有整數類型
byte、char和 的形式short。沒有一個具有該boolean類型的形式。編譯器對大量類型的文字值進行編碼byte，并使用 Java 虛擬機指令在編譯時或運行時short將這些值符號擴展為類型值。int加載類型的文字值boolean并使用在編譯時或運行時char將文字零擴展為類型值的指令進行編碼。int同樣，從boolean、 、byte、short和類型的值數組加載char，使用 Java 虛擬機指令進行編碼，這些指令將值符號擴展或零擴展為類型值int.?因此，大多數對實際類型boolean、byte、char和的值的操作short都由對計算類型 的值進行操作的指令正確執行int。
值得回顧的是，在 Java 中，任何不涉及的整數算術long都會有int結果，無論輸入是byte、char、short、 或int。
所以一行像
short?i?=?1,?j?=?2,?k?=?i?+?j;
不會編譯，但需要類型轉換，比如
short?i?=?1,?j?=?2,?k?=?(short)(i?+?j);
這種類型轉換將是唯一short涉及的指示器。撇開調試提示不談，字節碼中沒有局部變量的正式聲明，只有確定其類型的值賦值。所以類型的局部變量short根本不存在。上面的代碼編譯為
? ? ?0: iconst_1
? ? ?1: istore_1
? ? ?2: iconst_2
? ? ?3: istore_2
? ? ?4: iload_1
? ? ?5: iload_2
? ? ?6: iadd
? ? ?7: i2s
? ? ?8: istore_3
這與編譯形式相同
int i = 1, j = 2, k = (short)(i + j);
但請注意，變量的編譯時類型可以更改編譯器在重載時選擇調用的方法。print(boolean)如果類型具有不同的語義（例如or的情況），這一點尤其重要print(char)。雖然傳遞給該方法的值int在這兩種情況下都有類型，但結果卻完全不同。
編譯器強制執行的差異的另一個示例是
{
? ? int i = 1;
? ? i++;
}
{
? ? short s = 1;
? ? s++;
}
其被編譯為
? ? ?0: iconst_1
? ? ?1: istore_1
? ? ?2: iinc? ? ? ? ? 1, 1
? ? ?5: iconst_1
? ? ?6: istore_1
? ? ?7: iload_1
? ? ?8: iconst_1
? ? ?9: iadd
? ? 10: i2s
? ? 11: istore_1
因此，由于計算始終以 32 位執行，因此編譯器插入必要的代碼以將結果截斷為short第二次遞增。再次注意沒有變量聲明，因此代碼與編譯后的形式相同
int i = 1;
i++;
i = 1;
i = (short)(i+1);
驗證類型系統也值得一看，因為驗證者將檢查所有從局部變量到局部變量的傳輸的有效性：
類型檢查器基于驗證類型的層次結構強制執行類型系統，如下所示。
Verification?type?hierarchy: ?????????????????????????????top ???????????????????????____________/\____________ ????????????????/??????????????????????????\ ???????????????/????????????????????????????\ ????????????oneWord???????????????????????twoWord ???????????/???|???\?????????????????????/???????\ ??????????/????|????\???????????????????/?????????\? ????????int??float??reference?????????????????long????????double ?????????????????????/?????\ ????????????????????/???????\_____________ ???????????????????/??????????????????????\ ??????????????????/????????????????????????\ ???????????uninitialized????????????????????+------------------+ ????????????/?????????\?????????????????????|??Java?reference??| ???????????/???????????\????????????????????|??type?hierarchy??| uninitializedThis??uninitialized(Offset)????+------------------+?? ?????????????????????????????????????????????????????| ?????????????????????????????????????????????????????|????????????????????????????????????????????????????null
因此，與 Java 語言類型相比，類型系統得到了簡化，并且驗證器不會介意，例如，如果您將值傳遞boolean給需要 a 的方法char，因為兩者都是int類型。
舉報