TA貢獻(xiàn)1809條經(jīng)驗(yàn) 獲得超8個(gè)贊
請(qǐng)參閱 JVM 規(guī)范，§2.11.1。類型和 Java 虛擬機(jī)：
請(qǐng)注意，表 2.11.1-A中的大多數(shù)指令沒(méi)有整數(shù)類型
byte、char和 的形式short。沒(méi)有一個(gè)具有該boolean類型的形式。編譯器對(duì)大量類型的文字值進(jìn)行編碼byte，并使用 Java 虛擬機(jī)指令在編譯時(shí)或運(yùn)行時(shí)short將這些值符號(hào)擴(kuò)展為類型值。int加載類型的文字值boolean并使用在編譯時(shí)或運(yùn)行時(shí)char將文字零擴(kuò)展為類型值的指令進(jìn)行編碼。int同樣，從boolean、 、byte、short和類型的值數(shù)組加載char，使用 Java 虛擬機(jī)指令進(jìn)行編碼，這些指令將值符號(hào)擴(kuò)展或零擴(kuò)展為類型值int.?因此，大多數(shù)對(duì)實(shí)際類型boolean、byte、char和的值的操作short都由對(duì)計(jì)算類型 的值進(jìn)行操作的指令正確執(zhí)行int。
值得回顧的是，在 Java 中，任何不涉及的整數(shù)算術(shù)long都會(huì)有int結(jié)果，無(wú)論輸入是byte、char、short、 或int。
所以一行像
short?i?=?1,?j?=?2,?k?=?i?+?j;
不會(huì)編譯，但需要類型轉(zhuǎn)換，比如
short?i?=?1,?j?=?2,?k?=?(short)(i?+?j);
這種類型轉(zhuǎn)換將是唯一short涉及的指示器。撇開調(diào)試提示不談，字節(jié)碼中沒(méi)有局部變量的正式聲明，只有確定其類型的值賦值。所以類型的局部變量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);
但請(qǐng)注意，變量的編譯時(shí)類型可以更改編譯器在重載時(shí)選擇調(diào)用的方法。print(boolean)如果類型具有不同的語(yǔ)義（例如or的情況），這一點(diǎn)尤其重要print(char)。雖然傳遞給該方法的值int在這兩種情況下都有類型，但結(jié)果卻完全不同。
編譯器強(qiáng)制執(zhí)行的差異的另一個(gè)示例是
{
? ? 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
因此，由于計(jì)算始終以 32 位執(zhí)行，因此編譯器插入必要的代碼以將結(jié)果截?cái)酁閟hort第二次遞增。再次注意沒(méi)有變量聲明，因此代碼與編譯后的形式相同
int i = 1;
i++;
i = 1;
i = (short)(i+1);
驗(yàn)證類型系統(tǒng)也值得一看，因?yàn)轵?yàn)證者將檢查所有從局部變量到局部變量的傳輸?shù)挠行裕?/p>
類型檢查器基于驗(yàn)證類型的層次結(jié)構(gòu)強(qiáng)制執(zhí)行類型系統(tǒng)，如下所示。
Verification?type?hierarchy: ?????????????????????????????top ???????????????????????____________/\____________ ????????????????/??????????????????????????\ ???????????????/????????????????????????????\ ????????????oneWord???????????????????????twoWord ???????????/???|???\?????????????????????/???????\ ??????????/????|????\???????????????????/?????????\? ????????int??float??reference?????????????????long????????double ?????????????????????/?????\ ????????????????????/???????\_____________ ???????????????????/??????????????????????\ ??????????????????/????????????????????????\ ???????????uninitialized????????????????????+------------------+ ????????????/?????????\?????????????????????|??Java?reference??| ???????????/???????????\????????????????????|??type?hierarchy??| uninitializedThis??uninitialized(Offset)????+------------------+?? ?????????????????????????????????????????????????????| ?????????????????????????????????????????????????????|????????????????????????????????????????????????????null
因此，與 Java 語(yǔ)言類型相比，類型系統(tǒng)得到了簡(jiǎn)化，并且驗(yàn)證器不會(huì)介意，例如，如果您將值傳遞boolean給需要 a 的方法char，因?yàn)閮烧叨际?code>int類型。
舉報(bào)