ScalaCheck Arbitrary[T] 和 Scalacheck Gen[T] 之间的区别

Question

在我的测试中，我非常广泛地使用 Specs2 + ScalaCheck，并且有一些模式需要考虑。我还没有发现我的函数应该使用 Arbitrary[T] 还是 Gen[T]，因为它们非常相似：

sealed abstract class Arbitrary[T] {
  val arbitrary: Gen[T]
}

函数签名会是这样吗：

maxSizedIntervalArbitrary[A,B](implicit ordering:Ordering[A], genStart:Arbitrary[A], genEnd:Arbitrary[B]):Arbitrary[TreeMap[A,B]]

还是我应该在Gen 抽象级别工作？

Answer 1

我会说两者都做：

def maxSizedIntervalArbitrary[A,B](genStart:Gen[A], genEnd:Gen[B])(implicit ordering:Ordering[A]):Gen[TreeMap[A,B]]

implicit def maxSizedIntervalArbitrary[A,B](implicit ordering:Ordering[A], genStart:Arbitrary[A], genEnd:Arbitrary[B]):Arbitrary[TreeMap[A,B]] = 
  Arbitrary(maxSizedIntervalArbitrary(arbitrary[A], arbitrary[B]))

Arbitrary 基本上用于提供隐式Gens，因此这允许使用forAll 变体与显式Gen 和隐式Arbitrary。我不认为非implicit Arbitrary 有用。