为什么确保仅在其他方面工作？

Question

在scala中,当我使用确保 predef时,它只适用于if-else表达式的else部分:

def evenIt(x:Int) = {
    if(x % 2 == 0)
            x+1 //return odd on purpose!
    else{
      x + 1
    } ensuring( _ % 2 == 0)
}

//Test it:
evenIt(3)
> 4
evenIt(4)
> 5  //<--- ensuring does not catch this!

但我认为"if-else"是scala中的表达.所以它应该只返回一个值 - 反过来应该传递给确保？

或者我在这里混淆了什么？谢谢.

编辑:在Scala编程中,作者使用如下:

private def widen(x: 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

他是否仅将其应用于此处的其他部分？

Answer 1

是的,if-else是一个表达式,但是你将它括起来的方式,你只适用ensuring于x+1- 而不是 - 表达式if.如果你把ensuring结束括号放在后面if,它会做你想要的:

def evenIt(x:Int) = {
    if(x % 2 == 0)
        x + 1 //return odd on purpose!
    else
        x + 1
} ensuring( _ % 2 == 0)