Scala 中的多个类型下限

Question

我注意到 tuple.productIterator 总是返回一个 Iterator[Any] ，想知道是否无法设置多个下限（因此它可能是最低公共超级的迭代器）类型）。

我尝试并搜索了一下，但只找到了 这个 多个上限的问题。

这是我对如何定义迭代器类型的测试：

def f[A,B](a:A, b:B) = List(a,b)
// return type is List[Any]

def f[A,B, T >: A "and" T >: B](a:A, b:B) = List[T](a,b)
// doesn't compile, but
//  f(1, true) should give a List[AnyVal] and
//  f("x", "y") a List[String]

这是 JVM 的限制吗？

---

Edit: Here's a slightly bigger example which doesn't seem to be solvable using IttayD approach when T should be defined in the method:

class Foo[A, B](a: A, b: B) {
  def f[T >: A] = List[T](a) // works
  def g[T >: A "and" T >: B] = List[T](a) // doesn't work
}

Answer 1

对于 A 和 B 与 T 同时被编译器绑定的简单情况，IttayD 的答案工作正常：

def f[T, A <: T,B <: T](a:A, b:B) = List[T](a,b)

当 A 和B 已经绑定在您的 class Foo[A, B] 示例中，您需要引入临时虚拟变量来让编译器完成这项工作：

class Foo[A, B](a: A, b: B) {
  def g[T, A1 >: A <: T, B1 >: B <: T] = List[T](a: A1, b: B1)
}

(For为了清楚起见： A1 >: A <: T 表示类型 A1 必须是 A 的超类型和 A 的子类型code>T，而不是那个A 是 A1 和 T 的子类型。）

A1 和 B1< /code> 在这里的唯一目的是推断 T 的正确类型。如果编译器必须推断它们，它们将解析为 A1 = A 和 B1 = B，然后将 T 作为最具体的类型是 A 和 B 的超类。

然而，编译器没有意识到的一件事是，通过传递性，我们同时拥有 T >: A 和 T >: B，它直接跟随来自关于 A1 和 B1 的约束。我们需要帮助解决类型归属问题。

现在，Product#productIterator 无法使用此技术，因为它是在我们甚至不知道 A 和 B 的地方定义的，或者具体子类中确实有多少个类型参数。

Answer 2

听起来你需要的是一个 HList： http://apocalisp.wordpress.com/2010/07/06/type-level-programming-in-scala-part-6a-heterogeneous-list%C2%A0basics/

回答具体问题：

scala> def f[T, A <: T,B <: T](a:A, b:B) = List[T](a,b)
f: [T, A <: T, B <: T](a: A, b: B)List[T]

scala> f(1, true)
res0: List[AnyVal] = List(1, true)

scala> f("x", "y")
res1: List[java.lang.String] = List(x, y)