Scala 中的多个类型下限

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

我尝试并搜索了一下，但只发现this https://stackoverflow.com/questions/1491283/how-do-i-setup-multiple-type-bounds-in-scala多个上限的问题。

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

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 的限制吗？

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
}

对于简单的情况A and B同时受到编译器的约束T, IttayD 的回答 https://stackoverflow.com/questions/6117999/multiple-lower-type-bounds-in-scala/6120222#6120222工作正常：

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

When A and 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)
}

（为清楚起见：A1 >: A <: T表示该类型A1必须是超类型A和一个子类型T，而不是那个A是两者的子类型A1 and T.)

A1 and B1此处的唯一目的是推断正确的类型T。如果编译器必须推断它们，它们将解析为A1 = A and B1 = B， 进而T作为最具体的类型，它是两者的超类A and B.

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

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