scala - 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用于提供隐式 Gen s，基本上，所以这允许同时使用 forAll显式变体 Gen并隐含 Arbitrary .我不认为非 implicit Arbitrary永远有用。