爲什麼確保只在其他方面工作？

Question

在Scala中，當我使用確保 PREDEF，它僅適用於一個if-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! 

但我認爲， 「如果其他」 是一個表達式斯卡拉。所以它應該只是返回一個值 - 這又應該傳遞給確保？

還是我在這裏困惑一些東西？謝謝。

編輯：在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)