更高种类类型缺失的清单

Question

我在 scalac 中遇到问题，找不到我想要使用的更高级内部类型的清单。考虑一些带有构造函数的类似列表的类型：

trait L[S, A]

def emptyList[S, A: Manifest]: L[S, A] = ???

现在另一种类型从它的伴生对象构造出来，如下所示：

object Tree {
  private class Leaf[S, A]
  private class Impl[S, A](l: L[S, Leaf[S, A]]) extends Tree[S, A]

  def empty[S, A]: Tree[S, A] = new Impl(emptyList[S, Leaf[S, A]])
}
trait Tree[S, A]

它失败了，因为 scalac 想要类型 Leaf[S, A] 的清单。为什么不可用？我不想通过要求传递清单参数来放松 Leaf 的可见性并弄乱构造函数。

我完全不明白这一点——我认为从 JVM 的角度来看，在 L 中构造的数组可以归结为 Array[Leaf[_, _]]又名 Array[java.lang.Object]，那么这个拒绝有什么意义呢？

有什么办法可以找到清单吗？

Answer 1

您必须为所有参数提供清单，实际上创建一个完整的清单链：

def emptyList[ S, A : Manifest ] {}
class Leaf[ S, A ]
def emptyTree[ S: Manifest, A : Manifest ] { emptyList[ S, Leaf[ S, A ]]}