Scala 在方法里除了可用 assert() 方法像 Java 那样进行断言，还可以使用 ensuring() 方法在返回结果的分支的花括号同一行上进行断言。它们不同的是 assert 可以随意放在哪里对任何的 boolean 类型进行断言，而 ensuring 是用来对返回结果行断言的，所以它必须尾随返回结果处。 assert 和 ensuring 方法都是定方在 Predef 中的，所以可以直接写。
在 《Programming in Scala》一书中对 ensuring 使用的示例代码，会让人感到很费解的，并且对 ensuring 的解释也不多，只是说了 ensuring 中用 "_" 作为当前返回结果对象的占位符。在 《Programming in Scala》中 ensuring 示例代码是：
|
1
2
3
4
5
6
7
8
|
private
def
widen
(
w
:
Int
)
:
Element
=
if
(
w
<=
width
)
this
else
{
val
left
=
elem
(
' '
,
(
w
-
width
)
/
2
,
height
)
var
right
=
elem
(
' '
,
(
w
-
width
-
left
.
width
,
height
)
left
beside
this
beside
right
}
ensuring
(
w
<=
_
.
width
)
|
第一个让人一下不好理解的是方法定义第一行等号后没有加花括号，一般来说方法只包一条(行)语句时花括号可以省略，多行时虽然程序能够推断出该方法在何处解释，但人来阅读时却不容易把握方法代码在哪里结束，所以最好多行时用花括号括住函数代码。再说，如果在 Scala 控制台敲上面的代码，中间加回车的时候就会报错。
还有 ensuring 该放在何处欠更详细的说明，首明要明白的是 ensuring() 是用来断言返回结果的，所以它应该放在返回结果分支的花括号后面，如果没有花括号，应该造花括号让它跟，或是写在函数后最后那个花括号的后面(这看起来 ensuring() 跑到方法外头去了)。
我们可以从下面的例子来理解 ensuring 的用法：
|
1
2
3
4
5
6
7
8
9
10
|
private
def
widen
(
w
:
Int
)
:
Element
=
{
if
(
w
<
width
)
{
this
}
ensuring
(
_
.
width
>
10
)
//这里欲断言返回结果 this，所有两 if 后的花括号不能省略
else
{
val
left
=
elem
(
' '
,
(
w
-
width
)
/
2
,
height
)
var
right
=
elem
(
' '
,
(
w
-
width
-
left
.
width
,
height
)
left
beside
this
beside
right
}
ensuring
(
w
<=
_
.
width
)
//断言的是上一行 left beside this beside right 结果
}
ensuring
(
(
w
+
_
.
width
)
>
100
)
//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 语句等于是对返回结果的最后仲裁。
本文链接 https://yanbin.blog/scala-ensuring-usage/, 来自 隔叶黄莺 Yanbin Blog
[版权声明] 
本文采用 署名-非商业性使用-相同方式共享 2.5 通用 (CC BY-NC-SA 2.5) 进行许可。
1353
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
