分號推斷

Scala程序里，語句末尾的分號通常是可選的。如果你愿意可以輸入一個，但若一行里僅有一個語句也可不寫。另一方面，如果一行里寫多個語句那么分號是需要的：

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

val s = "hello"; println(s) 

如果你想輸入一個跨越多行的語句，多數時候你只需輸入，Scala將在正確的位置分隔語句。例如，下面的代碼被認為是一個跨四行的語句：

if (x < 2)  
 println("too small")  
else 
 println("ok")  

然而，偶爾Scala也許沒有按照你的愿望把句子分割成兩部分：

x  
+ y  

這會被分成兩個語句x和+ y。如果你希望把它作為一個語句x + y，你可以把它包裹在括號里：

(x  
+ y)  

或者，你也可以把+放在行末。正是由于這個原因，當你在串接類似于+的中綴操作符，把操作符放在行尾而不是行頭是普遍的Scala風格：

x +  
y +  
z  

分號推斷的規則

分割語句的精確規則非常有效卻出人意料的簡單。那就是，除非以下情況的一種成立，否則行尾被認為是一個分號：

1．疑問行由一個不能合法作為語句結尾的字結束，如句點或中綴操作符。

2．下一行開始于不能作為語句開始的字。

3．行結束于括號(...)或方框[...]內部，因為這些符號不可能容納多個語句。

Singleton對象

如第1章所提到的，Scala比Java更面向對象的一個方面是Scala沒有靜態成員。替代品是，Scala有單例對象：singleton object。除了用object關鍵字替換了class關鍵字以外，單例對象的定義看上去就像是類定義。代碼4.2展示了一個例子：

// 文件ChecksumAccumulator.scala  
import scala.collection.mutable.Map  
object ChecksumAccumulator {  
 private val cache = Map[String, Int]()  
 def calculate(s: String): Int =  
  if (cache.contains(s))  
   cache(s)  
  else {  
   val acc = new ChecksumAccumulator  
   for (c <- s)  
    acc.add(c.toByte)  
   val cs = acc.checksum()  
   cache += (s -> cs)  
   cs  
  }  
}  

代碼 4.2 類ChecksumAccumulator的伴生對象

表中的單例對象被叫做ChecksumAccumulator，與前一個例子里的類同名。當單例對象與某個類共享同一個名稱時，他被稱作是這個類的伴生對象：companion object。你必須在同一個源文件里定義類和它的伴生對象。類被稱為是這個單例對象的伴生類：companion class。類和它的伴生對象可以互相訪問其私有成員。

ChecksumAccumulator單例對象有一個方法，calculate，用來計算所帶的String參數中字符的校驗和。它還有一個私有字段，cache，一個緩存之前計算過的校驗和的可變映射。這里我們使用了緩存例子來說明帶有域的單例對象。像這樣的緩存是通過內存換計算時間的方式做到性能的優化。通常意義上說，只有遇到了緩存能解決的性能問題時，才可能用到這樣的例子，而且應該使用弱映射（weak map），如scala.Collection.jcl的WeakHashMap，這樣如果內存稀缺的話，緩存里的條目就會被垃圾回收機制回收掉。 方法的第一行，“if (cache.contains(s))”，檢查緩存，看看是否傳遞進來的字串已經作為鍵存在于映射當中。如果是，就僅僅返回映射的值，“cache(s)”。否則，執行else子句，計算校驗和。else子句的第一行定義了一個叫acc的val并用新建的ChecksumAccumulator實例初始化它。因為關鍵字new只用來實例化類，所以這里創造的新對象是ChecksumAccumulator類的一個實例，而不是同名的單例對象。下一行是個for表達式，對傳入字串的每個字符循環一次，并在其上調用toByte把字符轉換成Byte，然后傳遞給acc所指的ChecksumAccumulator實例的add方法。完成了for表達式后，下一行的方法在acc上調用checksum，獲得傳入字串的校驗和，并存入叫做cs的val。下一行，“cache += (s -> cs)”，傳入的字串鍵映射到整數的校驗和值，并把這個鍵-值對加入cache映射。方法的最后一個表達式，“cs”，保證了校驗和為此方法的結果。

如果你是Java程序員，考慮單例對象的一種方式是把它當作是或許你在Java中寫過的任何靜態方法之家。可以在單例對象上用類似的語法調用方法：單例對象名，點，方法名。例如，可以如下方式調用ChecksumAccumulator單例對象的calculate方法：

ChecksumAccumulator.calculate("Every value is an object.") 

然而單例對象不只是靜態方法的收容站。它同樣是個第一類的對象。因此你可以把單例對象的名字看作是貼在對象上的“名簽”：

 

定義單例對象不是定義類型（在Scala的抽象層次上說）。如果只是ChecksumAccumulator對象的定義，你就建不了ChecksumAccumulator類型的變量。寧愿這么說，ChecksumAccumulator類型是由單例對象的伴生類定義的。然而，單例對象擴展了超類并可以混入特質。由于每個單例對象都是超類的實例并混入了特質，你可以通過這些類型調用它的方法，用這些類型的變量指代它，并把它傳遞給需要這些類型的方法。我們將在第十二章展示一些繼承自類和特質的單例對象的例子。

類和單例對象間的一個差別是，單例對象不帶參數，而類可以。因為你不能用new關鍵字實例化一個單例對象，你沒機會傳遞給它參數。每個單例對象都被作為由一個靜態變量指向的虛構類：synthetic class的一個實例來實現，因此它們與Java靜態類有著相同的初始化語法。虛構類的名字是對象名加上一個美元符號。因此單例對象ChecksumAccumulator的虛構類是ChecksumAccumulator$。特別要指出的是，單例對象會在第一次被訪問的時候初始化。

不與伴生類共享名稱的單例對象被稱為孤立對象：standalone object。由于很多種原因你會用到它，包括把相關的功能方法收集在一起，或定義一個Scala應用的入口點。下一段會說明這個用例。

【相關閱讀】

1. 學習Scala類的定義，字段和方法
2. 學習Scala腳本：從文件里讀取行記錄
3. 學習識別Scala的函數式風格
4. Scala編程實例：使用Set和Map
5. Scala編程實例：使用List和Tuple