上節展示的withPrintWriter方法不同于語言的內建控制結構，如if和while，在于大括號之間的代碼帶了參數。withPrintWriter方法需要一個類型為PrintWriter的參數。這個參數以“writer =>”方式顯示出來：

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

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

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

為了舉一個有現實意義的例子，請設想你需要實現一個稱為myAssert的斷言架構。你只能稱其為myAssert，而不是assert，因為Scala提供了它自己的assert，將在14.1節描述。myAssert函數將帶一個函數值做輸入并參考一個標志位來決定該做什么。如果標志位被設置了，myAssert將調用傳入的函數并證實其返回true。如果標志位被關閉了，myAssert將安靜地什么都不做。

如果沒有傳名參數，你可以這樣寫myAssert：

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

這個定義是正確的，但使用它會有點兒難看：

myAssert(() => 5 > 3)  

你或許很想省略函數文本里的空參數列表和=>符號，寫成如下形式：

myAssert(5 > 3) // 不會有效，因為缺少() => 

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

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

代碼 9.5 使用傳名參數

現在你可以在需要斷言的屬性里省略空的參數了。使用byNameAssert的結果看上去就好象使用了內建控制結構：

byNameAssert(5 > 3)  

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

現在，你或許想知道為什么你不能簡化myAssert的編寫，使用陳舊的Boolean作為它參數的類型，如：

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

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

boolAssert(5 > 3)  

雖然如此，這兩種方式之間存在一個非常重要的差別須指出。因為boolAssert的參數類型是Boolean，在boolAssert(5 > 3)里括號中的表達式先于boolAssert的調用被評估。表達式5 > 3產生true，被傳給boolAssert。相對的，因為byNameAssert的predicate參數的類型是=> Boolean，byNameAssert(5 > 3)里括號中的表達式不是先于byNameAssert的調用被評估的。而是代之以先創建一個函數值，其apply方法將評估5 > 3，而這個函數值將被傳遞給byNameAssert。

因此這兩種方式之間的差別，在于如果斷言被禁用，你會看到boolAssert括號里的表達式的某些副作用，而byNameAssert卻沒有。例如，如果斷言被禁用，boolAssert的例子里嘗試對“x / 0 == 0”的斷言將產生一個異常：

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的例子里嘗試同樣代碼的斷言將不產生異常：

scala> byNameAssert(x / 0 == 0)