這些都是怎么實(shí)現(xiàn)的？實(shí)際上，Scala以與Java同樣的方式存儲(chǔ)整數(shù)：把它當(dāng)作32位的字。這對(duì)在JVM上的效率以及與Java庫的互操作性方面來說都很重要。標(biāo)準(zhǔn)的操作如加法或乘法都被實(shí)現(xiàn)為原始操作。然而，當(dāng)整數(shù)需要被當(dāng)作（Java）對(duì)象看待的時(shí)候，Scala使用了“備份”類java.lang.Integer。如在整數(shù)上調(diào)用toString方法或者把整數(shù)賦值給Any類型的變量時(shí)，就會(huì)這么做。需要的時(shí)候，Int類型的整數(shù)能被透明轉(zhuǎn)換為java.lang.Integer類型的“裝箱整數(shù)”。

51CTO編輯推薦：Scala編程語言專題

所有這些聽上去都近似Java5里的自動(dòng)裝箱并且它們的確很像。不過有一個(gè)關(guān)鍵差異，Scala里的裝箱比Java里的更少看見。嘗試下面的Java代碼：

// Java代碼  
boolean isEqual(int x,int y) {  
 return x == y;  
}  
System.out.println(isEqual(421,421));  

你當(dāng)然會(huì)得到true?，F(xiàn)在，把isEqual的參數(shù)類型變?yōu)閖ava.lang.Integer（或Object，結(jié)果都一樣）：

// Java代碼  
boolean isEqual(Integer x, Integery) {  
 return x == y;  
}  
System.out.println(isEqual(421,421));  

你會(huì)發(fā)現(xiàn)你得到了false！原因是數(shù)421被裝箱了兩次，因此參數(shù)x和y是兩個(gè)不同的對(duì)象。

因?yàn)樵谝妙愋蜕?=表示引用相等，而Integer是引用類型，所以結(jié)果是false。這是展示了Java不是純面向?qū)ο笳Z言的一個(gè)方面。我們能清楚觀察到原始類型和引用類型之間的差別。

現(xiàn)在在Scala里嘗試同樣的實(shí)驗(yàn)：

scala>def isEqual(x:Int, y:Int) = x == y  
isEqual:(Int,Int)Boolean  
scala>isEqual(421,421)  
res10:Boolean = true 
scala>def isEqual(x:Any, y:Any) = x == y  
isEqual:(Any,Any)Boolean  
scala>isEqual(421,421)  
res11:Boolean = true 

實(shí)際上Scala里的相等操作==被設(shè)計(jì)為透明的參考類型代表的東西。對(duì)值類型來說，就是自然的（數(shù)學(xué)或布爾）相等。對(duì)于引用類型，==被視為繼承自O(shè)bject的equals方法的別名。這個(gè)方法被初始地定義為引用相等，但被許多子類重載實(shí)現(xiàn)它們種族的相等概念。這也意味著Scala里你永遠(yuǎn)也不會(huì)落入Java知名的關(guān)于字串比較的陷阱。Scala里，字串比較以其應(yīng)有的方式工作：

scala>val x = "abcd".substring(2)  
x:java.lang.String = cd  
scala>valy="abcd".substring(2)  
y:java.lang.String=cd  
scala>x==y  
res12:Boolean=true 

Java里，x與y的比較結(jié)果將是false。程序員在這種情況應(yīng)該用equals，不過它容易被忘記。

然而，有些情況你需要使用引用相等代替用戶定義的相等。例如，某些時(shí)候效率是首要因素，你想要把某些類哈希合并：hash cons然后通過引用相等比較它們的實(shí)例。 為這種情況，類AnyRef定義了附加的eq方法，它不能被重載并且實(shí)現(xiàn)為引用相等（也就是說，它表現(xiàn)得就像Java里對(duì)于引用類型的==那樣）。同樣也有一個(gè)eq的反義詞，被稱為ne。例如：

scala>val x = new String("abc")  
x:java.lang.String = abc  
scala>val y = new String("abc")  
y:java.lang.String = abc  
scala>x == y  
res13:Boolean = true 
scala>x eq y  
res14:Boolean = false 
scala>x ne y  
res15:Boolean = true 

Scala的相等性會(huì)在第28章中討論。

【相關(guān)閱讀】

1. Scala的類層級(jí)
2. Scala中的Spiral程序：把代碼都螺旋在一起
3. Scala中變高變寬的實(shí)現(xiàn)：heighten和widen
4. 學(xué)習(xí)Scala的定義工廠對(duì)象
5. 如何實(shí)現(xiàn)Scala的above，beside和toString