我突然遇到了这种(出乎我意料的)情况:
def method[T](x: T): T = x
scala> method(1)
res4: Int = 1
scala> method(1, 2)
res5: (Int, Int) = (1,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 试图将参数打包到元组中并将函数应用于该元组。进一步从这两条简短的信息中,我们可以得出结论,语言规范中没有提到这种行为,人们讨论为自动元组添加编译器警告。这可能被称为自动元组。
% 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)