Возможно переопределение элементов внутренней черты?

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

Edit:

Основываясь на своем разъяснении, похоже, что вы хотите сделать, это переопределить объект 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.

Оригинал Ответ:

Вы должны иметь Overridable фабричный метод в классе Foo, который может вернуть свой бар подкласс. Затем в подклассе Foo верните подкласс класса 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) 

Answer 2

Вы можете создать новый класс, родитель которого является оригинальным Baz. Тогда переопределять бар:

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.

Насколько я могу судить, вы не можете переопределить объект своего внутреннего класса. Поэтому трудно создать новые черты в этом классе.