• Scala 中 ensuring 方法的使用说明

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


    在 《Programming in Scala》一书中对 ensuring 使用的示例代码，会让人感到很费解的，并且对 ensuring 的解释也不多，只是说了 ensuring 中用 "_" 作为当前返回结果对象的占位符。在 《Programming in Scala》中 ensuring 示例代码是：
    1private def widen(w: Int): Element =
2    if(w <= width)
3        this
4    else {
5        val left = elem(' ', (w - width)/2, height)
6        var right = elem(' ', (w - width -left.width, height)
7        left beside this beside right
8    } ensuring (w <= _.width)

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