unit-testing - 定义一个简单的隐式任意

Question

我有一个类型 Foo带有一个接受 Int 的构造函数.我如何定义 implicit Arbitrary为 Foo与 scalacheck 一起使用？

implicit def arbFoo: Arbitrary[Foo] = ???

我想出了以下解决方案，但对于我的口味来说，它有点过于“手动”和低级:

val fooGen = for (i <- Gen.choose(Int.MinValue, Int.MaxValue)) yield new Foo(i)

implicit def arbFoo: Arbitrary[Foo] = Arbitrary(fooGen)

理想情况下，我想要一个高阶函数，我只需要插入一个 Int => Foo功能。

我设法将其缩减为:

implicit def arbFoo = Arbitrary(Gen.resultOf((i: Int) => new Foo(i)))

但我仍然觉得必须有一个稍微简单的方法。

Answer 1

好吧，您可以使用下划线表示法而不是定义整个 Foo -创建函数为 (i: Int) => new Foo(i)) :

class Foo(i: Int)

(1 to 3).map(new Foo(_))

这是有效的，因为 Scala 知道 Foo需要一个 Int ，还有 map正在映射 Int s，因此无需明确说明。

所以这有点短:

implicit def arbFoo = Arbitrary(Gen.resultOf(new Foo(_)))