scala – 避免使用类型成员和子类型进行类型转换

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

导读：我遇到路径依赖类型和模式匹配问题： trait View[A]trait Foo { type Bar def defaultBar: Bar}trait Baz extends Foo { def view(init: Bar): View[Bar]}trait Test { val foo: Foo def bar: foo.Bar = foo.defaultBar def test(): Option[View[foo.Bar]] =

我遇到路径依赖类型和模式匹配问题：

trait View[A]

trait Foo {
  type Bar

  def defaultBar: Bar
}
trait Baz extends Foo {
  def view(init: Bar): View[Bar]
}

trait Test {
  val foo: Foo

  def bar: foo.Bar = foo.defaultBar

  def test(): Option[View[foo.Bar]] =
    foo match {
      case b: Baz => Some(b.view(bar))
      case _ => None
    }
}

这会失败,因为scalac不会使用b识别foo.因此,它只适用于两个演员：

case b: Baz => Some(b.view(bar.asInstanceOf[b.Bar]).asInstanceOf[View[foo.Bar]])

当然必须有一个干净的方法来避免演员阵容？

解决方法

不可能不使用投影并将类型限制为defaultBar,我们可以将其覆盖为不相关的数据类型

例如

特质MyFoo扩展Foo {??override def defaultBar：Int}

（编辑：李大同）

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