web-dev-qa-db-ja.com

トレイトを介してメソッドをオーバーライドするときにスーパーメソッドを呼び出す方法

次のような特性を持つクラスのメソッドの実装を変更できるように思われます。

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
}

ただし、これらの選択肢はどれもコンパイルされません。これをどのように達成できるか考えていますか？

scalapolymorphismmixinstraits
19
jedesah

これが私が探していた答えです。 Scalaのabstract override機能で私を正しい方向に向けてくれてありがとうShadowlands。

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
jedesah

次の変更を行うことができるかどうかはわかりませんが、追加の特性（Reprと呼びます）を導入し、Abstract特性でabstract overrideを使用することで、必要な効果を得ることができます。

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
Shadowlands

abstract overrideはメカニズム、別名スタック可能な特性です。 superの意味を決定するのは線形化が重要であるため、追加する価値があります。

この質問は 自己型と拡張に関する標準的なQ＆A への素晴らしい補遺です。

継承が自己型であいまいな場合：

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$1@57a68215

scala> .f
res6: String = bar

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

scala> .f
res8: String = foo

または

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

scala> .f
res10: String = foo
10
som-snytt