specs2 - ScalaCheck 选择无需更换

Question

我该如何写Gen[A]使用永远不会返回相同对象两次的 ScalaCheck？

Gen.oneOf(a,b,c)

可以重复选择同一个对象，所以不起作用。

我正在 specs2 中编​​写一个可变规范，我想这样做的原因是因为被测系统的行为应该是在某种意义上只允许每个对象“使用”一次。

编辑 :“相同”我的意思是根据 == 相同，并且对象实际上是字符串，所以我不能每次都创建相同的字符串。

Answer 1

我不完全确定您要问什么，但是有一个名为 Gen.wrap 的生成器组合器每次评估生成器本身时都会评估其参数。这样，您可以强制创建新对象。请参见下面的示例(请注意，如果需要，您可以跳过 Gen.value 的使用，而是依赖于隐式转换 A => Gen[A]):

scala> import org.scalacheck._
import org.scalacheck._

scala> class A
defined class A

scala> val g1: Gen[A] = Gen.value(new A)
g1: org.scalacheck.Gen[A] = Gen()

scala> g1.sample.get
res0: A = A@45243a0f

scala> g1.sample.get
res1: A = A@45243a0f

scala> val g2: Gen[A] = Gen.wrap(Gen.value(new A))
g2: org.scalacheck.Gen[A] = Gen()

scala> g2.sample.get
res2: A = A@331d4d66

scala> g2.sample.get
res3: A = A@728aed09