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

創(chuàng)新互聯(lián)是專業(yè)的滑縣網(wǎng)站建設(shè)公司,滑縣接單;提供網(wǎng)站設(shè)計制作、成都網(wǎng)站建設(shè),網(wǎng)頁設(shè)計,網(wǎng)站設(shè)計,建網(wǎng)站,PHP網(wǎng)站建設(shè)等專業(yè)做網(wǎng)站服務(wù);采用PHP框架,可快速的進行滑縣網(wǎng)站開發(fā)網(wǎng)頁制作和功能擴展;專業(yè)做搜索引擎喜愛的網(wǎng)站,專業(yè)的做網(wǎng)站團隊,希望更多企業(yè)前來合作!
- withPrintWriter(file) {
- writer => writer.println(new java.util.Date)
- }
然而如果你想要實現(xiàn)某些更像if或while的東西,根本沒有值要傳入大括號之間的代碼,那該怎么做呢?為了解決這種情況,Scala提供了傳名參數(shù)。
編輯推薦:Scala編程語言專題
為了舉一個有現(xiàn)實意義的例子,請設(shè)想你需要實現(xiàn)一個稱為myAssert的斷言架構(gòu)。你只能稱其為myAssert,而不是assert,因為Scala提供了它自己的assert,將在14.1節(jié)描述。myAssert函數(shù)將帶一個函數(shù)值做輸入并參考一個標志位來決定該做什么。如果標志位被設(shè)置了,myAssert將調(diào)用傳入的函數(shù)并證實其返回true。如果標志位被關(guān)閉了,myAssert將安靜地什么都不做。
如果沒有傳名參數(shù),你可以這樣寫myAssert:
- var assertionsEnabled = true
- def myAssert(predicate: () => Boolean) =
- if (assertionsEnabled && !predicate())
- throw new AssertionError
這個定義是正確的,但使用它會有點兒難看:
- myAssert(() => 5 > 3)
你或許很想省略函數(shù)文本里的空參數(shù)列表和=>符號,寫成如下形式:
- myAssert(5 > 3) // 不會有效,因為缺少() =>
傳名函數(shù)恰好為了實現(xiàn)你的愿望而出現(xiàn)。要實現(xiàn)一個傳名函數(shù),要定義參數(shù)的類型開始于=>而不是() =>。例如,你可以通過改變其類型,“() => 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)
傳名類型中,空的參數(shù)列表,(),被省略,它僅在參數(shù)中被允許。沒有什么傳名變量或傳名字段這樣的東西。
現(xiàn)在,你或許想知道為什么你不能簡化myAssert的編寫,使用陳舊的Boolean作為它參數(shù)的類型,如:
- def boolAssert(predicate: Boolean) =
- if (assertionsEnabled && !predicate)
- throw new AssertionError
當然這種格式同樣合法,并且使用這個版本boolAssert的代碼看上去仍然與前面的一樣:
- boolAssert(5 > 3)
雖然如此,這兩種方式之間存在一個非常重要的差別須指出。因為boolAssert的參數(shù)類型是Boolean,在boolAssert(5 > 3)里括號中的表達式先于boolAssert的調(diào)用被評估。表達式5 > 3產(chǎn)生true,被傳給boolAssert。相對的,因為byNameAssert的predicate參數(shù)的類型是=> Boolean,byNameAssert(5 > 3)里括號中的表達式不是先于byNameAssert的調(diào)用被評估的。而是代之以先創(chuàng)建一個函數(shù)值,其apply方法將評估5 > 3,而這個函數(shù)值將被傳遞給byNameAssert。
因此這兩種方式之間的差別,在于如果斷言被禁用,你會看到boolAssert括號里的表達式的某些副作用,而byNameAssert卻沒有。例如,如果斷言被禁用,boolAssert的例子里嘗試對“x / 0 == 0”的斷言將產(chǎn)生一個異常:
- 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)
【相關(guān)閱讀】
- Scala:如何編寫新的控制結(jié)構(gòu)
- Scala學習:Curry化的函數(shù)
- Scala學習:簡化客戶代碼
- 減少Scala中的代碼重復
- Scala:尾遞歸的跟蹤調(diào)用及其局限
當前標題:Scala學習:傳名參數(shù)by-nameparameter
文章位置:http://fisionsoft.com.cn/article/djjjcij.html


咨詢
建站咨詢
