15

メソッドが同種で、同じ型の値を返すことができる型を書きたいと思いました。

object SimpleTest {
  trait Foo extends Product with Serializable {
    type Self <: Foo
    def bar: Self
  }

  case class X() extends Foo {
    type Self = X
    def bar = this
  }

  case class Y() extends Foo {
    type Self = Y
    def bar = this
  }


  trait TC[A]

  implicit val tc: TC[Foo] = new TC[Foo] { }

  def tester[A: TC](x: Seq[A]) = "foo"

  // tester(Seq(X(), Y()))
}

残念ながら、コメントアウトされた行の呼び出しtesterは次のエラーで失敗します (Scala 2.10):

Error: could not find implicit value for evidence parameter of type
SimpleTest.TC[SimpleTest.Foo{type Self >: SimpleTest.Y with SimpleTest.X <: SimpleTest.Foo}]
tester(Seq(X(), Y()))
      ^

基本的に、私はその理由について混乱しており、 にX統一YしていませんFoo。明らかに型メンバーが問題を複雑にしていますが、その境界は尊重されているようです。

より高いレベルでは、普及型パラメーターのオーバーヘッドなしで、F-bounded ポリモーフィズムと同等のものを取得する軽量な方法を探しています。これはほとんど機能しているように見えますが、強制XおよびY統合する注釈を追加する必要がありFooます。

4

1 に答える 1

19

これはあなたが探しているものの例だと思います：

sealed trait Event { self =>
  type E >: self.type <: Event
  def instance: E = self
}

case class UserJoined() extends Event {
  type E = UserJoined
}

case class UserLeft() extends Event {
  type E = UserLeft
}

もっと読みたい場合は、このスニペットは、関連する概念をカバーする最近の投稿からのものです。

編集：答えを完成させるには、次のようになります。

scala> trait Foo extends Product with Serializable with Event{}
defined trait Foo

scala> case class X() extends Foo {
     |     type Self = X
     |     def bar = this
     |   }
defined class X

scala> case class Y() extends Foo {
     |     type Self = Y
     |     def bar = this
     |   }
defined class Y

scala> List(X(),Y())
res9: List[Foo] = List(X(), Y())

scala>   def tester[A: TC](x: Seq[A]) = "foo"
tester: [A](x: Seq[A])(implicit evidence$1: TC[A])String

scala>  tester(Seq(X(), Y()))
res10: String = foo
于 2014-05-05T21:42:09.107 に答える