我的漫漫程序之旅

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!");

        }

    }

}

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

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

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

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

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;

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