scala – 具有上界的结构类型？

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

导读：考虑我需要使用的库的设计,无法修复： trait Fooclass IgnoreMe extends Fooclass A extends Foo { def bar: A = ...}class B extends Foo { def bar: B = ...} 在我的代码中： object Stuff { type Barred = { def bar: Foo } def doStuff(b:Barred) = b.ba

考虑我需要使用的库的设计,无法修复：

trait Foo

class IgnoreMe extends Foo
class A extends Foo { def bar: A = ...}
class B extends Foo { def bar: B = ...}

在我的代码中：

object Stuff {
  type Barred = { def bar: Foo }

  def doStuff(b:Barred) = b.bar
}

这一切都很好,除了Stuff.doStuff将接受任何符合Barred类型的东西,而不仅仅是我想要的Foo的子类型.

我想定义Barred这样它既是Foo的子类型又有一个bar方法,我不能:(帮助赞赏.

解决方法

只是

type Barred = Foo {def bar: Foo }

（编辑：李大同）

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