scala 类构造函数中的嵌套特征

Question

我正在玩 scala （scala 2.8）。假设我有一个具有嵌套特征的类，并且想要使用该嵌套特征作为类构造函数中参数的类型。这可能吗？这是我最接近的：

class OuterClass(traitParam:OuterClass#InnerTrait) {
  trait InnerTrait { }
  val y:InnerTrait = traitParam
}

没有第三行甚至可以编译，但是一旦我尝试实际使用 traitParam 作为 InnerTrait 我就会收到编译器错误:

类型不匹配；发现：OuterClass#InnerTrait 需要：OuterClass.this.InnerTrait。

我不知道我能做什么（如果有的话）。相反

class OuterClass(traitParam:OuterClass.this.InnerTrait)

，正如错误消息可能暗示的那样，不会编译。除了将 InnerTrait 移至 OuterClass 之外，我还有其他选择吗？如果您想知道为什么我要这样做，答案是在我的实际代码中，OuterClass 的等效项具有类型参数，然后将在 InnerTrait 中使用这些类型参数。如果我将其移到外部，那么每次引用内部特征时都必须重新声明类型参数。

Answer 1

您遇到了 Scala 的路径依赖类型。您的 val y: InnerTrait 的类型特定于它所在的实例。 OuterClass#InnerTrait 是 OuterClass 的所有实例的所有现有 InnerTrait 的超类型。

尝试使用这个：

class OuterClass(traitParam: OuterClass#InnerTrait) {
    trait InnerTrait { }

    type IT = OuterClass#InnerTrait

    def m1: IT = traitParam
}

Answer 2

OuterClass 具有类型参数，
然后将在 InnerTrait 中使用

因此可能有 a: OuterClass 和 b: OuterClass 这样这些类型参数是不同的。例如：

abstract class OuterClass[T] {
  val x: T
}

val a = new OuterClass[Int] { val x = 5 }
val b = new OuterClass[String] { val x = "abc" }

所以这是一个难题... InnerTrait 必须绑定到 OuterClass 的实例，因为每个实例可能有不同的类型参数。但是，您希望将 InnerTrait 作为参数传递给 OuterClass 构造函数，因此您需要在 OuterClass 之前构造 InnerTrait代码>.但由于 InnerTrait 必须绑定到 OuterClass 的实例，因此 OuterClass 必须在 InnerClass 之前构造，从而将这变成了一只鸡&鸡蛋问题。

这个设计有点奇怪，所以我建议你重新考虑一下。