上節(jié)展示的withPrintWriter方法不同于語(yǔ)言的內(nèi)建控制結(jié)構(gòu)，如if和while，在于大括號(hào)之間的代碼帶了參數(shù)。withPrintWriter方法需要一個(gè)類(lèi)型為PrintWriter的參數(shù)。這個(gè)參數(shù)以“writer =>”方式顯示出來(lái)：

withPrintWriter(file) {  
 writer => writer.println(new java.util.Date)  
}  

然而如果你想要實(shí)現(xiàn)某些更像if或while的東西，根本沒(méi)有值要傳入大括號(hào)之間的代碼，那該怎么做呢？為了解決這種情況，Scala提供了傳名參數(shù)。

51CTO編輯推薦：Scala編程語(yǔ)言專(zhuān)題

為了舉一個(gè)有現(xiàn)實(shí)意義的例子，請(qǐng)?jiān)O(shè)想你需要實(shí)現(xiàn)一個(gè)稱(chēng)為myAssert的斷言架構(gòu)。你只能稱(chēng)其為myAssert，而不是assert，因?yàn)镾cala提供了它自己的assert，將在14.1節(jié)描述。myAssert函數(shù)將帶一個(gè)函數(shù)值做輸入并參考一個(gè)標(biāo)志位來(lái)決定該做什么。如果標(biāo)志位被設(shè)置了，myAssert將調(diào)用傳入的函數(shù)并證實(shí)其返回true。如果標(biāo)志位被關(guān)閉了，myAssert將安靜地什么都不做。

如果沒(méi)有傳名參數(shù)，你可以這樣寫(xiě)myAssert：

var assertionsEnabled = true 
def myAssert(predicate: () => Boolean) =  
 if (assertionsEnabled && !predicate())  
  throw new AssertionError  

這個(gè)定義是正確的，但使用它會(huì)有點(diǎn)兒難看：

myAssert(() => 5 > 3)  

你或許很想省略函數(shù)文本里的空參數(shù)列表和=>符號(hào)，寫(xiě)成如下形式：

myAssert(5 > 3) // 不會(huì)有效，因?yàn)槿鄙?) => 

傳名函數(shù)恰好為了實(shí)現(xiàn)你的愿望而出現(xiàn)。要實(shí)現(xiàn)一個(gè)傳名函數(shù)，要定義參數(shù)的類(lèi)型開(kāi)始于=>而不是() =>。例如，你可以通過(guò)改變其類(lèi)型，“() => Boolean”，為“=> Boolean”，把myAssert的predicate參數(shù)改為傳名參數(shù)。代碼9.5展示了它的樣子：

def byNameAssert(predicate: => Boolean) =  
 if (assertionsEnabled && !predicate)  
  throw new AssertionError  

代碼 9.5 使用傳名參數(shù)

現(xiàn)在你可以在需要斷言的屬性里省略空的參數(shù)了。使用byNameAssert的結(jié)果看上去就好象使用了內(nèi)建控制結(jié)構(gòu)：

byNameAssert(5 > 3)  

傳名類(lèi)型中，空的參數(shù)列表，()，被省略，它僅在參數(shù)中被允許。沒(méi)有什么傳名變量或傳名字段這樣的東西。

現(xiàn)在，你或許想知道為什么你不能簡(jiǎn)化myAssert的編寫(xiě)，使用陳舊的Boolean作為它參數(shù)的類(lèi)型，如：

def boolAssert(predicate: Boolean) =  
 if (assertionsEnabled && !predicate)  
  throw new AssertionError 

當(dāng)然這種格式同樣合法，并且使用這個(gè)版本boolAssert的代碼看上去仍然與前面的一樣：

boolAssert(5 > 3)  

雖然如此，這兩種方式之間存在一個(gè)非常重要的差別須指出。因?yàn)閎oolAssert的參數(shù)類(lèi)型是Boolean，在boolAssert(5 > 3)里括號(hào)中的表達(dá)式先于boolAssert的調(diào)用被評(píng)估。表達(dá)式5 > 3產(chǎn)生true，被傳給boolAssert。相對(duì)的，因?yàn)閎yNameAssert的predicate參數(shù)的類(lèi)型是=> Boolean，byNameAssert(5 > 3)里括號(hào)中的表達(dá)式不是先于byNameAssert的調(diào)用被評(píng)估的。而是代之以先創(chuàng)建一個(gè)函數(shù)值，其apply方法將評(píng)估5 > 3，而這個(gè)函數(shù)值將被傳遞給byNameAssert。

因此這兩種方式之間的差別，在于如果斷言被禁用，你會(huì)看到boolAssert括號(hào)里的表達(dá)式的某些副作用，而byNameAssert卻沒(méi)有。例如，如果斷言被禁用，boolAssert的例子里嘗試對(duì)“x / 0 == 0”的斷言將產(chǎn)生一個(gè)異常：

scala> var assertionsEnabled = false 
assertionsEnabled: Boolean = false 
scala> boolAssert(x / 0 == 0)  
java.lang.ArithmeticException: / by zero  
 at .< init>(< console>:8)  
 at .< clinit>(< console>)  
 at RequestResult$.< init>(< console>:3)  
 at RequestResult$.< clinit>(< console>)...  

但在byNameAssert的例子里嘗試同樣代碼的斷言將不產(chǎn)生異常：

scala> byNameAssert(x / 0 == 0)