为什么某些递归类型无法编译

Question

我遇到了我无法理解的类型检查错误。两段代码相似，但只有一段可以编译。编译器给出完全无用的错误信息：

错误：类型参数 [I] 不符合类型 DY 的类型参数界限 [I <: sample.this.y>

有问题的代码：

trait Sample {
  type X
  type DX[I <: X] <: X
  type Y = Aux[X]
  type DY[I <: Y] <: Y
  type Z = Bux[X]
  type DZ[I <: Z] <: Z
  type DW[I <: Z#C] <: Z#C
}
type Aux[I] = Sample { type X = I }

trait Dep {
  type B
  type C = Aux[B]
}
type Bux[A] = Dep { type B = A }

type UseX[I <: S#X, S <: Sample] = S#DX[I] // ok
type UseY[I <: S#Y, S <: Sample] = S#DY[I] // fails
type UseZ[I <: S#Z, S <: Sample] = S#DZ[I] // ok
type UseW[I <: S#Z#C, S <: Sample] = S#DW[I] // fails

为什么我不能引用类型本身？

---

更新

我和我写这个问题时一样困惑。但我仍然设法欺骗编译器完成他的工作。这只会加剧我的困惑。

问题是基于类型绑定接受或拒绝相同类型的参数。如果类型绑定与参数相同（因此引入递归），则它被拒绝。但是，如果我将递归包装在一个类型中，它通常会被接受。所以我只需要中继递归调用

trait Sample {
  type X
  type Y = Aux[X]
  type Z = Bux[X]
  type DY[I <: Y] <: Y
  type DD[I <: Z] = DY[I#C]
}

type UseY[I <: S#Y, S <: Sample] = S#DY[I] // still fails
type UseD[I <: S#Z, S <: Sample] = S#DD[I] // miraculously works

但它需要将每个类型级别的调用包装在 Bux 包装器类型中。

Answer 1

所以，S#Y 的意思是“一些 类型Y，在S 的任何 实例中定义”。 另一方面，type DY[I <: Y] 表示“I 必须是在 this 实例中声明的Y 的子类”。

所以，当你说type UseY[I <: S#Y, S <: Sample] = S#DY[I] 时，它失败了，因为I 被限制为来自一些 S 的Y 的子类，但DY 希望它是相同 S 的子类，其中声明了 DY。