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

发布时间：2020-12-16 19:14:41 所属栏目：安全来源：网络整理

导读：我正在生成一些测试数据如下： 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]]]]}obj

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

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],List[Boolean]]]
  val field2 = field2Init
  def field2Init: Map[List[Int],List[Option[String]]]]
}

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

（编辑：李大同）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!