为什么这些类型参数不符合类型细化？

Question

为什么此 Scala 代码无法进行类型检查？

trait T { type A }
trait GenFoo[A0, S <: T { type A = A0 }]
trait Foo[S <: T] extends GenFoo[S#A, S]

我不明白为什么“类型参数 [S#A,S] 不符合特征 GenFoo 的类型参数边界 [A0,S <: T{type A = A0}]”。有解决方法吗？

编辑：正如已经指出的，一致性错误源于未能验证S <: T{type A = S#A}。 Daniel Sobral 指出-explaintypes，它告诉我们：

S <: T{type A = S#A}?
  S <: T?
  true
  S specializes type A?
    this.A = this.A?
      S = this.type?
      false
    false
  false
false

我不知道如何解释这一点。

请注意，如果我们尝试定义，我们会得到非法循环引用，

trait Foo[S <: T { type A = S#A } ] extends GenFoo[S#A, S]

尽管这里的类型细化似乎没有添加任何新信息。 （另请参见为什么这个循环引用带有类型投影非法？）

我的动机是创建一个专门针对 S#A 的特征 Foo[S <: T]，如：如何在 Scala 中专门研究类型投影？为了实现这一点，我尝试将 S#A 作为实现特征 GenFoo 中的显式参数 A0 来显示，它可以直接专门化。我希望将迈尔斯·萨宾 (Miles Sabin) 的答案中的类型细化思想应用到

Answer 1

这似乎就是答案：

S 擅长 A 型？

关于专业化的问题来自这里：T { type A = A0 }。这是类型 T 和 A 类型 专用 - 意思是，它比原始 T 受到更多限制。

这个问题的答案是否定的——S 没有任何特殊化的限制。

Answer 2

为了符合类型约束，S 必须是 T { type A = A0 } 的子类型，但它只是 T 的子类型。

Answer 3

我不是这个主题的专家，我只是玩了一下你的代码，发现问题不是 S#A 部分，而是 S 部分。

如果你这样写代码：

trait T { type A }
trait GenFoo[A0, S <: T] // the { type A = A0 } part is not there anymore
trait Foo[S <: T] extends GenFoo[S#A, S]

那么它会编译，因为 Foo[S <: T] 中的 S 符合 S 中的 S代码>GenFoo[A0, S <: T]。

在您的示例中，编译器知道 S 是 T 的子类型，因此定义了 type A，但它没有达到目的，它可以验证 S 中的 A 是 S#A。