单元测试 – 定义一个简单的隐式仲裁

2024年1月3日 205次阅读

我有一个类型Foo与构造函数接受Int.如何定义与
scalacheck一起使用的Foo隐式任意？

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)))

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

最佳答案 好吧,您可以使用下划线表示法,而不是将整个Foo创建函数定义为(i：Int)=>新Foo(i))：

class Foo(i: Int)

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

这是有效的,因为Scala知道Foo采用了Int,并且该地图是通过Int进行映射的,所以不需要明确拼写它.

所以这有点短：

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