scala - 丰富一个内部类

Question

我想为内部类实现 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 期望 外.内。

我有两种方法让它工作，但都涉及使用 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]
}

是否有更好的方法来丰富内部类，从而无需进行转换？

Answer 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)