自拍偷在线精品自拍偷,亚洲欧美中文日韩v在线观看不卡

Scala的原始類型是如何實現(xiàn)的

開發(fā) 后端
本文節(jié)選自Martin Odersky,Lex Spoon和Bill Venners所著,Regular翻譯的《Programming in Scala》的第十一章。Scala是一種針對 JVM 將函數(shù)和面向?qū)ο蠹夹g(shù)組合在一起的編程語言。

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

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

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

  1. // Java代碼  
  2. boolean isEqual(int x,int y) {  
  3.  return x == y;  
  4. }  
  5. System.out.println(isEqual(421,421));  
你當然會得到true?,F(xiàn)在,把isEqual的參數(shù)類型變?yōu)閖ava.lang.Integer(或Object,結(jié)果都一樣):

  1. // Java代碼  
  2. boolean isEqual(Integer x, Integery) {  
  3.  return x == y;  
  4. }  
  5. System.out.println(isEqual(421,421));  
你會發(fā)現(xiàn)你得到了false!原因是數(shù)421被裝箱了兩次,因此參數(shù)x和y是兩個不同的對象。

因為在引用類型上==表示引用相等,而Integer是引用類型,所以結(jié)果是false。這是展示了Java不是純面向?qū)ο笳Z言的一個方面。我們能清楚觀察到原始類型和引用類型之間的差別。

現(xiàn)在在Scala里嘗試同樣的實驗:

  1. scala>def isEqual(x:Int, y:Int) = x == y  
  2. isEqual:(Int,Int)Boolean  
  3. scala>isEqual(421,421)  
  4. res10:Boolean = true 
  5. scala>def isEqual(x:Any, y:Any) = x == y  
  6. isEqual:(Any,Any)Boolean  
  7. scala>isEqual(421,421)  
  8. res11:Boolean = true 
實際上Scala里的相等操作==被設(shè)計為透明的參考類型代表的東西。對值類型來說,就是自然的(數(shù)學或布爾)相等。對于引用類型,==被視為繼承自O(shè)bject的equals方法的別名。這個方法被初始地定義為引用相等,但被許多子類重載實現(xiàn)它們種族的相等概念。這也意味著Scala里你永遠也不會落入Java知名的關(guān)于字串比較的陷阱。Scala里,字串比較以其應(yīng)有的方式工作:

  1. scala>val x = "abcd".substring(2)  
  2. x:java.lang.String = cd  
  3. scala>valy="abcd".substring(2)  
  4. y:java.lang.String=cd  
  5. scala>x==y  
  6. res12:Boolean=true 
Java里,x與y的比較結(jié)果將是false。程序員在這種情況應(yīng)該用equals,不過它容易被忘記。

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

  1. scala>val x = new String("abc")  
  2. x:java.lang.String = abc  
  3. scala>val y = new String("abc")  
  4. y:java.lang.String = abc  
  5. scala>x == y  
  6. res13:Boolean = true 
  7. scala>x eq y  
  8. res14:Boolean = false 
  9. scala>x ne y  
  10. res15:Boolean = true 

Scala的相等性會在第28章中討論。

【相關(guān)閱讀】

  1. Scala的類層級
  2. Scala中的Spiral程序:把代碼都螺旋在一起
  3. Scala中變高變寬的實現(xiàn):heighten和widen
  4. 學習Scala的定義工廠對象
  5. 如何實現(xiàn)Scala的above,beside和toString
責任編輯:book05 來源: Artima
相關(guān)推薦

2021-06-09 07:55:19

Typescript類型檢查

2009-07-22 09:08:09

Scalaabove方法

2021-06-05 21:30:24

typescriptOverride檢查

2009-06-10 09:29:40

Scala類型通配符

2009-08-13 10:35:05

Scala數(shù)組排序

2022-04-17 09:18:11

響應(yīng)式數(shù)據(jù)Vue.js

2011-07-11 14:36:05

JAVA

2009-06-03 09:08:20

ScalaJava類型

2009-07-21 09:31:00

Scala基本類型文本

2011-11-03 16:32:57

Dart

2021-09-17 12:50:10

MySQL數(shù)據(jù)庫ACID

2024-11-05 15:02:41

2023-12-26 01:07:03

TCP擁塞控制

2009-07-09 00:25:00

Scala參數(shù)化

2022-05-16 08:22:37

零拷貝Netty

2009-07-22 09:53:57

Scala底層類型

2020-10-31 17:33:18

Scala語言函數(shù)

2019-01-22 15:26:48

APP會員自動續(xù)費簽約

2022-08-02 11:27:25

RabbitMQ消息路由

2022-07-18 23:49:19

區(qū)塊鏈民主數(shù)據(jù)
點贊
收藏

51CTO技術(shù)棧公眾號