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