scala - scala 中的类型不匹配错误以供理解

Question

我正在为以下 ADT 编写生成器。想法是用随机数据生成 block 。我在 blockGen 方法中遇到编译器错误类型不匹配:预期:Seq[Field]，实际:Gen[Field]。我做错了什么？

编辑

错误出在该方法最后一行的fields，即yield Block(id, fields)。

def blockGen(b: Block): Gen[Block] = for {
    id <- b.blockId
    fields <- b.fields.map(f => fieldGen(f))
} yield Block(id, fields)

ADT

trait Data {}

trait Field extends Data {
  val name: String
  val value: String
}

case class StringField(name: String, value: String) extends Field
case class NumberField(name: String, value: String) extends Field
case class Block(blockId: Field, fields: Seq[Field]) extends Data

发电机

def blockGen(b: Block): Gen[Block] = for {
    id <- b.blockId
    fields <- b.fields.map(f => fieldGen(f))
  } yield Block(id, fields)

def fieldGen(fieldType: Field): Gen[Field] = {
    for {
      f <-
      fieldType match {
        case _: NumberField => numGen
        case _: StringField => strGen
      }
    } yield f
  }

val strGen: Gen[StringField] = for {
    name <- Gen.identifier
    value <- Gen.alphaStr
  } yield StringField(name, value)

val numGen: Gen[NumberField] = for {
    name <- Gen.identifier
    value <- Gen.numStr
  } yield NumberField(name, value)

Answer 1

这是由于:fieldGen(f)返回类型是Gen[Field]，但是您的Block fields 类型是 Seq[Field]，因此编译器会抛出类型不匹配。

解决方案:

1. 将 def fieldGen(fieldType: Field): Gen[Field] 更改为 def fieldGen(fieldType: Field): Seq[Field]，或更改 Block 字段类型为 Gen[Feild]

2. 创建 Gen 到 Seq 的隐式转换，例如:

   implicit def genToSeq[T](s: Gen[T]): Seq[T] = ??? // implementation conversion.