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

我不知道为什么编译器不够聪明，无法推断出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() 
}

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

1 个答案: