原文：http://blog.sina.com.cn/s/blog_a3869e9a01017dcn.html
斷言：
Scala里忿等，斷言對預(yù)定義方法 assert 的調(diào)用。表達式 assert(condition) 將在condition條件不成立的時候拋出 AssertionError。
assert也可帶兩個參數(shù)，表達式assert(condition, explanation) 會測試condition闺骚，如果條件不成立，會拋出含有指定explanation作為說明的AssertionError盾致。explanation的類型是Any照弥，所以可以把任何對象當作說明參數(shù)。assert方法會對傳入的參數(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)
}
另一種或許會使用斷言的方式是在widen方法的結(jié)束處，在返回結(jié)果值之前贝椿，檢查一下寬度是否正確想括。你可以這么做，首先把結(jié)果存在val里烙博，然后對這個結(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，但實際上是對Element隱式轉(zhuǎn)換成的類型調(diào)用了ensuring。ensuring方法帶一個函數(shù)做參數(shù)掂林，該函數(shù)是接受一個結(jié)果類型對象并返回Boolean類型的論斷函數(shù)(predicate function)臣缀。ensuring會把結(jié)果傳給這個函數(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é)果政供。因為這是 widen方法的最后一個表達式，所以 widen本身將返回 Element作為結(jié)果朽基。
斷言(以及ensuring檢查)可以使用JVM的-ea和-da命令行標志開放和禁止布隔。開放的時候，每個斷言 被當做對使用軟件運行時產(chǎn)生的實際數(shù)據(jù)進行的小測試稼虎。
