Scala assert

原文:http://blog.sina.com.cn/s/blog_a3869e9a01017dcn.html

斷言:

Scala里,斷言對預(yù)定義方法 assert 的調(diào)用。表達(dá)式 assert(condition) 將在condition條件不成立的時(shí)候拋出 AssertionError。

assert也可帶兩個(gè)參數(shù),表達(dá)式assert(condition, explanation) 會(huì)測試condition,如果條件不成立,會(huì)拋出含有指定explanation作為說明的AssertionError。explanation的類型是Any,所以可以把任何對象當(dāng)作說明參數(shù)。assert方法會(huì)對傳入的參數(shù)調(diào)用toString(),放在AssertionError中的字符串說明。

def above(that: Element): Element = {

val this1 = this widen that.width

val that1 = that widen this.width

assert(this1.width == that1.width)

elem(this1.contents ++ that1.contents)

}

另一種或許會(huì)使用斷言的方式是在widen方法的結(jié)束處,在返回結(jié)果值之前,檢查一下寬度是否正確。你可以這么做,首先把結(jié)果存在val里,然后對這個(gè)結(jié)果執(zhí)行斷言,并且如果斷言成功,則返回val值。

不過,也可以使用 Predef 里的名為 ensuring 的方法來簡化這些操作。

private def widen(w: Int): Element =

if (w <= width)

this

else {

val left = ...

val right = ...

left beside this beside right

} ensuring (w <= _.width)

由于存在隱式轉(zhuǎn)換,因此 ensuring()能被用在任何結(jié)果類型上。盡管這段代碼看上去好像是對widen的結(jié)果(類型Element)調(diào)用ensuring,但實(shí)際上是對Element隱式轉(zhuǎn)換成的類型調(diào)用了ensuring。ensuring方法帶一個(gè)函數(shù)做參數(shù),該函數(shù)是接受一個(gè)結(jié)果類型對象并返回Boolean類型的論斷函數(shù)(predicate function)。ensuring會(huì)把結(jié)果傳給這個(gè)函數(shù)。如果函數(shù)返回true,ensuring將返回結(jié)果,否則,ensuring將拋出AssertionError。

例子中,論斷函數(shù)是“w <= _.width”。下劃線是傳遞給論斷參數(shù)的占位符,即widen方法的結(jié)果Element。如果作為 w 被傳入 widen 的寬度小于或等于結(jié)果 Element 的 width,預(yù)期函數(shù)將返回 true,于是 ensuring將返回被調(diào)用的 Element作為結(jié)果。因?yàn)檫@是 widen方法的最后一個(gè)表達(dá)式,所以 widen本身將返回 Element作為結(jié)果。

斷言(以及ensuring檢查)可以使用JVM的-ea和-da命令行標(biāo)志開放和禁止。開放的時(shí)候,每個(gè)斷言 被當(dāng)做對使用軟件運(yùn)行時(shí)產(chǎn)生的實(shí)際數(shù)據(jù)進(jìn)行的小測試。

最后編輯于
?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

推薦閱讀更多精彩內(nèi)容