在我的测试中,我非常广泛地使用 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
工作抽象层次?
最佳答案
我会说两者都做:
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
永远有用。
关于scala - ScalaCheck Arbitrary[T] 和 Scalacheck Gen[T] 的区别,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/21982721/