Scala：扩展内部类，不参考外部类

Question

我可以在外部类或从外部类派生的类内部扩展内部类/特征。我可以扩展外部类的特定实例的内部类，如下所示：

class Outer
{
  class Inner{}
}

class OtherCl(val outer1: Outer)
{
  class InnA extends outer1.Inner{}
}

注意：即使这样似乎也可以很好地编译产生非常有趣的可能性：

trait OuterA
{ trait InnerA } 

trait OuterB
{ trait InnerB }

class class2(val outerA1: OuterA, val outerB1: OuterB)
{ class Inner2 extends outerA1.InnerA with outerB1.InnerB }

但这不会编译：

class OtherCl extends Outer#Inner

据我所知，我正在尝试扩展一个参数化类，其中类型参数是外部类的一个实例，因此效果如下

class OtherCl[T where T is instance of Outer] extends T.Inner

那么在不引用外部特征/类的情况下扩展位于外部特征/类内部的内部类/特征吗？

我不希望在没有外部类实例的情况下实例化派生内部类，只声明其类型。

Answer 1

您可以使用带有self-type 的特征来做类似的事情。例如，假设我们有以下内容：

class Outer(val x: Int) {
  class Inner {
    def y = x
  }
}

我们想在Inner 中添加一些功能，而不需要Outer：

trait MyInner { this: Outer#Inner =>
  def myDoubledY = this.y * 2
}

现在，当我们实例化 Inner 时，我们可以混入 MyInner：

scala> val o = new Outer(21)
o: Outer = Outer@72ee303f

scala> val i = new o.Inner with MyInner
i: o.Inner with MyInner = $anon$1@2c7e9758

scala> i.myDoubledY
res0: Int = 42

这不是你想要的，但很接近。

Answer 2

不完全是您要查找的内容，但具有路径相关类型（可在 2.10 或 2.9 上使用 -Ydependent-method-types 标志，您可以这样做：

class Outer { class Inner {}; def create = new Inner }
def foo[T <: Outer](x: T) = x.create

希望对你有帮助