一个对象是否可以从特质推断重写字段的类型？

我正在生成一些测试数据，如下所示：

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显式提供类型来修复它，但我试图避免这种情况，因为如果我在特征内部更改类型，我需要将其传播到每个夹具对象。

我的object Fixture可以从trait Template推断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() 
}

链接地址: http://www.djcxy.com/p/20759.html

上一篇: Can an object infer an overridden field's type from a trait?

下一篇: Using ORMLite DAO as a ContentProvider