作為一項熱身活動，我們來測試一下你對BigInteger的了解程度。下面這個程序?qū)⒋蛴〕鍪裁茨兀?BR> import java.math.BigInteger;
public class BigProblem {
public static void main(String[ ] args) {
BigInteger fiveThousand = new BigInteger("5000");
BigInteger fiftyThousand = new BigInteger("50000");
BigInteger fiveHundredThousand = new BigInteger("500000");
BigInteger total = BigInteger.ZERO;
total.add(fiveThousand);
total.add(fiftyThousand);
total.add(fiveHundredThousand);
System.out.println(total);
}
}
你可能會認為這個程序會打印出555000。畢竟，它將total設(shè)置為用BigInteger表示的0，然后將5,000、50,000和500,000加到了這個變量上。如果你運行該程序，你就會發(fā)現(xiàn)它打印的不是555000，而是0。很明顯，所有這些加法對total沒有產(chǎn)生任何影響。
對此有一個很好理由可以解釋：BigInteger實例是不可變的。String、BigDecimal以及包裝器類型：Integer、Long、Short、Byte、Character、Boolean、Float和Double也是如此，你不能修改它們的值。我們不能修改現(xiàn)有實例的值，對這些類型的操作將返回新的實例。起先，不可變類型看起來可能很不自然，但是它們具有很多勝過與其向?qū)?yīng)的可變類型的優(yōu)勢。不可變類型更容易設(shè)計、實現(xiàn)和使用；它們出錯的可能性更小，并且更加安全[EJ Item 13]。
為了在一個包含對不可變對象引用的變量上執(zhí)行計算，我們需要將計算的結(jié)果賦值給該變量。這樣做就會產(chǎn)生下面的程序，它將打印出我們所期望的555000：
import java.math.BigInteger;
public class BigProblem {
public static void main(String[] args) {
BigInteger fiveThousand = new BigInteger("5000");
BigInteger fiftyThousand = new BigInteger("50000");
BigInteger fiveHundredThousand = new BigInteger("500000");
BigInteger total = BigInteger.ZERO;
total = total.add(fiveThousand);
total = total.add(fiftyThousand);
total = total.add(fiveHundredThousand);
System.out.println(total);
}
}
本謎題的教訓是：不要被誤導，認為不可變類型是可變的。這是一個在剛?cè)腴T的Java程序員中很常見的錯誤。公正地說，Java不可變類型的某些方法名促使我們走上了歧途。像add、subtract和negate之類的名字似乎是在暗示這些方法將修改它們所調(diào)用的實例。也許plus、minus和negation才是更好的名字。
對API設(shè)計來說，其教訓是：在命名不可變類型的方法時，應(yīng)該優(yōu)選介詞和名詞，而不是動詞。介詞適用于帶有參數(shù)的方法，而名詞適用于不帶參數(shù)的方法。對語言設(shè)計者而言，其教訓與謎題2相同，那就是應(yīng)該考慮對操作符重載提供有限的支持，這樣算數(shù)操作符就可以作用于諸如BigInteger這樣的數(shù)值型的引用類型。由此，即使是初學者也不會認為計算表達式total + fiveThousand將會對total的值產(chǎn)生任何影響。
public class BigProblem {
public static void main(String[ ] args) {
BigInteger fiveThousand = new BigInteger("5000");
BigInteger fiftyThousand = new BigInteger("50000");
BigInteger fiveHundredThousand = new BigInteger("500000");
BigInteger total = BigInteger.ZERO;
total.add(fiveThousand);
total.add(fiftyThousand);
total.add(fiveHundredThousand);
System.out.println(total);
}
}
你可能會認為這個程序會打印出555000。畢竟，它將total設(shè)置為用BigInteger表示的0，然后將5,000、50,000和500,000加到了這個變量上。如果你運行該程序，你就會發(fā)現(xiàn)它打印的不是555000，而是0。很明顯，所有這些加法對total沒有產(chǎn)生任何影響。
對此有一個很好理由可以解釋：BigInteger實例是不可變的。String、BigDecimal以及包裝器類型：Integer、Long、Short、Byte、Character、Boolean、Float和Double也是如此，你不能修改它們的值。我們不能修改現(xiàn)有實例的值，對這些類型的操作將返回新的實例。起先，不可變類型看起來可能很不自然，但是它們具有很多勝過與其向?qū)?yīng)的可變類型的優(yōu)勢。不可變類型更容易設(shè)計、實現(xiàn)和使用；它們出錯的可能性更小，并且更加安全[EJ Item 13]。
為了在一個包含對不可變對象引用的變量上執(zhí)行計算，我們需要將計算的結(jié)果賦值給該變量。這樣做就會產(chǎn)生下面的程序，它將打印出我們所期望的555000：
import java.math.BigInteger;
public class BigProblem {
public static void main(String[] args) {
BigInteger fiveThousand = new BigInteger("5000");
BigInteger fiftyThousand = new BigInteger("50000");
BigInteger fiveHundredThousand = new BigInteger("500000");
BigInteger total = BigInteger.ZERO;
total = total.add(fiveThousand);
total = total.add(fiftyThousand);
total = total.add(fiveHundredThousand);
System.out.println(total);
}
}
本謎題的教訓是：不要被誤導，認為不可變類型是可變的。這是一個在剛?cè)腴T的Java程序員中很常見的錯誤。公正地說，Java不可變類型的某些方法名促使我們走上了歧途。像add、subtract和negate之類的名字似乎是在暗示這些方法將修改它們所調(diào)用的實例。也許plus、minus和negation才是更好的名字。
對API設(shè)計來說，其教訓是：在命名不可變類型的方法時，應(yīng)該優(yōu)選介詞和名詞，而不是動詞。介詞適用于帶有參數(shù)的方法，而名詞適用于不帶參數(shù)的方法。對語言設(shè)計者而言，其教訓與謎題2相同，那就是應(yīng)該考慮對操作符重載提供有限的支持，這樣算數(shù)操作符就可以作用于諸如BigInteger這樣的數(shù)值型的引用類型。由此，即使是初學者也不會認為計算表達式total + fiveThousand將會對total的值產(chǎn)生任何影響。