testing - scalacheck 中常规类的生成器

Question

在 scalacheck 的 user guide 中有“生成案例类”段落。我修改了示例以使用常规类而不是案例类:

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

sealed abstract class Tree
object Leaf extends Tree
class Node(left:Tree, rigth:Tree, v:Int) extends Tree

object Main {

  val genLeaf = value(Leaf)
  val genNode = for{
    v <- Arbitrary.arbitrary[Int]
    left <- genTree
    rigth <- genTree
  } yield new  Node(left, rigth, v)

  val genTree:Gen[Tree] = oneOf(genLeaf, genNode)


  def main(args:Array[String]){    
    println(genTree.sample)
  }
}

似乎一切正常，但在我问这里之前，我担心在生产代码中使用这种方法:有什么陷阱吗？

Answer 1

这应该可以正常工作。就 ScalaCheck 而言，案例类并没有什么特别神奇的地方。任何旧类都可以获得生成器，甚至可以转换为任意类。

就测试而言，一个区别是您生成的每个非案例类树都是唯一的，因此对于您生成的两棵树来说，不会出现tree1 == tree2。这与案例类的方式不同，案例类根据值而不是身份来测试相等性。您可能需要更多的测试来处理别名问题，当您具有基于身份而不是基于值的平等时，这些问题就可能出现。