3

外側のクラスの任意のインスタンスで機能する内側のクラスに、enrich-my-library パターンを実装したいと考えています。このようなもの：

class Outer {
  class Inner(val x: Option[Inner] = None) {
    def test(y: Inner) {}
  }
}

implicit class ExtInner(inner: Outer#Inner) {
  def get = inner.x.get
}

val outer = new Outer
val inner = new outer.Inner(Some(new outer.Inner))
inner.test(inner.get)

型が一致しないため、このコードはコンパイルされません: 型getのオブジェクトを返しますOuter#Innerが、test期待していouter.Innerます。

それを機能させるには2つの方法がありますが、どちらもasInstanceOf避けたい使用を伴います。get最初のものは単に to の結果をキャストすることですouter.Inner:

inner.test(inner.get.asInstanceOf[outer.Inner])

2 番目はもう少し一般的で、キャストを次のように行いExtInnerます。

implicit class ExtInner[T <: Outer#Inner](inner: T) {
  def get = inner.x.get.asInstanceOf[T]
}

キャストを行う必要がないように、内部クラスを充実させるより良い方法はありますか?

4

1 に答える 1

1

どうですか：

object Test extends App {
  class Outer {
    class Inner(val x: Option[Inner] = None) {
      def test(y: Inner) { println(s"$toString testing $y") }
    }
    implicit class ExtInner(val inner: Inner) {
      def get = inner.x.get
    }
  }

  val outer = new Outer
  val inner = new outer.Inner(Some(new outer.Inner))
  import outer._
  inner.test(inner.get)
}

または、アウターのインナーを強化するだけです。

  implicit class ExtInner(val inner: outer.Inner) {
    def get = inner.x.get
  }

また、この方法でメソッドを呼び出すことができると思いますが、暗黙を呼び出すためにシングルトン型 param outer.type を推論しません。

  implicit class ExtInner[A <: Outer with Singleton](val inner: A#Inner) {
    def get: A#Inner = inner.x.get
  }
  inner.test(ExtInner[outer.type](inner).get)
于 2013-06-07T08:50:31.453 に答える