Scala 中 ensuring 方法的使用说明

Scala 在方法里除了可用 assert() 方法像 Java 那样进行断言,还可以使用 ensuring() 方法在返回结果的分支的花括号同一行上进行断言。它们不同的是 assert 可以随意放在哪里对任何的 boolean 类型进行断言,而 ensuring 是用来对返回结果行断言的,所以它必须尾随返回结果处。 assert 和  ensuring 方法都是定方在 Predef 中的,所以可以直接写。

在 《Programming in Scala》一书中对 ensuring 使用的示例代码,会让人感到很费解的,并且对 ensuring 的解释也不多,只是说了 ensuring 中用 "_" 作为当前返回结果对象的占位符。在 《Programming in Scala》中 ensuring 示例代码是:

第一个让人一下不好理解的是方法定义第一行等号后没有加花括号,一般来说方法只包一条(行)语句时花括号可以省略,多行时虽然程序能够推断出该方法在何处解释,但人来阅读时却不容易把握方法代码在哪里结束,所以最好多行时用花括号括住函数代码。再说,如果在 Scala 控制台敲上面的代码,中间加回车的时候就会报错。

还有 ensuring 该放在何处欠更详细的说明,首明要明白的是 ensuring() 是用来断言返回结果的,所以它应该放在返回结果分支的花括号后面,如果没有花括号,应该造花括号让它跟,或是写在函数后最后那个花括号的后面(这看起来 ensuring() 跑到方法外头去了)。

我们可以从下面的例子来理解 ensuring 的用法:

上面的 ensuring() 方法中的表达式是随意写的,只说明它是一个 boolean 值。再次说明一个 ensuring 断言的是方法中每一个分支持返回结果后花括号后头。如果方法只有一行语句,原来是可以省去花括号,但要用上 ensuring 的话也必须把花括号补回来。

另外,ensuring() 中的  "_" 是它之前返回结果的占位符,如:

第一个 ensuring(_.width > 10) 中  "_" 代表前面的 this
第二个  ensuring(w <= _.width) 中的 "_" 代表的是它前面 left.beside this beside right 语句的值
最后一个 ensuring((w + _.width) > 100) 中的 "_" 代表的是此方法最终的结果,可能是 if 中的  this,也可能是 else 中的结果值

写在方法最外层的花括号后的  ensuring 语句等于是对返回结果的最后仲裁。

类别: Scala. 标签: , . 阅读(1,378). 订阅评论. TrackBack.

Leave a Reply

Be the First to Comment!

avatar
wpDiscuz