scalaquery查询的超类型

Question

所有Scalaquery查询的超类型是什么？

据我所知，Query[Projection[Product]]应该是它，例如：

   Projection2[Int, Int]
<: Projection[Tuple2[Int,Int]]
<: Projection[Product]

因此，val query: Query[Projection[Product]] = for (all <- Tab) yield all.*应该适用于Tab = new Table[(Int, Int)] {…}

…但表面上，我并不理解scala中的输入是如何工作的。

我完全糊涂了，所以如果我遗漏了什么，请问我。

Answer 1

这不起作用，因为投影的类型参数是不变的，并且需要协变才能使Projection[Product]成为Projection[(Int,Int)]的超类型。因此，Query[Projection[Product]]不是Query[Projection[(Int,Int)]]的超类型，这就是编译器抱怨的原因。

一切都清楚了吗？如果没有，请阅读wikipedia和Scala参考中的不变性和协方差。

X的投影的所有查询的类型是Query[Projection[X]] forSome { type X <: Product }，其中X是乘积的子类型。