阶类型参数被推断为元组(Scala type parameter being inferred to

我突然碰到这个来（意外给我）的情况：

def method[T](x: T): T = x

scala> method(1)
res4: Int = 1

scala> method(1, 2)
res5: (Int, Int) = (1,2)

为什么在两个多参数方法返回的情况下，推测元组，但乱扔参数列表错误？ 它是通过用意何在？ 也许这种现象有一个名字？

Answer 1:

% scala2.10 -Xlint

scala> def method[T](x: T): T = x
method: [T](x: T)T

scala> method(1)
res1: Int = 1

scala> method(1, 2)
<console>:9: warning: Adapting argument list by creating a 2-tuple: this may not be what you want.
        signature: method[T](x: T): T
  given arguments: 1, 2
 after adaptation: method((1, 2): (Int, Int))
              method(1, 2)
                    ^
res2: (Int, Int) = (1,2)

Answer 2:

下面是从Scala编译器的摘录 ：

/** Try packing all arguments into a Tuple and apply `fun'
 *  to that. This is the last thing which is tried (after
 *  default arguments)
 */
def tryTupleApply: Option[Tree] = ...

这里是相关的问题：规范没有提及自动几倍

这一切意味着，在上述的写入示例阶（一个参数的类型参数化方法）尝试包参数成元组和应用功能到该元组。 而且从该两条信息小品我们可以得出结论，这种行为不是在语言规范中提到 ，人们讨论加编译器警告为自动几倍的情况。 而且，这可以被称为自动几倍 。

文章来源: Scala type parameter being inferred to tuple