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

Question

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

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() 
}

这个消息失败了value field1 has incompatible type,同上field2吗？

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

可我的object Fixture推断类型field1和field2距离trait Template.

Answer 1

我不知道为什么编译器不够智能，无法推断出 a 的正确类型val，但它会为 a 推断出正确的类型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() 
}