Scala傳名參數by-name parameter怎么使用

本篇內容介紹了“Scala傳名參數by-name parameter怎么使用”的有關知識，在實際案例的操作過程中，不少人都會遇到這樣的困境，接下來就讓小編帶領大家學習一下如何處理這些情況吧！希望大家仔細閱讀，能夠學有所成！

withPrintWriter方法需要一個類型為PrintWriter的參數。這個參數以“writer =>”方式顯示出來：

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

然而如果你想要實現某些更像if或while的東西，根本沒有值要傳入大括號之間的代碼，那該怎么做呢？為了解決這種情況，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)

“Scala傳名參數by-name parameter怎么使用”的內容就介紹到這里了，感謝大家的閱讀。如果想了解更多行業相關的知識可以關注億速云網站，小編將為大家輸出更多高質量的實用文章！