我有以下属性(property):
import org.scalacheck.Prop.propBoolean
def elementsAreReversed(list: List[Int], reversed: List[Int]): Boolean =
if (list.isEmpty) true else {
val lastIdx = list.size - 1
list.zipWithIndex.forall { case (element, index) =>
element == reversed(lastIdx - index)
}
}
val propReversed = Prop.forAll { list: List[Int] =>
val reversed = list.reverse
if (list.isEmpty)
list == reversed
else {
val hasSameSize = reversed.size == list.size
val hasAllElements = list.forall(reversed.contains)
// It works until I add a label here:
hasSameSize && hasAllElements && elementsAreReversed(list, reversed)
}
如果添加一个标签,它会中断:
hasSameSize :| " a label which doesn't let the code compile" &&
hasAllElements &&
elementsAreReversed(list, reversed)
编译器给了我以下内容:
错误:(47, 36) Any => org.scalacheck.Prop 中没有可用的隐式 View 。
val propReversed = Prop.forAll { list: List[Int] =>
错误:(47, 36) forAll 方法的参数不足:
(隐式 p: Any => org.scalacheck.Prop, 隐式 a1: org.scalacheck.Arbitrary[List[Int]], 隐式 s1: org.scalacheck.Shrink[List[Int]], 隐式 pp1: List[Int] =>
org.scalacheck.util.Pretty) org.scalacheck.Prop。未指定值参数
p, a1, s1...
val propReversed = Prop.forAll { list: List[Int] =>
我正在使用 ScalaCheck 版本
1.13.4
最佳答案
问题是你有一个 if
表达式,真面的类型为 Boolean
,假面的类型为 Prop
。在需要 propBoolean
的情况下,编译器会将 Prop
隐式转换应用于 bool 值,但像这样的条件不是这些地方之一——相反,编译器只是采用 Boolean
和 Prop
的最小上限,并使其成为返回类型。 (也许更令人惊讶的是,即使 Prop
先出现,Boolean
次之,也是如此。)
有几种方法可以使这项工作,但最简单的只是显式应用转换:
val propReversed = Prop.forAll { list: List[Int] =>
val reversed = list.reverse
if (list.isEmpty) Prop.propBoolean(list == reversed) else {
val hasSameSize = reversed.size == list.size
val hasAllElements = list.forall(reversed.contains)
hasSameSize :| " a label which doesn't let the code compile" &&
hasAllElements && elementsAreReversed(list, reversed)
}
}
对我来说,这只是花哨的隐式转换支持的 DSL 令人沮丧的另一个例子。我喜欢 ScalaCheck 并且每天都使用它,但是当这些技巧开始与 Scala 的(极其复杂的)语法的其他角落进行交互时就会崩溃时,我并没有真正看到进行后空翻以支持更简洁的用法的值(value).