可以覆盖内部特征的成员吗？

Question

在扩展外部类时是否可以覆盖内部特征的成员？喜欢

class Foo {
  trait Bar {
    def bar = Set("a", "b")
  }

  class Baz extends Bar
  object Baz {
    def apply() = new Baz
  }
}

我能否以任何形式创建 f 的 Foo 实例，例如 f.Baz().bar == Set("c", "d")？

澄清：Foo 类是给定的，我无法更改。它调用Baz()，所以我也无法更改它。因此，可能无法在 Bar 或 Baz 中改进覆盖内容？

Answer 1

您可以尝试创建一个父类是原始 Baz 的新类。然后重写bar的定义：

val f = new Foo { 
  class Baz2 extends Bar { override def bar = Set("c") } 
  object Baz2 { 
   def apply() = new Baz2(); 
  }
}

这将为您提供一个新条目：f.Baz2().bar，它将为您提供 Set("c")。您仍然可以访问原始 Bar 特征的成员。

据我所知，您不能覆盖内部类的对象。所以很难在那个类上生成新的特征。

Answer 2

编辑：

根据您的说明，您似乎想要做的是覆盖对象Baz。这通常是不可能的，但是如果您使用实验性编译器标志-Yoverride-objects，您可以执行以下操作：

class SubFoo extends Foo {
  class Baz extends super.Baz {
    override def bar = Set("c", "d")
  }
  override object Baz { 
    def apply() = new Baz
  }
}

有了这个(new SubFoo).Baz().bar == Set("c", "d")。但是，如果您的子类实例类型为 Foo，您可能会遇到运行时类转换异常，如以下错误：SI-6525。

原答案：

您需要在 Foo 类中有一个可覆盖的工厂方法，该方法可以返回您的 Bar 子类。然后在您的 Foo 子类中，返回一个 Bar 子类，并覆盖 bar 方法。例如：

class Foo {
  trait Bar {
    def bar = Set("a", "b")
  }

  def createBar = new Bar {}
}

class SubFoo extends Foo {
  override def createBar = new Bar { override def bar = Set("c", "d") }
}

scala> var foo: Foo = new Foo
foo: Foo = Foo@5ea0e5b9

scala> foo.createBar.bar
res15: scala.collection.immutable.Set[String] = Set(a, b)

scala> foo = new SubFoo
foo: Foo = SubFoo@7f8d5474

scala> foo.createBar.bar
res16: scala.collection.immutable.Set[String] = Set(c, d)