Scala泛型亚型

发布时间：2020-12-16 09:05:51 所属栏目：安全来源：网络整理

导读：我迷失在 scala仿制药中. 我需要一个方法storeUnit,它接受Unit的子类的实例(e.q.Seit)并返回StoredUnit的子类的实例(e.q.StoredVisit),但是我收到了编译错误. trait StatsUnit { val ip: String } case class Visit(ip: String) extends StatsUnitcase class

我迷失在 scala仿制药中.

我需要一个方法storeUnit,它接受Unit的子类的实例(e.q.Seit)并返回StoredUnit的子类的实例(e.q.StoredVisit),但是我收到了编译错误.

trait StatsUnit { val ip: String } 
case class Visit(ip: String) extends StatsUnit
case class Click(ip: String) extends StatsUnit

trait StoredStatsUnit extends StatsUnit { val id: String }
case class StoredVisit(id: String,ip: String) extends StoredStatsUnit
case class StoredClick(id: String,ip: String) extends StoredStatsUnit

def storeUnit[A <: StatsUnit,B <: StoredStatsUnit](statsUnit: A): B = {
  statsUnit match {
    case x: Visit => StoredVisit("myid",x.ip)
    case x: Click => StoredClick("myid",x.ip)
  }
}

/tmp/1.scala:11: error: type mismatch;
 found   : this.StoredVisit
 required: B
    case x: Visit => StoredVisit("myid",x.ip)
                                    ^
/tmp/1.scala:12: error: type mismatch;
 found   : this.StoredClick
 required: B
    case x: Click => StoredClick("myid",x.ip)

解决方法

评论第一：

>不要说出你的特质单位！单元在Scala中具有特定的含义 – 它相当于Java的无效 – 并且阴影定义只会导致麻烦！

但是,这里的问题是您指定您的方法将返回B的实例,然后您尝试返回StoredVisit类型的东西.在这个例子中你完全不需要B,所以下面的方法可以正常工作：

def storeUnit[A <: StatsUnit](unit: A): StoredStatsUnit = {
  StoredVisit("myid",unit.ip)
}

（编辑：李大同）

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