scala – 对象可以从特征中推断出被覆盖的字段类型吗?

我正在生成一些测试数据如下:

trait Template {
  val field1: Map[List[String], Map[Int, List[Boolean]]] //the type is for illustration. Think of it as a 'monstrous type definition'
  val field2: Map[List[Int], Map[Double, List[Option[String]]]]
}

object Fixture extends Template {
  override val field1 = Map()
  override val field2 = Map() 
}

这失败,消息值field1具有不兼容的类型,同样适用于field2?

我可以通过显式提供Fixture中的类型来修复它,但我试图避免这种情况,因为如果我在特征内部更改类型,我将需要将其传播到每个fixture对象.

我的对象Fixture可以从特征模板推断出field1和field2的类型.

最佳答案
我不知道为什么编译器不够智能来推断val的正确类型,但它会用于def.您可以通过将初始化代码放入def来解决问题.

trait Template {
  val field1 = field1Init
  def field1Init: Map[List[String], Map[Int, List[Boolean]]]
  val field2 = field2Init
  def field2Init: Map[List[Int], Map[Double, List[Option[String]]]]
}

object Fixture extends Template {
  override def field1Init = Map()
  override def field2Init = Map() 
}

转载注明原文:scala – 对象可以从特征中推断出被覆盖的字段类型吗? - 代码日志