引用Scala中内部类的类型

Question

以下代码尝试模仿 DSL 的多态嵌入：而不是给出Inner 中的行为，它在其封闭类的 useInner 方法中进行编码。我添加了 enclosure 方法，以便用户只需保留对 Inner 实例的引用，但始终可以获取其封闭实例。通过这样做，来自特定 Outer 实例的所有 Inner 实例仅绑定到一种行为（但这里需要它）。

abstract class Outer {
  sealed class Inner {
    def enclosing = Outer.this
  }
 def useInner(x:Inner) : Boolean
}

def toBoolean(x:Outer#Inner) : Boolean = x.enclosing.useInner(x)

它无法编译，scala 2.8 抱怨：

type mismatch; found: sandbox.Outer#Inner
               required: _81.Inner where val _81:sandbox.Outer

来自 Scala 编程：嵌套类 和 Scala 之旅：内部类，在我看来，问题在于useInner 期望来自特定 Outer 实例的 Inner 实例作为参数。

真正的解释是什么以及如何解决这个问题？

Answer 1

我想 Inner 类型就像 this.Inner 类型。 Outer#Inner 独立于外部实例（不是路径依赖类型）。

abstract class Outer {
  sealed class Inner {
    def enclosing = Outer.this
  }
  def useInner(x:Outer#Inner) : Boolean
}

def toBoolean(x:Outer#Inner) : Boolean = x.enclosing.useInner(x)

Answer 2

问题正如您所描述的， useInner 需要特定 Outer 实例的 Inner 。由于 enclosure 返回一个通用的 Outer，据我所知，确实没有办法将两者联系在一起。

但是，您可以强制它：

def toBoolean(x: Outer#Inner): Boolean = {
  val outer = x.enclosing
  outer.useInner(x.asInstanceOf[outer.Inner])
}

Answer 3

你也可以这样定义你的成员：

def useInner(x:Outer#Inner) : Boolean

或者你可以这样写：

abstract class Outer {
    class InnerImpl {
        def enclosing = Outer.this
    }
    final type Inner = Outer#InnerImpl
    def useInner(x:Inner) : Boolean
}