scala – 使用密封特征作为地图的关键

发布时间：2020-12-16 18:39:13 所属栏目：安全来源：网络整理

导读：我试图从密封特征的实例定义一个地图.在下面的代码中,Scala似乎将密钥类型推断为具有Seri??alizable with Day的Product： object Test extends App { sealed trait Day case object Sunday extends Day case object Monday extends Day case object Tuesday

我试图从密封特征的实例定义一个地图.在下面的代码中,Scala似乎将密钥类型推断为具有Seri??alizable with Day的Product：

object Test extends App {
  sealed trait Day
  case object Sunday extends Day
  case object Monday extends Day
  case object Tuesday extends Day

  val m: Map[Day,Int] = Map(Sunday -> 17,Monday -> 4).withDefaultValue(0)
}

这不编译：

Test.scala:7: error: type mismatch;
 found   : scala.collection.immutable.Map[Product with Serializable with Test.Day,Int]
 required: Map[Test.Day,Int]
Note: Product with Serializable with Test.Day <: Test.Day,but trait Map is invariant in type A.
You may wish to investigate a wildcard type such as `_ <: Test.Day`. (SLS 3.2.10)
  val m: Map[Day,Monday -> 4).withDefaultValue(0)

我可以在m的定义中更改密钥类型,但这意味着在许多地方重复使用Serializable with Day的产品.我发现的另一个选择是将特性的定义更改为：

sealed trait Day extends Product with Serializable

由于使用密封特征和案例对象而不是枚举有许多优点,我想知道将它们作为键放在地图中的好方法.

解决方法

因为Map需要键具有在Product和Serializable中定义的属性,所以Scala隐式创建了一个匿名类,它使用Product和Serializable扩展您的类,它提供了equals和hash的默认实现.

object Test extends App {
  trait PS extends Product with Serializable
  sealed trait Day extends PS
  case object Sunday extends Day
  case object Monday extends Day
  case object Tuesday extends Day

  val m: Map[Day,Monday -> 4).withDefaultValue(0)
}

（编辑：李大同）

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