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)

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

1 个答案: