解码 scalacheck 和 scalatest 代码

Question

我试图破译这实际上意味着什么

check { (n: Int) =>
  n > 1 ==> n / 2 > 0
}

来自http://www.scalatest.org/user_guide/writing_scalacheck_style_properties

我首先试图破译那具尸体是否是

((n: Int) => n > 1) ==> n/2 > 0

or

(n: Int) => (n > 1 ==> n/2 > 0)

会是哪一个？我猜是后者，因为尽管方法 '==>' 也可能返回一个函数，但 check 方法需要一个函数？

接下来看https://searchcode.com/codesearch/view/12336175/处的check方法签名

def check[A1,P](f: A1 => P)
  (implicit
     p: P => Prop,
     a1: Arbitrary[A1], s1: Shrink[A1]
  ) {
    check(Prop.property(f)(p, a1, s1))
}

我相信 A1 将是 Int 除非 ==> 返回一个函数并更改返回类型（尽管我认为这很可疑）。我不确定如何在 scalacheck 库中找到隐式函数 P => Prop。

我注意到有一个 ExtendedBoolean 有一个函数 ==> https://github.com/rickynils/scalacheck/blob/master/src/main/scala/org/scalacheck/Prop.scala

假设函数为 (n: Int) => (n > 1 ==> n/2 > 0)，也许 (n > 1) 被转换为 ExtendedBoolean，然后我们得到 ​​p>

ExtendedBoolean( n > 1 ).==>( n / 2 > 0 ) is called then.

由于 ExtendedBoolean 的 ==> 的实现是 Prop(b) ==> p，所以我最终得到了

Prop( n > 1 ) ==> (n / 2 > 0)

我在这里真的很困惑，因为在按名称调用时，通常会捕获值，但此时 n 没有值，因为它最初是一个函数。暂时忽略我的困惑，因此 ==> for Prop 的实现是

def ==>(p: => Prop): Prop = flatMap { r1 =>
  if(r1.proved) p map { r2 => mergeRes(r1,r2,r2.status) }
  else if(!r1.success) Prop(r1.copy(status = Undecided))
  else p map { r2 => provedToTrue(mergeRes(r1,r2,r2.status)) }
}

所以，我们这样称呼它，所以我认为这里是 Prop 的另一个隐式版本

Prop( n > 1 ) ==> Prop(n / 2 > 0)

好的，平面图是

Prop(prms => f(this(prms))(prms))

hmmm，一定有另一个转换为 Prop 。我开始跟踪 prms，然后查看布尔值的对象 Prop 应用方法，它是

def apply(b: Boolean): Prop = if(b) proved else falsified

但我无法将 b 解析为 true 或 false，因为尚未评估这些函数。这一切如何协同工作？我想我在这里几乎没有遗漏一些概念。有人能解释一下吗？

Answer 1

您的问题确实是一个 ScalaCheck 问题，但避免整个问题的一种方法是使用 ScalaTest 的 PropertyChecks 语法而不是 ScalaCheck 的（在 ScalaTest 中由 Checkers 支持）：

import org.scalatest.prop.Checkers._

check { (n: Int) =>
  n > 1 ==> n / 2 > 0
}

变成：

import org.scalatest.MustMatchers._
import org.scalatest.prop.PropertyChecks._

forAll { (n: Int) =>
  whenever (n > 1) {
    n / 2 must be > 0
  }
}