0

在尝试学习 ScalaCheck 工具时，我编写了两个版本的 Map 生成器（我知道其中有一个是内置的，但这是一个练习）。

看起来genMap0andgenMap00应该是等价的，并且genMap00更干净一些，但实际上genMap0有效，但genMap00失败得很惨。

yield装饰有一个可以println打开以查看发生了什么（只需编辑speak方法），但即使有了这些信息，我也不能说我真的理解为什么会有差异。这让我觉得我尝试编写的另一个生成器也可能有缺陷。

genMap0有人可以很好地解释和之间的区别genMap00吗？

  import org.scalacheck._
  import Arbitrary._
  import Gen._
  import Prop._

  def speak(message: String): Unit = if (false) println(message)

  lazy val genMap0: Gen[Map[Int, Int]] = for {
    k <- arbitrary[Int]
    v <- arbitrary[Int]
    b <- arbitrary[Boolean]
    m <- if (b) value(Map.empty[Int, Int]) else genMap0
  } yield if (b) {
    speak("false"); m
  } else {
    speak("true"); m.updated(k, v)
  }

  lazy val genMap00: Gen[Map[Int, Int]] = for {
    k <- arbitrary[Int]
    v <- arbitrary[Int]
    m <- oneOf(Map.empty[Int, Int], genMap00)
  } yield if (m.isEmpty) {
    speak("empty:" + m); m
  } else {
    speak("not empty:" + m); m.updated(k, v)
  }

  val n = 5
  for (i <- 1 to n; m <- genMap0.sample) println(m)
  println("--------------")
  for (i <- 1 to n; m <- genMap00.sample) println(m)

这是输出（genMap00总是生成空地图）：

scala -cp scalacheck_2.10-1.10.1.jar
...
// Exiting paste mode, now interpreting.

Map()
Map(1 -> 1, 1530546613 -> -1889740266, -187647534 -> 0)
Map()
Map(-1 -> 2039603804)
Map(646468221 -> 1)
--------------
Map()
Map()
Map()
Map()
Map()
4

1 回答 1

1

递归生成的问题总是以空映射开始，因此gen00总是以生成空映射的生成器结束。问题是空条件也被用于检测终止。

这是通过以下方式解决的gen000：

  lazy val genMap000: Gen[Map[Int, Int]] = for {
    k <- arbitrary[Int]
    v <- arbitrary[Int]
    m <- oneOf(None, genMap000.map(g => Some(g)))
  } yield (for (x <- m) yield x.updated(k, v)).getOrElse(Map())

这使用了一个中间Option[Map]，None状态指示终止。

使用显式Boolean生成器似乎更干净。

于 2014-02-09T00:47:29.403 回答