scala - 有上限的结构类型？

Question

考虑我需要使用但无法修复的库的这种设计:

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 方法，我不能:(感谢帮助。

Answer 1

简单地

type Barred = Foo {def bar: Foo }