为什么productIterator返回类型Iterator [Any]？

Question

为什么scala Tuple productIterator返回类型Iterator [Any]？

例如，Tuple3或Product3 productIterator遵循定义

def productIterator[T1<:X,T2<:X,T3<:X,X] = Iterator(_1,_2,_3)

以下Expression可以返回Iterator [java.lang.Number]

(BigInt(1),new java.lang.Long(2),new java.lang.Float(3)).productIterator

但目前的scala版本（2.9.1）并非如此。有什么理由吗？

Answer 1

% scala3 -Xexperimental 
Welcome to Scala version 2.10.0.rdev-4056-2011-12-21-g69ed0a9 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_29).
Type in expressions to have them evaluated.
Type :help for more information.

scala> case class Foo[T1 <: java.lang.Number, T2 <: java.lang.Number](s: T1, t: T2)
defined class Foo

scala> Foo[java.lang.Integer, java.lang.Long](5, 5L)
res1: Foo[Integer,Long] = Foo(5,5)

scala> res1.productIterator _
res2: () => Iterator[Number] = <function0>

<强>更新

它是产品元素（未删除）类型的最小上限。例如，在Product[T, U, V]中，它与表达式

的类型相同

if (cond1) x1: T else if (cond2) x2: U else x3: V

或

中列表的类型

List(x1: T, x2: U, x3: V)

在repl中查看

中推断的f类型

def f[T] = List(null: List[T], null: Set[T], null: Iterator[T])

看看我的意思。