我的漫漫程序之旅

public class BigDelight {

    public static void main(String[] args) {

        for (byte b = Byte.MIN_VALUE; b < Byte.MAX_VALUE; b++) {

             if (b == 0x90)

                 System.out.print("Joy!");

        }

    }

}

簡(jiǎn)單地說(shuō)，0x90是一個(gè)int常量，它超出了byte數(shù)值的范圍。這與直覺是相悖的，因?yàn)?x90是一個(gè)兩位的十六進(jìn)制字面常量，每一個(gè)十六進(jìn)制位都占據(jù)4個(gè)比特的位置，所以整個(gè)數(shù)值也只占據(jù)8個(gè)比特，即1個(gè)byte。問題在于byte是有符號(hào)類型。常量0x90是一個(gè)正的最高位被置位的8位int數(shù)值。合法的byte數(shù)值是從-128到+127，但是int常量0x90等于+144。

拿一個(gè)byte與一個(gè)int進(jìn)行的比較是一個(gè)混合類型比較（mixed-type comparison）。如果你把byte數(shù)值想象為蘋果，把int數(shù)值想象成為桔子，那么該程序就是在拿蘋果與桔子比較。請(qǐng)考慮表達(dá)式((byte)0x90 == 0x90)，盡管外表看起來(lái)是成立的，但是它卻等于false。

為了比較byte數(shù)值(byte)0x90和int數(shù)值0x90，Java通過(guò)拓寬原始類型轉(zhuǎn)換將byte提升為一個(gè)int[JLS 5.1.2]，然后比較這兩個(gè)int數(shù)值。因?yàn)閎yte是一個(gè)有符號(hào)類型，所以這個(gè)轉(zhuǎn)換執(zhí)行的是符號(hào)擴(kuò)展，將負(fù)的byte數(shù)值提升為了在數(shù)字上相等的int數(shù)值。在本例中，該轉(zhuǎn)換將(byte)0x90提升為int數(shù)值-112，它不等于int數(shù)值0x90，即+144。

由于系統(tǒng)總是強(qiáng)制地將一個(gè)操作數(shù)提升到與另一個(gè)操作數(shù)相匹配的類型，所以混合類型比較總是容易把人搞糊涂。這種轉(zhuǎn)換是不可視的，而且可能不會(huì)產(chǎn)生你所期望的結(jié)果。有若干種方法可以避免混合類型比較。我們繼續(xù)有關(guān)水果的比喻，你可以選擇拿蘋果與蘋果比較，或者是拿桔子與桔子比較。你可以將int轉(zhuǎn)型為byte，之后你就可以拿一個(gè)byte與另一個(gè)byte進(jìn)行比較了：

if (b == (byte)0x90)

    System.out.println("Joy!");

if ((b & 0xff) == 0x90)

    System.out.print("Joy!");

public class BigDelight {

    private static final byte TARGET = 0x90;   

    public static void main(String[] args) {

        for (byte b = Byte.MIN_VALUE; b < 

             Byte.MAX_VALUE; b++) {

             if (b == TARGET)

                 System.out.print("Joy!");

        }

    }

}

private static final byte TARGET = (byte)0x90;

對(duì)語(yǔ)言設(shè)計(jì)的教訓(xùn)是byte數(shù)值的符號(hào)擴(kuò)展是產(chǎn)生bug和混亂的一種常見根源。而用來(lái)抵銷符號(hào)擴(kuò)展效果所需的屏蔽機(jī)制會(huì)使得程序顯得混亂無(wú)序，從而降低了程序的可讀性。因此，byte類型應(yīng)該是無(wú)符號(hào)的。還可以考慮為所有的原始類型提供定義字面常量的機(jī)制，這可以減少對(duì)易于產(chǎn)生錯(cuò)誤的類型轉(zhuǎn)換的需求