Как вызвать метод super при переопределении метода через признак

казалось бы, что можно изменить реализацию метода класса с чертой, например:

trait Abstract { self: Result =>
    override def userRepr = "abstract"
}

abstract class Result {
    def userRepr: String = "wtv"
}

case class ValDefResult(name: String) extends Result {
    override def userRepr = name
}

val a = new ValDefResult("asd") with Abstract
a.userRepr

живой код доступен здесь:http://www.scalakata.com/52534e2fe4b0b1a1c4daa436

но теперь я хотел бы назвать предыдущую или супер реализацию функции следующим образом:

trait Abstract { self: Result =>
    override def userRepr = "abstract" + self.userRepr
}

или

trait Abstract { self: Result =>
    override def userRepr = "abstract" + super.userRepr
}

однако ни одна из этих альтернатив не компилируется. Любая идея, как это может быть свершилось?

19
mixins polymorphism scala traits

3 ответов

вот ответ, который я искал. Спасибо Shadowlands за то, что указали мне в правильном направлении с помощью Scala abstract override характеристика.

trait Abstract extends Result {
    abstract override def userRepr = "abstract " + super.userRepr
}

abstract class Result {
    def userRepr: String = "wtv"
}

case class ValDefResult(name: String) extends Result {
    override def userRepr = name
}

val a = new ValDefResult("asd") with Abstract
a.userRepr

живой код доступен здесь:http://www.scalakata.com/52536cc2e4b0b1a1c4daa4a4

извините за запутанный пример кода, я пишу библиотеку, которая имеет дело с Scala AST и не была достаточно вдохновлена, чтобы изменить имена.

17

Я не знаю, в состоянии ли вы внести следующие изменения, но эффект, который вы хотите, может быть достигнут путем введения дополнительной черты (я назову это Repr), и с помощью abstract override на Abstract особенность:

trait Repr {
    def userRepr: String
}

abstract class Result extends Repr {
    def userRepr: String = "wtv"
}

case class ValDefResult(name: String) extends Result {
    override def userRepr = name
}

trait Abstract extends Repr { self: Result =>
    abstract override def userRepr = "abstract-" + super.userRepr // 'super.' works now
}

ваш пример использования теперь дает:

scala> val a = new ValDefResult("asd") with Abstract
a: ValDefResult with Abstract = ValDefResult(asd)

scala> a.userRepr
res3: String = abstract-asd
12

abstract override это механизм, он же стекируемые черты. Стоит добавить, что линеаризация считается, потому что именно это определяет, что super средства.

этот вопрос является отличным дополнением к канонические вопросы и ответы на self-type vs extension.

где наследство неоднозначное с собственн-типа:

scala> trait Bar { def f: String = "bar" }
defined trait Bar

scala> trait Foo { _: Bar => override def f = "foo" }
defined trait Foo

scala> new Foo with Bar { }
<console>:44: error: <$anon: Foo with Bar> inherits conflicting members:
  method f in trait Foo of type => String  and
  method f in trait Bar of type => String
(Note: this can be resolved by declaring an override in <$anon: Foo with Bar>.)
              new Foo with Bar { }
                  ^

тогда, очевидно, вы можете выбрать:

scala> new Foo with Bar { override def f = super.f }
res5: Foo with Bar = $anon@57a68215

scala> .f
res6: String = bar

scala> new Foo with Bar { override def f = super[Foo].f }
res7: Foo with Bar = $anon@17c40621

scala> .f
res8: String = foo

или

scala> new Bar with Foo {}
res9: Bar with Foo = $anon@374d9299

scala> .f
res10: String = foo
10