Scala 中的 PosZInt 和 PosInt?
PosZInt and PosInt in scala?
在 ScalaTest configuration.scala 中,方法采用 PosInt
而不是 Int
。例如:MinSuccessful(value: PosInt)
它们有什么区别?
我在网上的研究表明它们属于Anyvals
。这对 Scala 测试过程有何好处?
它们只是 int 的小包装器,可在编译时验证该值是否为正(或 PosZInt 为非负)。 See the documentation here.
目的是防止你做,例如MinSuccessful(-1)
。
在 ScalaTest configuration.scala 中,方法采用 PosInt
而不是 Int
。例如:MinSuccessful(value: PosInt)
它们有什么区别?
我在网上的研究表明它们属于Anyvals
。这对 Scala 测试过程有何好处?
它们只是 int 的小包装器,可在编译时验证该值是否为正(或 PosZInt 为非负)。 See the documentation here.
目的是防止你做,例如MinSuccessful(-1)
。