3

我想为内部类实现丰富的库模式，该模式适用于外部类的任何实例。像这样的东西：

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。

我有两种方法可以让它发挥作用，但都涉及asInstanceOf我想避免的使用。第一个只是简单地将结果get转换为outer.Inner：

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

第二个更通用一些，并且在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
  }

另外，我感觉您可以通过这种方式调用该方法，但它不会推断单例类型参数 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 回答