在Scala中表示約束值的最佳方法？

Question

什麼是最好的表達方式，例如，Int字段或參數不應該是負面的？

首先想到的是類型上的註釋，如case class Foo(x: Int @NotNegative)。但是我不得不發明自己的註釋，並且不會有任何編譯時檢查或任何其他事情。

有沒有更好的方法？

Answer 1

爲什麼不使用單獨的數據類型？

class Natural private (val value: Int) { 
    require(value >= 0) 

    def +(that:Natural) = new Natural(this.value + that.value) 
    def *(that:Natural) = new Natural(this.value * that.value) 
    def %(that:Natural) = new Natural(this.value % that.value) 
    def |-|(that:Natural) = Natural.abs(this.value - that.value) //absolute difference 

    override def toString = value.toString 
} 

object Natural { 
    implicit def nat2int(n:Natural) = n.value 
    def abs(n:Int) = new Natural(math.abs(n)) 
} 

用法：

val a = Natural.abs(4711) 
val b = Natural.abs(-42) 
val c = a + b 
val d = b - a // works due to implicit conversion, but d is typed as Int 
println(a < b) //works due implicit conversion 

Answer 2

稍好（？），也許，但仍然沒有編譯器檢查：require(x >= 0)。

Answer 3

目前Scala不支持契約和不變量。