原文: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)行的小測試。