从类和伴随对象实例化某些东西之间的区别

时间:2018-12-20 12:14:51

标签: scala scalacheck property-based-testing

我正在阅读和研究Scala的Funcional Programming一书中的练习。在有关属性测试的章节中,一个练习要求实现def listOf[A](g: Gen[A]): SGen[List[A]],以下是相关代码:

case class Gen[+A](sample: State[RNG, A]) {

  def flatMap[B](f: A ⇒ Gen[B]): Gen[B] =
    Gen(sample.flatMap(f(_) sample))

  /* A method alias for the function we wrote earlier. */
  def listOfN(size: Int): Gen[List[A]] =
    Gen.listOfN(size, this)

  def listOfN(size: Gen[Int]): Gen[List[A]] =
    size flatMap (Gen listOfN (_, this))
}

object Gen {
  def listOfN[A](n: Int, g: Gen[A]): Gen[List[A]] =
    Gen(State.sequence(List.fill(n)(g.sample)))

  def listOf[A](g: Gen[A]): SGen[List[A]] =
  //  SGen { n ⇒ g.listOfN(n) }
  //  SGen{listOfN(_, g)}
}

case class SGen[+A](forSize: Int ⇒ Gen[A])

如您所见,listOf[A](g: Gen[A]): SGen[List[A]]有两种实现方式,第二种是我认为的方式,第一种是本书提供的解决方案。

我的问题是,通过伴随对象创建SGen与在生成器listOfN上使用g方法创建它之间有什么区别吗?我想只要两个实现最终都使用g来生成值,就没有什么区别。

1 个答案:

答案 0 :(得分:2)

在此示例中,实际上没有任何实际差异。您可以从实现中看到Gen.listOfN(size: Int)只是在调用伴随对象实现。方法别名的优点之一是,您可以在伴随对象中使用更简单的语法,如下所示:

object Gen {
    ...
    def listOf[A](g: Gen[A]): SGen[List[A]] =
        SGen(g.listOfN)
}

使用这些不同的语法选项可以在用户制作较大的作品时对清晰度产生更大的影响。