自类型注释阻碍了内部类的实例化。为什么？

Question

给定 Outer 类及其 Inner 类的抽象定义，我想实例化 Outer1 中定义的具体 Inner1 类代码>特征。

abstract class Outer {
  type Inner_Tp <: Inner;
  abstract class Inner {
    self: Inner_Tp =>
  }
}

trait Outer1 {
  self: Outer =>
  protected class Inner1 extends Inner {
    self: Inner_Tp =>
  }
  def Inner1() = new Inner1()
}

Scala 编译器提前终止编译，并给出以下错误消息：“错误：类 Inner1 无法实例化，因为它与 Outer1.this.Inner_Tp 不符合其自身类型 Outer1.this.Inner1”。 为什么？

毕竟 Inner1 类是在抽象上下文中定义的，这是它的 Outer1 特征。我想推迟 type Inner_Tp 的定义，直到该特征混合到某个具体类中。

Answer 1

对于 Inner1，自类型表示它始终会与抽象类型 Inner_Tp 一起实例化。这是一个在实例化点未实现的承诺：类型仅为 Inner1，而不是 Inner1 with Inner_Tp。

如果您需要延迟 Inner_Tp 的定义，则还需要延迟创建任何将其作为自类型的实例。这是绝对必要的，因为您无法生成您还不知道的类型的值。所以最好让方法保持抽象。您也可以改进抽象类型：

trait Outer1 extends Outer {
   type Inner_Tp <: Inner1
   protected class Inner1 extends Inner

   def Inner1(): Inner_Tp
}

我不确定您想要什么，但您可能根本不需要自我类型（为了简洁起见，我已经将它们排除在外）。

Answer 2

因为 self: Inner_Tp 告诉 Inner 的任何子类型都不允许被实例化，除非它也是 Inner_Tp 的子类型。

重写self => Inner1 中的 Inner_Tp 只是重申了约束，但并不满足它。为了得到类似的想法，当你有一个抽象类的后代时，如果它没有实现抽象方法，你必须再次写它是抽象的。而且你无法实例化。同样，您重申了 Inner_Tp 是必需的，但您没有使 Inner_Tp 可用。

只要 Inner_Tp 是抽象类型，您就无法将其混合进去，因此您将无法编写 new Inner1。您可能应该引入一个创建 Inners 的抽象方法。