scala - 具有参数类型的 Scalacheck/Scalatest

Question

我想用 scalatest 和 scalacheck 测试一个通用堆栈。到目前为止，我有这个：

"Stack" should "pop the last value pushed" in {
  check(doPushPop(element))
}

def doPushPop[T](element : T) : Boolean = {
  val stack = new Stack[T]
  stack.push(element)
  stack.pop() == element
}

然而，这显然不能编译。如何将泛型类型指定为测试的一部分？

Answer 1

如果你想生成随机值，例如整数：

check(doPushPop(_: Int))

但不是使用单个值进行测试，而是应该生成一系列推送/弹出操作并验证一些不变量；堆栈显然不取决于您放入其中的值，所以我想说像上面那样进行如此微不足道的测试毫无意义。

相反，您应该阅读如何使用 ScalaCheck 测试有状态系统：

http://www.scalacheck.org/files/scaladays2014/index.html