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

发布时间：2020-12-16 08:47:10 所属栏目：安全来源：网络整理

导读：我有一个类型Foo与构造函数接受Int.如何定义与 scalacheck一起使用的Foo隐式任意？ implicit def arbFoo: Arbitrary[Foo] = ??? 我提出了以下解决方案,但它有点过于“手动”而且对我来说是低级别的： val fooGen = for (i - Gen.choose(Int.MinValue,Int.Max

我有一个类型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(_)))

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!